Kurt Gödel/Definition: Difference between revisions
Jump to navigation
Jump to search
imported>Daniel Mietchen (started) |
imported>Aleksander Stos (next approximation) |
||
| Line 1: | Line 1: | ||
<noinclude>{{Subpages}}</noinclude> | <noinclude>{{Subpages}}</noinclude> | ||
(1906-1978) | (1906-1978) Austrian born American mathematician, most famous for proving that in any logical system rich enough to describe [[natural number|naturals]], there are always statements that are true but impossible to prove within the system. | ||
Latest revision as of 10:24, 7 June 2008
(1906-1978) Austrian born American mathematician, most famous for proving that in any logical system rich enough to describe naturals, there are always statements that are true but impossible to prove within the system.