Kurt Gödel: Forskelle mellem versioner
Content deleted Content added
m Robot: Ændrer Kategori:Østrigere til Kategori:Personer fra Østrig |
m Stavefejl. Havde ikke "Indvirkning på samtidens matematiSk og logik", men "Indflydelse (Begrebslig konkretisering) på samtidens matematik og logik". |
||
Linje 35:
* '''Anden ufuldstændighedssætning''': ''I ethvert modsigelsesfrit bevissystem, der kan regne med hele tal, er det med systemets egne metoder umuligt at bevise, at systemet er modsigelsesfrit''. Den anden ufuldstændighedssætning er en konsekvens af den første.
Ufuldstændighedssætningerne havde stor
Gödel var ængstelig for køleskabe og radiatorer, og af skræk for at blive forgiftet, turde han kun spise mad der var tilberedt af hans kone Adele. I 1977 blev hun imidlertid indlagt på sygehus i seks måneder, og han vovede da ikke at spise og døde følgelig af underernæring.
| |||