Vuonna 1930 syyskuun 6. päivänä Kurt Gödel, loogikko, josta välittömästi tuli kuuluisa, esitti Deutsche Mathematiker-Vereinigungin vuosittaisessa kokoontumisessa Königsbergissä ensimmäisen kertaluvun calculuksen täydellisyyslauseensa. Gödel oli ratkaissut tämän ongelman tohtorinväitöskirjassaan Hans Hahnin johdolla vuonna 1929. Vuotta myöhemmin Gödel todisti epätäydellisyyslauseensa.
Kuva: Wikipedia
Tekstit
Ei kommentteja:
Lähetä kommentti