Alan Turing's Systems of Logic: The Princeton Thesis

4 valoración promedio
( 8 valoraciones por Goodreads )
 
9780691155746: Alan Turing's Systems of Logic: The Princeton Thesis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

From the Inside Flap:


"For me, this is the most interesting of Alan Turing's writings, and it is a real delight to see a facsimile of the original typescript here. The work is packed with ideas that have turned out to be significant for all sorts of current research areas in computer science and mathematics."--Barry Cooper, University of Leeds


About the Author:

Andrew W. Appel is the Eugene Higgins Professor and Chairman of the Department of Computer Science at Princeton University.

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

Los mejores resultados en AbeBooks

1.

Editorial: Princeton University Press, United States (2012)
ISBN 10: 0691155747 ISBN 13: 9780691155746
Nuevos Tapa dura Cantidad: 1
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción Princeton University Press, United States, 2012. Hardback. Estado de conservación: New. 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 AAH9780691155746

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 23,98
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a España
Destinos, gastos y plazos de envío

2.

Andrew Appel
Editorial: Princeton University Press (2012)
ISBN 10: 0691155747 ISBN 13: 9780691155746
Nuevos Cantidad: 2
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Princeton University Press, 2012. HRD. Estado de conservación: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Nº de ref. de la librería WP-9780691155746

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 18,61
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,92
De Reino Unido a España
Destinos, gastos y plazos de envío

3.

Editorial: Princeton University Press, United States (2012)
ISBN 10: 0691155747 ISBN 13: 9780691155746
Nuevos Tapa dura Cantidad: 1
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción Princeton University Press, United States, 2012. Hardback. Estado de conservación: New. 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 AAH9780691155746

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 29,46
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a España
Destinos, gastos y plazos de envío

4.

Andrew W. Appel
Editorial: Princeton University Press
ISBN 10: 0691155747 ISBN 13: 9780691155746
Nuevos Tapa dura Cantidad: 2
Librería
THE SAINT BOOKSTORE
(Southport, Reino Unido)
Valoración
[?]

Descripción Princeton University Press. Hardback. 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 B9780691155746

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 22,73
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 7,75
De Reino Unido a España
Destinos, gastos y plazos de envío

5.

Editorial: Princeton University Press, United States (2012)
ISBN 10: 0691155747 ISBN 13: 9780691155746
Nuevos Tapa dura Cantidad: 10
Librería
Book Depository hard to find
(London, Reino Unido)
Valoración
[?]

Descripción Princeton University Press, United States, 2012. Hardback. Estado de conservación: New. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. 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 BZE9780691155746

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 35,39
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a España
Destinos, gastos y plazos de envío

6.

APPEL
ISBN 10: 0691155747 ISBN 13: 9780691155746
Nuevos Tapa dura Cantidad: 10
Librería
Herb Tandree Philosophy Books
(Stroud, GLOS, Reino Unido)
Valoración
[?]

Descripción 2012. Hardback. Estado de conservación: NEW. 9780691155746 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Nº de ref. de la librería HTANDREE01147181

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 28,61
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,91
De Reino Unido a España
Destinos, gastos y plazos de envío

7.

ISBN 10: 0691155747 ISBN 13: 9780691155746
Nuevos Cantidad: 2
Librería
BWB
(Valley Stream, NY, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: New. Depending on your location, this item may ship from the US or UK. Nº de ref. de la librería 97806911557460000000

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 40,57
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

8.

Appel, Andrew W. (Editor)
Editorial: Princeton Univ Pr (2012)
ISBN 10: 0691155747 ISBN 13: 9780691155746
Nuevos Tapa dura Cantidad: 2
Librería
Revaluation Books
(Exeter, Reino Unido)
Valoración
[?]

Descripción Princeton Univ Pr, 2012. Hardcover. Estado de conservación: Brand New. facsimile edition edition. 160 pages. 10.00x7.25x0.50 inches. In Stock. Nº de ref. de la librería __0691155747

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 31,54
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 16,71
De Reino Unido a España
Destinos, gastos y plazos de envío

9.

Andrew W. Appel
ISBN 10: 0691155747 ISBN 13: 9780691155746
Nuevos Tapa dura Cantidad: 1
Librería
AussieBookSeller
(SILVERWATER, NSW, Australia)
Valoración
[?]

Descripción 2012. Hardcover. Estado de conservación: New. Hardcover. 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.Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. 160 pages. 0.514. Nº de ref. de la librería 9780691155746

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 26,55
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 31,67
De Australia a España
Destinos, gastos y plazos de envío

10.

Andrew W. Appel
ISBN 10: 0691155747 ISBN 13: 9780691155746
Nuevos Tapa dura Cantidad: 1
Librería
Grand Eagle Retail
(Wilmington, DE, Estados Unidos de America)
Valoración
[?]

Descripción 2012. Hardcover. Estado de conservación: New. Hardcover. 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.510. Nº de ref. de la librería 9780691155746

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 38,57
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 23,97
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda