Mathematical Logic

Mathematical Logic

by R.O. Gandy, R. O. Gandy+, C.E.M. Yates
     
 

View All Available Formats & Editions

ISBN-10: 0444504230

ISBN-13: 9780444504234

Pub. Date: 12/05/2001

Publisher: Elsevier Science

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 mathematical logic extended considerably further; the work of his last years

Overview

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 mathematical logic extended considerably further; the work of his last years, on morphogenesis in plants, is also of the greatest originality and of permanent importance.
This book is divided into three parts. The first part focuses on computability and ordinal logics and covers Turing's work between 1937 and 1938. The second part covers type theory; it provides a general introduction to Turing's work on type theory and covers his published and unpublished works between 1941 and 1948. Finally, the third part focuses on enigmas, mysteries, and loose ends. This concluding section of the book discusses Turing's Treatise on the Enigma, with excerpts from the Enigma Paper. It also delves into Turing's papers on programming and on minimum cost sequential analysis, featuring an excerpt from the unpublished manuscript.
This book will be of interest to mathematicians, logicians, and computer scientists.

Product Details

ISBN-13:
9780444504234
Publisher:
Elsevier Science
Publication date:
12/05/2001
Series:
Collected Works of A. M. Turing Series
Pages:
306
Product dimensions:
6.92(w) x 9.66(h) x 1.19(d)

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >