From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!csd.unb.ca!morgan.ucs.mun.ca!nstn.ns.ca!news.cs.indiana.edu!noose.ecn.purdue.edu!sparkyfs.erg.sri.com!ames!olivea!uunet!mcsun!sunic2!sics.se!sics.se!torkel Mon May 25 14:06:28 EDT 1992
Article 5768 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!csd.unb.ca!morgan.ucs.mun.ca!nstn.ns.ca!news.cs.indiana.edu!noose.ecn.purdue.edu!sparkyfs.erg.sri.com!ames!olivea!uunet!mcsun!sunic2!sics.se!sics.se!torkel
>From: torkel@sics.se (Torkel Franzen)
Newsgroups: comp.ai.philosophy
Subject: Re: penrose
Message-ID: <1992May20.074909.4651@sics.se>
Date: 20 May 92 07:49:09 GMT
References: <1992May18.194416.27171@hellgate.utah.edu>
	<1992May19.025328.5332@news.media.mit.edu>
	<1992May19.113549.9679@hellgate.utah.edu>
	<1992May19.194145.7008@saifr00.cfsat.honeywell.com>
	<1992May19.154746.20944@hellgate.utah.edu>
Sender: news@sics.se
Organization: Swedish Institute of Computer Science, Kista
Lines: 14
In-Reply-To: tolman%asylum.utah.edu@cs.utah.edu's message of 19 May 92 21:47:45 GMT

In article <1992May19.154746.20944@hellgate.utah.edu> tolman%asylum.utah.edu
@cs.utah.edu (Kenneth Tolman) writes:

  >One might wonder (at least I have) why Hilbert's program failed...
  >Why did it fail?  Did it really fail?  Why did he propose his program in
  >the first place, if he did not suspect that it could work?  Then Godel
  >showed it to be wrong.  What was wrong with it?  It could not escape itself.

  There is nothing mysterious about Hilbert's program, but it is entirely
unclear what, if anything, your remarks have to do with it.

  There was at least one peculiar oversight associated with Hilbert's
program: apparently nobody at the time noted, at least not in print,
that a complete axiomatic theory is also decidable.


