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