Talk:Kurt Gödel

From Citizendium
Revision as of 09:03, 4 June 2008 by imported>Larry Sanger
Jump to navigation Jump to search
This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
To learn how to update the categories for this article, see here. To update categories, edit the metadata template.
 Definition (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. [d] [e]
Checklist and Archives
 Workgroup category Mathematics [Categories OK]
 Talk Archive none  English language variant American English

The most important? Then what counts as "modern times"? Frege and Russell/Whitehead each have as strong a claim as Goedel. --Larry Sanger 10:03, 4 June 2008 (CDT)