Mathematical Logic

Mathematical Logic

by R.O. Gandy
     
 

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

…  See more details below

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.

Read More

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)

Table of Contents

Ch. 1The Nature of Mathematical Logic
Ch. 2First-Order Theories
Ch. 3Theorems in First-Order Theories
Ch. 4The Characterization Problem
Ch. 5The Theory of Models
Ch. 6Incompleteness and Undecidability
Ch. 7Recursion Theory
Ch. 8The Natural Numbers
Ch. 9Set Theory
AppThe Word Problem
Index

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >