Newsgroups: comp.ai.philosophy
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!pipex!uknet!dcs.gla.ac.uk!unix.brighton.ac.uk!mjs14
From: mjs14@unix.brighton.ac.uk (shute)
Subject: Plato's pool of mathematics
Message-ID: <1994Dec1.164411.6000@unix.brighton.ac.uk>
Organization: University of Brighton, UK
Date: Thu, 1 Dec 1994 16:44:11 GMT
Lines: 15

Something that has puzzled me in recent articles in this group
is the frequent references to how we don't know whether mathematical
truth already exists, waiting for us to discover it, or whether we
create it in the process of discovery.

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.

Can anyone put me right on this.
Thanks in advance if you can.
-- 

Malcolm SHUTE.         (The AM Mollusc:   v_@_ )        Disclaimer: all
