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.