Cover Image
Read Now

Mathematical logic

Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A.M. Turing's works is intended to include all his mature scientific writing, including a substantial quantity of unpublished material. His work in pure mathematics and math...

Full description

Bibliographic Details
Main Author: Turing, Alan
Other Authors: Gandy, R. O., Yates, C. E. M.
Format: eBook
Language:English
Published: Amsterdam Elsevier Science 2001, 2001
Series:Collected works of A.M. Turing
Subjects:
Logic, Symbolic And Mathematical / Http://id.loc.gov/authorities/subjects/sh85078115
Mathematics / Thema
Lambda-calculus / Gtt
Mathematical Logic / Thema
Mathematical Foundations / Thema
Mathematics / Ukslc
History Of Mathematics / Thema
Berekenbaarheid / Gtt
Automatentheorie / Gtt
Complex Analysis, Complex Variables / Thema
Algorithms & Data Structures / Thema
Information Architecture / Thema
Information Theory / Thema
Logic, Symbolic And Mathematical / Fast / (ocolc)fst01002068
Mathematics / Logic / Bisacsh
Geheimschrift / Gtt
Logique Symbolique Et Mathématique
Typentheorie / Gtt
Philosophy Of Mathematics / Thema
Artificial Intelligence / Thema
Mathematics / Infinity / Bisacsh
Programmeren (computers) / Gtt
Online Access:
Collection: Elsevier eBook collection Mathematics - Collection details see MPG.ReNa
Table of Contents:
  • Cover
  • Contents
  • Preface
  • Alan Mathison Turing
  • Chronology
  • Preface to this volume
  • Part I: Computability and Ordinal Logics
  • Chapter 1. Historical Introduction (Solomon Feferman)
  • Chapter 2. 1937 On Computable Numbers, with an Application to the Entscheidungsproblem
  • Chapter 3. 1937 Computability and?-definability. 1937 The p-function in?
  • K Conversion
  • Chapter 4. 1938 Systems of Logic based on Ordinals
  • Part II: Type Theory
  • Chapter 5. General Introduction to Turing's work on Type Theory
  • Published papers
  • Chapter 6. 1942 (with M.H.A. Newman) A Formal Theorem in Church's Theory of Types
  • Chapter 7. 1942 The Use of Dots as Brackets in Church's System
  • Chapter 8. 1948 Practical Forms of Type Theory
  • Unpublished papers
  • Chapter 9. 1941 Some Theorems about Church's System
  • Chapter 10. 1943-4 Practical Forms of Type Theory II
  • Chapter 11. 1944-5 The Reform of Mathematical Notation
  • Part III: Enigmas, Mysteries and Loose Ends
  • Chapter 12. Turing's Treatise on the Enigma
  • Chapter 13. Turing's Papers on Programming
  • Chapter 14. Excerpt from: Programmer's Handbook for the Manchester Electronic Computer Mark II
  • Chapter 15. Minimum Cost Sequential Analysis Excerpt from unpublished manuscript
  • Chapter 16. The Nature of Turing and the Physical World (Andrew Hodges)
  • Chapter 17. Letter from Robin Gandy to Max Newman
  • Chapter 18. Royal Society Memoir
  • Bibliography
  • Lists of contents of other volumes
  • Appendix: matters arising from other volumes
  • Last Page
  • Includes bibliographical references (pages 281-287)

Similar Items