Kurt Gödel/Definition: Difference between revisions
Jump to navigation
Jump to search
Pat Palmer (talk | contribs) mNo edit summary |
Pat Palmer (talk | contribs) mNo edit summary |
||
| Line 1: | Line 1: | ||
<noinclude>{{Subpages}}</noinclude> | <noinclude>{{Subpages}}</noinclude> | ||
(1906-1978) [[Austria|Austrian]]-born, [[United States of America|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; considered to be one of the most important | (1906-1978) [[Austria|Austrian]]-born, [[United States of America|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; considered to be one of the most important figures in [[mathematical logic]] in modern times. | ||
Revision as of 10:18, 9 August 2024
(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; considered to be one of the most important figures in mathematical logic in modern times.