Gödel ja tanssija Adele Pokert avioituivat Wienissä vuonna 1938.Erakoitunut filosofi jätti hämmentävän perinnön – Vain muutama ihminen osaa lukea Kurt Gödelin muistiinpanoja, ja nyt Helsingin yliopiston tutkijat löysivät niistä ”ison pommin” Gödelin 1930-luvun ajatuksista on suora yhteys tietokoneisiin. Hänen muistiin-panojensa pikakirjoitusta osaa maailmassa viisi ihmistä. Heistä yksi on Jan von Plato. - Timo Paukku, HS 3.4.2019 2:00 https://www.hs.fi/tiede/art-2000006056532.html - Kommentit 27.
TÄMÄ lause on epätosi. - ”Jos tuo lause on tosi, se on sisältönsä mukaisesti epätosi. Jos lause taas on epätosi, se on tosi!”, sanoo Helsingin yliopiston filosofi Jan von Plato. Tuo lause on von Platon mukaan hyvä esimerkki ristiriitaisesta tai itseensä viittaavasta lauseesta. Filosofit ovat pohtineet tämän tapaisia logiikan ja kielen ongelmia pitkään, jo antiikin Aristoteleesta lähtien. - Yksi heistä oli näissä mestari, itävaltalainen matemaatikko ja filosofi Kurt Kurt Friedrich Gödel (1906 – 1978). Hän todisti vuonna 1931, että matematiikkaa ei voida osoittaa ristiriidattomaksi, ei edes matematiikan itsensä keinoin.
GÖDELIN löytö oli iso isku matemaatikkojen ja loogikkojen yhteisölle. Hän sentään esitti todisteen logiikan kielellä. Ja sehän ei erehdy. Todistus on jäänyt historiaan Gödelin epätäydellisyyslauseena. Sitä ja muita Gödelin töitä on älyllisinä saavutuksina verrattu Albert Einsteinin suhteellisuusteorioihin 1905 ja 1915. - Filosofit ovat ehtineet tutkia ja pohtia kirjakaupalla ja vuosikymmeniä Gödelin muitakin väitteitä. Ja lisää tulee. - Gödel-tutkimuksen yksi tärkeä aineisto ovat Gödelin muistiin-panot. Hän kirjasi ajatuksiaan ja teorioitaan koko ajan muistivihkoihin. Vihko kulki aina Gödelin mukana. Hän vei ne kaikki Yhdysvaltoihin Princetonin yliopistoon, jonne hän pakeni 1940 natsi-Saksasta. Siellä Princetonin yliopiston kirjastossa Gödelin vihkot odottavat tulkitsijoita. Sivuja on tuhansia.
GÖDELIN muistiinpanoissa on yksi iso ongelma. Ne on kirjoitettu nykypäivän ihmiselle vaikeasti. Teksti on saksalaista pikakirjoitusta, jota sanotaan Gabelsbergerin pikakirjoitukseksi. Maailmassa on tiettävästi vain viisi filosofia, jotka osaavat lukea Gödelin muistivihkojen pikakirjoitusta sujuvasti. Sen tietää yksi heistä, Jan von Plato.
(- -)
Filosofi Jan von Plato (s. 1951 Hki) hahmottaa loogikko Kurt Gödelin ajattelua hänen muistiinpanoistaan.
Työ ei lopu, sillä sivuja on tuhansia. (KUVA: OUTI PYHÄRANTA / HS)
Jalankulkija 3.4.2019 7:15 "Hän todisti vuonna 1931, että matematiikkaa ei voida osoittaa ristiriidattomaksi, ei edes matematiikan itsensä keinoin."
Tähän yksi selvennys. - Tarkkaan ottaen Kurt Gödel osoitti, että yhtä matemaattista järjestelmää ei voi osoittaa ristiriidattomaksi sen omilla säännöillä ja ehdoilla.
Yksi matemaattinen järjestelmä on mahdollista osoittaa ristiriidattomaksi aina, jos todistelun matemaattisia ehtoja laajennetaan. Laajempi matemaattinen
järjestelmä voi osoittaa suppeamman järjestelmän täysin ristiriidattomaksi.
