On Sun, 11 Aug 2002, gfgs pedo wrote:
with reference to
http://www.miskatonic.org/godel.html
Gödel asks for the program and the circuit design of
the UTM. The program may be complicated, but it can
only be finitely long.
I know of no such requirement in Godel's Theorem, since I
At 11:58 AM -0700 on 8/11/02, James A. Donald wrote:
Choate's universe is a very strange place.
One could even say it was, um, loopy...
:-).
Cheers,
RAH
--
-
R. A. Hettinga mailto: [EMAIL PROTECTED]
The Internet Bearer Underwriting Corporation http://www.ibuc.com/
44
hi,
thank you Mr. Jim,one more query, regarding Godel's
incompleteness theorom.
with reference to
http://www.miskatonic.org/godel.html
Gödel asks for the program and the circuit design of
the UTM. The program may be complicated, but it can
only be finitely long. Call the program P(UTM) for