Helmikuun 6. päivänä vuonna 1930 Kurt Gödel sai filosofian tohtorin arvonsa Wienin yliopistossa. Työn ohjaajana oli Hans Hahn. Gödel osoitti ensimmäisen kertaluvun logiikan (predikaattilogiikan) täydellisyyden, ts. että jokainen validi ensimmäisen kertaluvun lause on todistettavissa.
Gödelistä kiroitin myös 14.01.2021.
Kuva: wikipedia
Tekstit
Ei kommentteja:
Lähetä kommentti