Kurt Gödel (1906-1978) matematikus, de igazából filozófia könyveket írt négy tétele / érve az ami híresebb. 1. Matematikai teljességi tétele 2 Matematika első nemteljességi tétele 3 Matematikai második nemteljességi tétele 4. Matematikai formalizált nyelven megírt ontológiai istenérve. Minden jele szerint ezek egymást is cáfolják.
Kurt Gödel (1906-1978) matematikus, de igazából filozófia könyveket írt négy tétele / érve az ami híresebb.
1. Matematikai teljességi tétele
2 Matematika első nemteljességi tétele
3 Matematikai második nemteljességi tétele
4. Matematikai formalizált nyelven megírt ontológiai istenérve. Minden jel szerint ezek egymást is cáfolják.
Gödel első nemteljességi tétele: "Minden ellentmondásmentes, a természetes számok elméletét tartalmazó, formális-axiomatikus elméletben megfogalmazható olyan állítás, mely se nem bizonyítható, se nem cáfolható."
Gödel második nemteljességi tétele:" ... az egyik ilyen eldönthetetlen és bizonyíthatatlan állítás, pont az hogy a rendszer ellentmondásmentes" ..."
Értelmezés szerint - és ez minden bizonnyal egy helyes értelmezés- már cáfolja is vele a saját korábbi hasonló nevű, csak éppen egyes sorszámú tételét. (Lehet nem is egyet, hanem kettőt is. Tehát a teljességit is.)
1. Gödel 'matematikai' teljességi 'tétele' : -> Ennek két másik tétele ellentmond. Most akkor mi is az igaz. Matek teljes, vagy nem teljes?
2. Gödel 'matematika' első nemteljességi 'tétele': -> Paradoxon
3. Gödel 'matematikai' második nemteljességi 'tétele': - > Bizonyítja, hogy az első mnemtelejességi 'tétele' tényleg paradoxon és nem tétel.
4. Gödel 'matematikai' formalizált nyelven megírt ontológiai istenérve: -> Butaság a köbön. Viccnek is rossz.
Vicces és roppant önellentmondásos ez a "nem bizonyítható" dolog is. Mert ha nem bizonyítható, akkor hogyan is lett maga ez a tétel bizonyítva, és az is hogy éppen nem-e ebbe a "nem bizonyítható" részbe esik? Nekem az erősen azonos azzal, mint amikor valaki kijelenti, hogy "Ízé" azaz "I" kívül áll a felfoghatóságon. - Ja és azt, hogyan lehet felfogni, hogy "I" felfoghatatlan? Vagy a felfoghatatlanság még is a legfelfoghatóbb?
Közben kiderült, hogy a mínusz egy gyökvonása sem értelmetlen már, holott sokáig az volt, ma már arra is van axióma, vagy nem is tudom mi, de reális definíció az aligha lehet. Tehát ma már az a matematikai "i" ...Segédmarhaság, talán ez a legjobb kifejezés rá. Jómagam ezt mint alkalmazott mérnöki tudományban is képzett inkább elrettentésül tanultuk, mint "nem hasznos" és nem is használható tudást. Nekünk inkább oximoron (önellentmondó képtelenség) volt.
Másrészt meg ugyebár már a fenti leírt módon körkörös hivatkozás is egyben és nem csak hamis dilemma. Miért? Mert önmaga bizonyítja önmagáról, hogy még sem sikerült elérni az eredendő célt, hogy konzisztens, eldönthetetlen állítás mentes, azaz önellentmondásmentes rendszer legyen a levezetés. "Minden ellentmondásmentes, a természetes számok elméletét tartalmazó, formális-axiomatikus elméletbenmegfogalmazható olyan állítás, mely se nem bizonyítható, se nem cáfolható." Kizárja az eldönthetetlenséget / ellentmondásmentességet és végül bizonyítja, hogy még sem felel meg annak. Tehát nem is lett kizárva. Gödel ezen tétele ezért nem más, mint csak egy plusz jó példa a paradoxonokra. Hasonló, mint David Hilbert Grand Hotel paradoxona, ami persze csak egy gondolatkísérlet és a valóságban nem is működik. Nem is lenne tehát semmi gond Kurt Gödel ezen paradoxonával sem, ha annak is neveznék. Továbbá Hilbert és sok más híres matematikus is több írásában hangsúlyozza, hogy egy feladat megoldhatatlanságának bizonyítása legalább olyan jelentőségű lehet, mint a pozitív megoldás. Középiskolában is elfogadott matekfeladat megoldása és bizonyítása afféleképpen, hogy nem bizonyítható. Ami persze azt is jelenti, hogy nem is cáfolható egyben.
Gödel 2. nemteljességi tétel: " ... az egyik ilyen eldönthetetlen és bizonyíthatatlan állítás, pont az hogy a rendszer ellentmondásmentes" ..." Értelmezés szerint - és ez minden bizonnyal egy helyes értelmezés- már cáfolja is vele a saját korábbi hasonló nevű, csak éppen egyes sorszámú tételét. (Lehet nem is egyet, hanem kettőt is. Tehát a teljességit is.)
Valójában tehát nem is kellett cáfolni Gödel nemteljességi tételeit, (de azért megtettem 5-6 féleképpen is) mert azok a tudományosság mércéi szerint nem is kerültek soha sem valóságos bizonyított állapotba. Ön és mások becsapásának az esetével állunk csak szemben. Lényeget tekintve nem más mint posztmodern filozófia *** , amiről az egyik régi általam nagyra becsült fizikus, Bencze Gyula a magyar és valódi szkeptikus mozgalom a Tényeket Tisztelők Társasága megalapítója is írt. Arról tudvalévő, hogy csak úgy blöffölve azt állítják egyesek, hogy értik és milyen jó. Persze azért jónéhány ilyen kamu támogató időnként lebukik, hogy valóban értené. Például a Magyar Tudományos Akadémia Rényi Alfréd Matematikai Kutatóintézete legalább egy vezető beosztású alkalmazott kutatója és sajnos St. Hawking is. Megjegyzem még: A Tényeket Tisztelők Társasága (1992-2006) utáni és abból kivált és átalakult Sz.eptikus Társaság egyébként ironikus megítélésem szerint lényegét tekintve nem más, mint egy szakértői álca nevezetű érvelési hiba.
Amur: "Véleményem szerint pusztán az ellentmondás-mentességből és max féltucat alapszabályból logikailag ki lehet bontani - emergensen - a teljes világot minden dolgával és működési szabályával együtt."
Igen ez az egyik fő memetikai és pszichovirógiai oka, amiért egy ilyen és egy másik ilyen hülyeség el tudott terjedni, annak ellenére, hogy alapvetően és tudományosan ostobaságok.
A feladat lenne, aki szeret a mateknak azon részében molyolni, amit - az élő nyelv kiiktatását- még csak úgy kb 120-140 éve találtak ki (és a matek sötét oldalát jeleníti meg) - ezt itt lent, tehát a Hamis Dilemma logikai hiba formalizálását és Gödel első nemteljességi tételét összevetheti. Matematikai formalizálás tehát az, amikor a nyelvi mondatokat behelyettesíti valaki képletekbe. Egyébként megírhatnám matematikai formalizált nyelven is a feltárást Gödel első nemteljességi tétel érvénytelenségéről, hogy az alapvető tudományos elvekbe ütközik. Felesleges, de ha még is megtenném, akkor ez lenne a kiindulási alapja:
Bárki észrevehette volna előttem is, hogy az adott tétel csak egy trükkös átverés, becsapás, ami főként a hamis dilemmát használja. A hamis dilemma egy olyan érvelési hiba, amely úgy állítja be a vitát, mintha csak két alternatíva létezne, mikor valójában több, nem mérlegelt választási lehetőség is van. Ha az érvelésben ilyen hiba van, akkor a logikában és a tudományban érvénytelennek mondják és annak is számít. Kurt Gödel trükkje, vagy hibája: Tehát eleve három alternatívából, vagy döntési helyzetből indít, mert tudja azért, hogy a matematikai logikában vannak köztes állapotok is, így 1. paradoxon ( vagy eldönthetetlen, megoldhatatlan, önellentmondásos, egyik sem, is ) , 2. igaz (vagy nem cáfolható) és 3. hamis (vagy nem igazolható)... aztán kiveszi a paradoxont, tehát a hármat leszűkíti csak két alternatívára és megállapítja, hogy még is maradtak bent paradoxonok. Persze nyugodtan lehetne négy, öt, vagy hatféle dolog is - mert például paradoxonokból is két alap fő fajta van - ... ami mind igazolható, bizonyítható, hogy az és pont az. A matekban nem akadály bármit elnevezni valaminek. Lásd az "i"-t erre jó példának.
" Ha vallás alatt olyan gondolatrendszert értünk, amely bizonyíthatatlan állításokat tartalmaz, akkor Gödel megmutatta nekünk, hogy a matematika nem csak hogy vallás, hanem ez az egyetlen vallás, ami be is tudja bizonyítani magáról, hogy az. " - John D. Barrow (1952 -2020) angol kozmológus, elméleti fizikus és matematikus. A képen jobbra. Téved, nem történt bizonyítás. Gödel egy illúziót keltett csak.
Persze egy ideje tudtommal illik megadni már a matematikában is, hogy milyen érvényességi rendszerben történik a bizonyítás, vagy a cáfolás. Mert ami az egyikben jó lehet, az a másikban meg nem. Ezen felül még fura módon nem csak a filozófia, de a matematika is bevezette a metalogika fogalmat. Brööüüüűűű.???!!! Nóóóóómáááális??? !!! - Nos jómagam nem vesződnék ezzel, sem az elsőrendű, sem a magasabb rendű, sem a köztes, sem a deviáns logikával, mert a tudományosság, a logika és a helyes gondolkozás legáltalánosabb szabályait veszem alapul. Tehát valódi tudományosságát, vagy áltudományosságát vizsgálom.
A filozófusok nagy lelkesedéssel vetették rá magukat Gödel felfedezésére, pedig többnyire egy szót sem értettek belőle. Talán egyetlen tudományos gondolatból sem származott még ennyi sületlenség.[2]
Felvetésem a matematikai formalizálás hibalehetőségeit és korlátjait érinti: Kurt Gödel (1906-1978) matematikus első nemteljességi tétele érvényes-e, vagy csak főként egy hamis dilemmára alapuló érvelési hiba? Tényleg csak két választási lehetőség van? Vagy van még több is? Nem kellene inkább ezt átsorolni a paradoxon példákhoz? Mint David Hilbert (1862-1943) egyik leghíresebb matematikus Grand hotel felvetése is oda van sorolva. Egyáltalán matematika ez, vagy csak igen butuska és ráadásul hibás filozofálgatás? Gödel különféle tételei egymást is cáfolják?
Gentzen, szemben a matematikai logikában ma is szokásos móddal, amely sok axiómával és kevés levezetési szabállyal dolgozik, olyan rendszert javasolt, amelyben sok a levezetési szabály, és nincsenek (logikai) axiómák.
....
Hogyan érhető tetten ez a szemlélet Franzénnál? Franzén doktori témavezetője Prawitz volt, és mindenestül magáévá tette azt a személetet, mely képes elrugaszkodni nem csak az ,,igaz” és ,,hamis” használatától, de még a halmazelmélettől is.
A matematikában sok fura dolog lehetséges a belső szabályai szerint helyesen. Így a 2,4 +2,4 = 4,8 egész számra való kerekítési, megjelenítési és a megfelelő műveleti sorrend szabály "törvénnyel" éppen ilyen. Ebben az esetben 2+2=5 és teljesen logikusan és szabályosan.
Gödel első nemteljességi tétele is pszihovirus-szerűen (vallás/hit, konteó, álhír, fake news, hiedelem, áltudomány, posztmodern filozófia, téveszme, pletyka ...) terjedt csak el, mert az is csak érvelési hiba trükk, átverés, akárcsak más átverések, amelyek még is népszerűek. Lásd kijózanító példának a Barkóbát és kétféle szabályrendszerét. Az alap barkóba axióma és belső szabály-rendszerében csak IGEN és NEM válasz lehet. A kibővített Barkóbában meg IGEN, NEM, IS, NEM JELLEMZŐ és NEM TUDOM. Mindkettő axióma rendszer és belső szabályok összessége. Sőt mindkettő formális axióma rendszer. Tehát egy olyan rendszerben, amiben a szabályok és az axióma rendszerek is csak saját magán múlnak ... az bizony ... körkörös logika. Elvi hiba és elvetendő. Vagy mindkettő barkóba, mindkettő matematika és akkor Gödel első nemteljességi tételére is felvehető egy kibővített axiómarendszer, amiben már működik a játék és teljes. A matematika tehát - ettől - lehet TELJES !!!
Kurt Gödel (1906-1978) matematikus, de igazából filozófia könyveket írt négy tétele / érve az ami híresebb. 1. Matematikai teljességi tétele 2 Matematika első nemteljességi tétele 3 Matematikai második nemteljességi tétele 4. Matematikai formalizált nyelven megírt ontológiai istenérve. Minden jele szerint ezek egymást is cáfolják.
Gödel első nemteljességi tétele: "Minden ellentmondásmentes, a természetes számok elméletét tartalmazó, formális-axiomatikus elméletbenmegfogalmazható olyan állítás, mely se nem bizonyítható, se nem cáfolható."
Gödel 2. nemteljességi tétel: " ... az egyik ilyen eldönthetetlen és bizonyíthatatlan állítás, pont az hogy a rendszer ellentmondásmentes" ..." Értelmezés szerint - és ez minden bizonnyal egy helyes értelmezés- már cáfolja is vele a saját korábbi hasonló nevű, csak éppen egyes sorszámú tételét. (Lehet nem is egyet, hanem kettőt is. Tehát a teljességit is.)
