FOM: Godel, f.o.m.

Mark Steiner marksa at
Tue Jan 18 01:01:37 EST 2000

P. S. on Goedel:

	Wouldn't also be correct to say that Goedel invented computer science
by writing the first nontrivial computer program (one which converts any
proof of a certain sentence, G, in the language of PA, into a proof of

More information about the FOM mailing list