Kurt Gödel/Definition

From Citizendium
< Kurt Gödel
Revision as of 09:18, 9 August 2024 by Pat Palmer (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
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.