# Alan Turing's Systems of Logic: The Princeton Thesis

## Alan Mathison Turing

4,11 valoración promedio
( 9 valoraciones por GoodReads )

Review:

"This book presents the story of Turing's work at Princeton University and includes a facsimile of his doctoral dissertation, 'Systems of Logic Based on Ordinals,' which he completed in 1936. The author includes a detailed history of Turing's work in computer science and the attempts to ground the field in formal logic."--
Mathematics Teacher

"This book is not for the faint hearted, as with the great masters of painting it will insist that some thought goes into appreciating it. . . . I love the book as a book. It is a collectors item and after all what better pursuit can one have than collecting books!"-- Patrick Fogarty, Mathematics Today

From the Publisher:

Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logicians in the world--including Alonzo Church, Kurt Gödel, John von Neumann, and Stephen Kleene--were at Princeton in the 1930s, and they were working on ideas that would lay the groundwork for what would become known as computer science. This book presents a facsimile of the original typescript of Turing's fascinating and influential 1938 Princeton PhD thesis, one of the key documents in the history of mathematics and computer science. The book also features essays by Andrew Appel and Solomon Feferman that explain the still-unfolding significance of the ideas Turing developed at Princeton.

A work of philosophy as well as mathematics, Turing's thesis envisions a practical goal--a logical system to formalize mathematical proofs so they can be checked mechanically. If every step of a theorem could be verified mechanically, the burden on intuition would be limited to the axioms. Turing's point, as Appel writes, is that "mathematical reasoning can be done, and should be done, in mechanizable formal logic." Turing's vision of "constructive systems of logic for practical use" has become reality: in the twenty-first century, automated "formal methods" are now routine.

Presented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar nuevo Ver libro
EUR 11,94

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

## 1.Alan Turing s Systems of Logic: The Princeton Thesis (Paperback)

Editorial: Princeton University Press, United States (2015)
ISBN 10: 0691164738 ISBN 13: 9780691164731
Librería
The Book Depository
(London, Reino Unido)
Valoración

Descripción Princeton University Press, United States, 2015. Paperback. Estado de conservación: New. Reprint. 251 x 175 mm. Language: English . Brand New Book. Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logicians in the world--including Alonzo Church, Kurt Godel, John von Neumann, and Stephen Kleene--were at Princeton in the 1930s, and they were working on ideas that would lay the groundwork for what would become known as computer science. This book presents a facsimile of the original typescript of Turing s fascinating and influential 1938 Princeton PhD thesis, one of the key documents in the history of mathematics and computer science. The book also features essays by Andrew Appel and Solomon Feferman that explain the still-unfolding significance of the ideas Turing developed at Princeton. A work of philosophy as well as mathematics, Turing s thesis envisions a practical goal--a logical system to formalize mathematical proofs so they can be checked mechanically. If every step of a theorem could be verified mechanically, the burden on intuition would be limited to the axioms. Turing s point, as Appel writes, is that mathematical reasoning can be done, and should be done, in mechanizable formal logic. Turing s vision of constructive systems of logic for practical use has become reality: in the twenty-first century, automated formal methods are now routine. Presented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science. Nº de ref. de la librería AAS9780691164731

Comprar nuevo
EUR 11,94
Convertir moneda
Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

## 2.Alan Turing s Systems of Logic: The Princeton Thesis (Paperback)

Editorial: Princeton University Press, United States (2015)
ISBN 10: 0691164738 ISBN 13: 9780691164731
Librería
The Book Depository US
(London, Reino Unido)
Valoración

Descripción Princeton University Press, United States, 2015. Paperback. Estado de conservación: New. Reprint. 251 x 175 mm. Language: English . Brand New Book. Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logicians in the world--including Alonzo Church, Kurt Godel, John von Neumann, and Stephen Kleene--were at Princeton in the 1930s, and they were working on ideas that would lay the groundwork for what would become known as computer science. This book presents a facsimile of the original typescript of Turing s fascinating and influential 1938 Princeton PhD thesis, one of the key documents in the history of mathematics and computer science. The book also features essays by Andrew Appel and Solomon Feferman that explain the still-unfolding significance of the ideas Turing developed at Princeton. A work of philosophy as well as mathematics, Turing s thesis envisions a practical goal--a logical system to formalize mathematical proofs so they can be checked mechanically. If every step of a theorem could be verified mechanically, the burden on intuition would be limited to the axioms. Turing s point, as Appel writes, is that mathematical reasoning can be done, and should be done, in mechanizable formal logic. Turing s vision of constructive systems of logic for practical use has become reality: in the twenty-first century, automated formal methods are now routine. Presented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science. Nº de ref. de la librería AAS9780691164731

Comprar nuevo
EUR 12,88
Convertir moneda
Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

## 3.Alan Turing's Systems of Logic

ISBN 10: 0691164738 ISBN 13: 9780691164731
Librería
GreatBookPrices
(Columbia, MD, Estados Unidos de America)
Valoración

Descripción Estado de conservación: New. Nº de ref. de la librería 21464679-n

Comprar nuevo
EUR 10,86
Convertir moneda
Gastos de envío: EUR 2,45
Destinos, gastos y plazos de envío

## 4.Alan Turing's Systems of Logic: The Princeton Thesis

