From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!cs.utexas.edu!qt.cs.utexas.edu!yale.edu!think.com!Think.COM!moravec Thu Apr 30 15:23:03 EDT 1992
Article 5293 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!cs.utexas.edu!qt.cs.utexas.edu!yale.edu!think.com!Think.COM!moravec
>From: moravec@Think.COM (Hans Moravec)
Newsgroups: comp.ai.philosophy
Subject: Re: Time to celebrate - Goedels Birthday
Date: 28 Apr 1992 00:44:23 GMT
Organization: Thinking Machines Corporation, Cambridge MA, USA
Lines: 32
Distribution: world
Message-ID: <kvp7v7INNqqv@early-bird.think.com>
References: <1992Apr27.222124.7925@odin.diku.dk>
NNTP-Posting-Host: turing.think.com

### Full record from hm02
### Query: godel
### Database: Encyclopedia, 1 record

Article      GODEL, Kurt                                                       
             
Text         {gur'-dul}                                                        
             
             Kurt GODEL, b. Apr. 28, 1906, d. Jan. 14, 1978, was a             
             Czech-born American mathematician and logician. He is best        
             known for his proof of GODEL's undecidability theorems, which     
             state that any rigidly logical mathematical system contains       
             questions that cannot be proved or disproved on the basis of      
             the AXIOMS within the system. These results were an epochal       
             landmark in 20th-century mathematics, indicating that             
             mathematics is not a finished object, as was previously           
             believed. GODEL's proof first appeared in a German technical      
             journal in 1931. This paper ended nearly a century of attempts    
             to establish axioms that would provide a rigorous basis for all   
             mathematics. GODEL also helped develop geometric models for       
             Einstein's theory of relativity. He became a member of the        
             faculty of the University of Vienna in 1930, where he belonged    
             to the school of logical positivism. In 1940 he immigrated to     
             the United States; he was a professor at the Institute for        
             Advanced Study, in Princeton, N.J., from 1953 to his death. H.    
             HOWARD FRISINGER                                                  
             
Article Number
             0122000-0                                                         
             




