home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / alt / philosop / objectiv / 900 < prev    next >
Encoding:
Text File  |  1993-01-23  |  822 b   |  21 lines
  1. Newsgroups: alt.philosophy.objectivism
  2. Path: sparky!uunet!mcsun!sunic!sics.se!torkel
  3. From: torkel@sics.se (Torkel Franzen)
  4. Subject: Re: godel theorem and godel theorem ....(Re: Where's
  5. In-Reply-To: cole@alexia.lis.uiuc.edu's message of Fri, 22 Jan 1993 20:25:40 GMT
  6. Message-ID: <TORKEL.93Jan22222135@bast.sics.se>
  7. Sender: news@sics.se
  8. Organization: Swedish Institute of Computer Science, Kista
  9. References: <1993Jan20.151556.29334@athena.mit.edu> <C19vEv.FqC@news.cso.uiuc.edu>
  10. Date: Fri, 22 Jan 1993 21:21:35 GMT
  11. Lines: 8
  12.  
  13. In article <C19vEv.FqC@news.cso.uiuc.edu> cole@alexia.lis.uiuc.edu 
  14. (Sandra Stewart-Cole) writes:
  15.  
  16.   >It [Godel's theorem] shows that logical deduction is insufficient
  17.   >to explain anything complex no matter how many starting axioms you take.
  18.  
  19.   How would you say that Godel's theorem shows this?
  20.  
  21.