Editorial: Princeton University Press
ISBN 10: 0691164738 ISBN 13: 9780691164731
Librería
THE SAINT BOOKSTORE
(Southport, Reino Unido)
Valoración

Descripción Princeton University Press. Paperback. Estado de conservación: new. BRAND NEW, Alan Turing's Systems of Logic: The Princeton Thesis, Andrew W. Appel, Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logicians in the world--including Alonzo Church, Kurt Godel, John von Neumann, and Stephen Kleene--were at Princeton in the 1930s, and they were working on ideas that would lay the groundwork for what would become known as computer science. This book presents a facsimile of the original typescript of Turing's fascinating and influential 1938 Princeton PhD thesis, one of the key documents in the history of mathematics and computer science. The book also features essays by Andrew Appel and Solomon Feferman that explain the still-unfolding significance of the ideas Turing developed at Princeton. A work of philosophy as well as mathematics, Turing's thesis envisions a practical goal--a logical system to formalize mathematical proofs so they can be checked mechanically. If every step of a theorem could be verified mechanically, the burden on intuition would be limited to the axioms. Turing's point, as Appel writes, is that "mathematical reasoning can be done, and should be done, in mechanizable formal logic." Turing's vision of "constructive systems of logic for practical use" has become reality: in the twenty-first century, automated "formal methods" are now routine. Presented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science. Nº de ref. de la librería B9780691164731

Comprar nuevo
EUR 7,53
Convertir moneda
Gastos de envío: EUR 6,91
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

## 5.Alan Turing's Systems of Logic: The Princeton Thesis

Editorial: Princeton University Press
ISBN 10: 0691164738 ISBN 13: 9780691164731
Librería
Movie Mars
(Indian Trail, NC, Estados Unidos de America)
Valoración

Descripción Princeton University Press. PAPERBACK. Estado de conservación: New. 0691164738 Brand New Book. Ships from the United States. 30 Day Satisfaction Guarantee!. Nº de ref. de la librería 17293707

Comprar nuevo
EUR 10,85
Convertir moneda
Gastos de envío: EUR 3,71
Destinos, gastos y plazos de envío

## 6.Alan Turing's Systems of Logic: The Princeton Thesis

Editorial: Princeton University Press (2014)
ISBN 10: 0691164738 ISBN 13: 9780691164731
Librería
Valoración

Descripción Princeton University Press, 2014. Estado de conservación: New. Editor(s): Appel, Andrew W. Num Pages: 160 pages, illustrations. BIC Classification: PBCD; PBX; UY. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 178 x 253 x 11. Weight in Grams: 302. . 2014. Reprint. Paperback. . . . . . Nº de ref. de la librería V9780691164731

Comprar nuevo
EUR 15,54
Convertir moneda
Gastos de envío: GRATIS
De Irlanda a Estados Unidos de America
Destinos, gastos y plazos de envío

## 7.Alan Turing's Systems of Logic: The Princeton Thesis

Editorial: Princeton University Press 2014-11-16|NU-LBR-01455261 (2014)
ISBN 10: 0691164738 ISBN 13: 9780691164731
Librería
Chiron Media
(Wallingford, Reino Unido)
Valoración

Descripción Princeton University Press 2014-11-16|NU-LBR-01455261, 2014. Paperback. Estado de conservación: New. 9780691164731. Nº de ref. de la librería NU-LBR-01455261

Comprar nuevo
EUR 12,34
Convertir moneda
Gastos de envío: EUR 3,48
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

## 8.Alan Turing's Systems of Logic 9780691164731

ISBN 10: 0691164738 ISBN 13: 9780691164731
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración

Descripción Paperback. Estado de conservación: New. Not Signed; Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logician. book. Nº de ref. de la librería ria9780691164731_rkm

Comprar nuevo
EUR 12,75
Convertir moneda
Gastos de envío: EUR 3,89
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

## 9.Alan Turing's Systems of Logic: The Princeton Thesis

Editorial: Princeton University Press
ISBN 10: 0691164738 ISBN 13: 9780691164731
Librería
Kennys Bookstore
(Olney, MD, Estados Unidos de America)
Valoración

Descripción Princeton University Press. Estado de conservación: New. Editor(s): Appel, Andrew W. Num Pages: 160 pages, illustrations. BIC Classification: PBCD; PBX; UY. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 178 x 253 x 11. Weight in Grams: 302. . 2014. Reprint. Paperback. . . . . Books ship from the US and Ireland. Nº de ref. de la librería V9780691164731

Comprar nuevo
EUR 16,92
Convertir moneda
Gastos de envío: GRATIS
Destinos, gastos y plazos de envío

## 10.Alan Turing's Systems of Logic (Paperback)

ISBN 10: 0691164738 ISBN 13: 9780691164731
Librería
Grand Eagle Retail
(Wilmington, DE, Estados Unidos de America)
Valoración

Descripción Paperback. Estado de conservación: New. 178mm x 253mm x. Paperback. Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the British founder of computer science and .Shipping may be from multiple locations in the US or from the UK, depending on stock availability. 160 pages. 0.444. Nº de ref. de la librería 9780691164731

Comprar nuevo
EUR 17,09
Convertir moneda
Gastos de envío: GRATIS