Vuonna 1930, syyskuun 7. päivänä Kurt Gödel esitti, keskusteluissa matematiikan perusteista Wienin Piirissä, kuuluisan teoreemansa aritmetiikan epätäydellisyydestä: on olemassa tosia lauseita, joita ei voida todistaa. Vuotta myöhemmin, vuonna 1931 Gödel julkaisi epätäydellisyysteoreemansa saksalaisessa julkaisussa otsikolla "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme".
Kuva: Wikipedia
Tekstit
Ei kommentteja:
Lähetä kommentti