FOM: Re: Gödel ad infinitum

Allen Hazen a.hazen at
Sat Nov 11 01:33:34 EST 2000

A good first introduction to some of the Feferman/Turing ideas Torkel
mentions is Feferman's expository paper in Rolf Herken, ed, "The Universal
Turing Machine" (Oxford U.P. 1986).
Allen Hazen
Philosophy Dept
U of Melbourne

More information about the FOM mailing list