Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!ames!pasteur!ucbvax!decwrl!sun!pitstop!sundc!seismo!uunet!mcvax!ukc!etive!aiva!jeff
From: jeff@aiva.ed.ac.uk (Jeff Dalton)
Newsgroups: comp.ai
Subject: Re: Free Will-Randomness and Question-Structure
Message-ID: <491@aiva.ed.ac.uk>
Date: 6 Jul 88 17:04:13 GMT
References: <22533@teknowledge-vaxc.ARPA> <194@proxftl.UUCP> <1214@crete.cs.glasgow.ac.uk> <304@proxftl.UUCP>
Reply-To: jeff@uk.ac.ed.aiva (Jeff Dalton)
Distribution: comp.ai
Organization: Dept. of AI, Univ. of Edinburgh, UK
Lines: 6

In article <304@proxftl.UUCP> bill@proxftl.UUCP (T. William Wells) writes:
] Actually, the point was just that: when I say that something is
] true in a mathematical sense, I mean just one thing: the thing
] follows from the chosen axioms;

"True" is not the same as "follows from the axioms".  See Godel et al.