home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / logic / 1283 < prev    next >
Encoding:
Internet Message Format  |  1992-08-18  |  1.5 KB
  1. Path: sparky!uunet!decwrl!concert!borg!news_server!martinc
  2. From: martinc@grover.cs.unc.edu (Charles R. Martin)
  3. Newsgroups: sci.logic
  4. Subject: Re: New Scientist 21 Mar 92
  5. Message-ID: <MARTINC.92Aug18182050@grover.cs.unc.edu>
  6. Date: 18 Aug 92 22:20:50 GMT
  7. References: <ALTI.92Aug18150326@tanera.dcs.ed.ac.uk>
  8. Sender: news@cs.unc.edu
  9. Organization: UNC Department of Computer Science
  10. Lines: 20
  11. In-reply-to: alti@dcs.ed.ac.uk's message of 18 Aug 92 14:03:26 GMT
  12.  
  13. In article <ALTI.92Aug18150326@tanera.dcs.ed.ac.uk> alti@dcs.ed.ac.uk (Thorsten Altenkirch) writes:
  14.  
  15.    Has anybody had a look at Paul Davies article "Is nature
  16.    mathematical?". I only browsed over it but I got the impression that
  17.    he confuses the questions of undecidability ("1st order logic is
  18.    undecidable" [Church]) and incompleteness ("Every consistent extension
  19.    of Peano arithmetic is incomplete"[G"odel]). Any comments?
  20.  
  21. I believe they're very closely connected.  See e.g. Chaitin's
  22. Algorithmic Information Theory (Cambridge Tract in Theoretical CS, I
  23. think is the series.)
  24. --
  25. Charles R. Martin/(Charlie)/martinc@cs.unc.edu/(ne crm@cs.duke.edu) 
  26. O/Dept. of Computer Science/CB #3175 UNC-CH/Chapel Hill, NC 27599-3175
  27. H/3611 University Dr #13M/Durham, NC 27707/(919) 419 1754
  28. ----------------------------------------------------------------------
  29. "I am he who walks the States with a barb'd tongue, questioning every
  30. one I meet,/Who are you that wanted only to be told what you knew
  31. before?/ Who are you that wanted only a book to join you in your
  32. nonsense?"  _Leaves of Grass_ xxiii.4.
  33.