Kurt Gödel/Definition

From Citizendium
< Kurt Gödel
Revision as of 09:24, 7 June 2008 by imported>Aleksander Stos (next approximation)
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.