Article View: sci.logic
Article #209New Scientist 21 Mar 92
From: Thorsten Altenkirch
Date: Tue, 18 Aug 1992 14:03
Date: Tue, 18 Aug 1992 14:03
13 lines
786 bytes
786 bytes
Has anybody had a look at Paul Davies article "Is nature
mathematical?". I only browsed over it but I got the impression that
he confuses the questions of undecidability ("1st order logic is
undecidable" [Church]) and incompleteness ("Every consistent extension
of Peano arithmetic is incomplete"[G"odel]). Any comments?
T.
--
************************************************************
Thorsten Altenkirch alti@dcs.ed.ac.uk
LFCS, Edinburgh
Scotland
Technical Details
Message-ID:
<ALTI.92Aug18150326@tanera.dcs.ed.ac.uk>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!edcastle!dcs.ed.ac.uk!altiShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!edcastle!dcs.ed.ac.uk!alti From: alti@dcs.ed.ac.uk (Thorsten Altenkirch) Newsgroups: sci.logic Subject: New Scientist 21 Mar 92 Message-ID: <ALTI.92Aug18150326@tanera.dcs.ed.ac.uk> Date: 18 Aug 92 14:03:26 GMT Sender: nnews@dcs.ed.ac.uk Organization: LFCS, Edinburgh Lines: 13