Newsgroups: comp.ai.philosophy
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!news.sprintlink.net!pipex!sunic!sics.se!torkel
From: torkel@sics.se (Torkel Franzen)
Subject: Re: Plato's pool of mathematics
In-Reply-To: mjs14@unix.brighton.ac.uk's message of Thu, 1 Dec 1994 16:44:11 GMT
Message-ID: <TORKEL.94Dec2181532@anhur.sics.se>
Sender: news@sics.se
Organization: Swedish Institute of Computer Science, Kista
References: <1994Dec1.164411.6000@unix.brighton.ac.uk>
Date: Fri, 2 Dec 1994 17:15:32 GMT
Lines: 11

In article <1994Dec1.164411.6000@unix.brighton.ac.uk> mjs14@unix.brighton.ac.uk (shute) writes:

   >It puzzles me because I, in my naive way, thought that Turing's 1936
   >paper had put this to rest.  I thought that by demonstrating that
   >mathematics is undecidable, mathematical truth is created dynamically,
   >not statically waiting for us to discover it.

  Your reasoning is obscure. How did you arrive at the conclusion
about mathematical truth from the existence of recursively undecidable
problems?

