Kun Curt Köödel kehitti epätäydellisyyslauseensa, hän aloitti nerokkaasti kahdesta asiasta:
1. "Tämä lause ei ole todistettavissa."
2. Köödel-numerointi, missä mikä tahansa lause saadaan muutettua luonnolliseksi luvuksi.
Nämä ymmärrän hyvin, mutta miten jatko menee?
1. "Tämä lause ei ole todistettavissa."
2. Köödel-numerointi, missä mikä tahansa lause saadaan muutettua luonnolliseksi luvuksi.
Nämä ymmärrän hyvin, mutta miten jatko menee?
Vastaukset 6
Vanhimmat
Opettele nyt ensin tuo nimi oikein.
Mutta jos tuo on mestariloogikon juutalainen nimi? Hänen epätäydellisyyslauseensahan natsit tuomitsivat juutalaiseksi matematiikaksi ja logiikaksi, jonka vuoksi hän pakeni Neuvostoliiton kautta USA:han.
Kun hän oli kuulustelussa saadakseen USA:n kansalaisuuden, tuomari sanoi, että toisin kuin useassa Euroopan valtiossa, USA:ssa vallitsee demokratia. Tämä mestariloogikko selosti nopeasti, kuinka USA:n perustuslakiasiakirjasta löytyy porsaanreikä, jolla ko. valtio voidaan muuttaa diktatuuriksi.
Eikö kukaan osaa antaa vastausta, vaan ainoastaan jaaritella?
Siis oikea nimi on Kurt Göödel. Jatkakaa, jos osaatte.
Tai oikeastaan Gödel. Jatko vaikkapa tuossa http://users.jyu.fi/~juhaleh/godel.html
Köödeli todisti myös sen, että elämä on epätäydellistä, eikä luottamus ole loogista.