Kurt Gödel: Forskelle mellem versioner
Content deleted Content added
m bot: indsæt skabelon autoritetsdata |
No edit summary |
||
Linje 31:
Gödel studerede i [[Wien]], og var inden [[2. verdenskrig]] ansat som universitetslærer der. I [[1940]] emigrerede han til [[USA]], hvor han blev ansat på [[Institute for Advanced Study]] ved [[Princeton]]. Her blev han bl.a. ven med [[Albert Einstein]]
De to [[Gödels ufuldstændighedssætning|ufuldstændighedssætninger]] lyder i kort form:
* '''Første ufuldstændighedssætning''': ''I ethvert modsigelsesfrit matematisk system, der kan regne med hele tal, findes der sande matematiske sætninger, der ikke kan bevises''.
* '''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.
| |||