洋文献関係

  • Joseph Almog and Paolo Leonardi eds.  Having in Mind: The Philosophy of Keith Donnellan, Oxford University Press, 2012
  • Andrew W. Appel ed.  Alan Turing's Systems of Logic: The Princeton Thesis, Princeton University Press, 2012

Though less well known than his other work, Turing's 1938 Princeton PhD thesis, "Systems of Logic Based on Ordinals," which includes his notion of an oracle machine, has had a lasting influence on computer science and mathematics. This book presents a facsimile of the original typescript of the thesis along with essays by Andrew Appel and Solomon Feferman that explain its still-unfolding significance.

Turing の PhD thesis, "Systems of Logic Based on Ordinals" は、その後 Proceedings of the London Mathmatical Society, vol. 45, 1939 において公刊され、Martin Davis ed., The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions, Raven Press Books, 1965/Dover Publication, 2004 と Turing の Collected Works に再録されています。なお、件の PhD thesis と、公刊・再録された version には、少し違いがあります。そのことは、上記 Appel 本の pp. 27-29 で確認できます。また、当日記 2012年5月5日、'Turing’s Princeton Dissertation' という項目もご覧ください。


和文献関係