gordon@stats.ucl.ac.UK ("Gordon Joly, Statistics, UCL") (07/18/88)
To: AILIST <@ESS.Cs.Ucl.AC.UK:AILIST@ai.ai.mit.edu> cc: gordon%stats.ucl.ac.uk@ESS.Cs.Ucl.AC.UK Subject: K. Godel. Date: Tue, 12 Jul 88 12:53 EDT From: "Gordon Joly, Statistics, UCL" <gordon%stats.ucl.ac.uk@ESS.Cs.Ucl.AC.UK> >From AIList Digest V8 #6 [ Date: 6 Jul 88 17:04:13 GMT [ >From: mcvax!ukc!etive!aiva!jeff@uunet.uu.net (Jeff Dalton) [ Subject: Re: Free Will-Randomness and Question-Structure [ [ 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. Mathematical axioms spawn proofs (not truths). Godel's theorem says you may find a proposition you cannot prove with your "chosen axioms". Way out. Make the statement you cannot prove an axiom, taking care not to get an unbounded number of axioms. I look forward to axiomatic engineering and axiomatic political science. Gordon Joly. Surface mail: Dr. G.C.Joly, Department of Statistical Sciences, University College London, Gower Street, LONDON WC1E 6BT, U.K. E-mail: | Tel: +44 1 387 7050 JANET (U.K. national network) gcj@uk.ac.ucl.stats | extension 3636 (Arpa/Internet form: gcj@stats.ucl.ac.uk) | Relays: ARPA,EAN: @nss.cs.ucl.ac.uk | CSNET: %nss.cs.ucl.ac.uk@relay.cs.net | BITNET: %ukacrl.bitnet@cunyvm.cuny.edu, @ac.uk EARN: @ukacrl.bitnet, @AC.UK By uucp/Usenet: ....!uunet!mcvax!ukc!stats.ucl.ac.uk!gcj