home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / logic / 1281 < prev    next >
Encoding:
Internet Message Format  |  1992-08-18  |  763 b 
  1. Path: sparky!uunet!mcsun!uknet!edcastle!dcs.ed.ac.uk!alti
  2. From: alti@dcs.ed.ac.uk (Thorsten Altenkirch)
  3. Newsgroups: sci.logic
  4. Subject: New Scientist 21 Mar 92
  5. Message-ID: <ALTI.92Aug18150326@tanera.dcs.ed.ac.uk>
  6. Date: 18 Aug 92 14:03:26 GMT
  7. Sender: nnews@dcs.ed.ac.uk
  8. Organization: LFCS, Edinburgh
  9. Lines: 13
  10.  
  11. Has anybody had a look at Paul Davies article "Is nature
  12. mathematical?". I only browsed over it but I got the impression that
  13. he confuses the questions of undecidability ("1st order logic is
  14. undecidable" [Church]) and incompleteness ("Every consistent extension
  15. of Peano arithmetic is incomplete"[G"odel]). Any comments?
  16.  
  17. T.
  18.  
  19. --
  20. ************************************************************
  21. Thorsten Altenkirch        alti@dcs.ed.ac.uk
  22. LFCS, Edinburgh
  23. Scotland
  24.