Elsevier S & T

Mathematical Logic

Gandy, R.O.; Yates, C.E.M.

In stock
No reviews
70.250 KD inc. VAT
License
Table of contents
  • Cover
  • ContentsXI
  • PrefaceVII
  • Alan Mathison Turing – ChronologyVIII
  • Preface to this volumeIX
  • Part I: Computability and Ordinal Logics1
  • Chapter 1. Historical Introduction (Solomon Feferman)3
  • Chapter 2. 1937 On Computable Numbers, with an Application to the Entscheidungsproblem9
  • Chapter 3. 1937 Computability and λ-definability. 1937 The p-function in λ - K Conversion57
  • Chapter 4. 1938 Systems of Logic based on Ordinals71
  • Part II: Type Theory149
  • Chapter 5. General Introduction to Turing's work on Type Theory151
  • Published papers155
  • Chapter 6. 1942 (with M.H.A. Newman) A Formal Theorem in Church's Theory of Types155
  • Chapter 7. 1942 The Use of Dots as Brackets in Church's System165
  • Chapter 8. 1948 Practical Forms of Type Theory179
  • Unpublished papers201
  • Chapter 9. 1941 Some Theorems about Church's System201
  • Chapter 10. 1943–4 Practical Forms of Type Theory II207
  • Chapter 11. 1944–5 The Reform of Mathematical Notation211
  • Part III: Enigmas, Mysteries and Loose Ends223
  • Chapter 12. Turing's Treatise on the Enigma225
  • Chapter 13. Turing's Papers on Programming243
  • Chapter 14. Excerpt from: Programmer's Handbook for the Manchester Electronic Computer Mark II251
  • Chapter 15. Minimum Cost Sequential Analysis Excerpt from unpublished manuscript255
  • Chapter 16. The Nature of Turing and the Physical World (Andrew Hodges)259
  • Chapter 17. Letter from Robin Gandy to Max Newman265
  • Chapter 18. Royal Society Memoir268
  • Bibliography281
  • Lists of contents of other volumes289
  • Appendix: matters arising from other volumes293
Book details
  • Vendor Elsevier S & T
  • SKU 9780444504234
  • ISBN-13 9780080535920
  • Author Gandy, R.O.; Yates, C.E.M.
  • Category Mathematics
  • Subject Logic

Do you have questions about this book?

Ask an expert!

Description eBook delivery & access Reviews