FOM: Godel, f.o.m.

Mark Steiner marksa at vms.huji.ac.il
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
not-G)?




More information about the FOM mailing list