Kurt Gödel/Definition: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Daniel Mietchen
(started)
 
mNo edit summary
 
(3 intermediate revisions by 2 users not shown)
Line 1: Line 1:
<noinclude>{{Subpages}}</noinclude>
<noinclude>{{Subpages}}</noinclude>
(1906-1978) Moravian mathematician, most famous for proving mathematically that certain mathematical theorems cannot be proven mathematically.
(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.

Latest revision as of 10:18, 9 August 2024

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
A definition or brief description of Kurt Gödel.

(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.