To order this title, and for more information, click here
By R.O. Gandy C.E.M. Yates, School of Informatics, University of Wales, Bangor, UK
Description
Contents Preface.
Alan Mathison Turing-Chronolgy.
Preface to this volume.
Part I Computability and Ordinal Logics.
Historical Introduction (Solomon Feferman).
1937 On Computable Numbers, with an Application to the Entscheidungsproblem (P.Lond.Math.Soc.(2)42,230-265).
1937 A Correction(ibid:43,544-546).
1937 Computability and λ-definability (J.Symb.Log.2 153-163).
1937 The p-function
in λ-K Conversion (J.Symb.Log.2,164).
Preface.
Turing texts.
1938 Systems of Logic based on Ordinals (P.Lond.Math.Soc
(2) 45,161-228).
Preface(Solomon Feferman).
Turing text.
Part II Type Theory.
General Introduction to
Turing's work on Type Theory.
Published Papers.
1942 A Formal Theorem in Church's Theory of Types (with M.H.A.Newman).
(J.Symb.Log.7).
Preface.
Turing-Newman text.
1942 The Use of dots as Brackets in Church's System. (J.Symb.Log.7, 28-33).
Preface.
Turing text.
1948 Practical Forms of Type Theory (J.Symb.Log.13, 80-94).
Preface.
Turing text.
Unpublished
papers.
1941 Some Theorems about Church's System.
1943-4 Practical Forms of Type Theory II.
1944-5 The Reform
of Mathematical Notation.
Part III - Enigmas, Mysteries and Loose Ends.
Turing's Treatise on the enigma.
Preface (Andew Hodges).
Excerpts from the "Enigma Paper".
Turing's Papers on Programming.
Preface (Martin Campbell-Kelly).
Excerpts from original paper.
Minimum Cost Sequential Analysis.
Excerpt from unpublished manuscript.
Commentary (Jack Good).
The Nature of Turing and the Physical World(Andrew Hodges).
Letter from Robin Gandy to Max Newman.
Royal Society Memoir (Max
Newman).
Bibliography.
Lists of contents of other volumes.
Appendix:matters arising from other volumes.
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
Home | Elsevier Sites | Privacy Policy | Terms and Conditions | Feedback | Site Map | A Reed Elsevier Company