FOM: Re: Gödel ad infinitum

Allen Hazen a.hazen at philosophy.unimelb.edu.au
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