Academia.edu no longer supports Internet Explorer.

To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to  upgrade your browser .

Enter the email address you signed up with and we'll email you a reset link.

  • We're Hiring!
  • Help Center

paper cover thumbnail

Andrew W. Appel, Alan Turing's System of Logic: The Princeton Thesis, Princeton UP, 2012

Profile image of Alexander von Lünen

Related Papers

Solomon Feferman

alan turing's systems of logic the princeton thesis pdf

Lecture Notes in Computer Science

Juliette Kennedy

Joan Bagaria

The Mathematical Intelligencer

Jack Copeland

Minds and Machines

Gualtiero Piccinini

The Essential Turing

Alan Turing

On 23 September 1936 Turing left England on a vessel bound for New York. His destination was Princeton University, where the Mathematics Department and the Institute for Advanced Study combined to make Princeton a leading centre for mathematics. Turing had applied unsuccessfully for a Visiting Fellowship to Princeton in the spring of 1935. When a year later he learned of Church’s work at Princeton on the Entscheidungsproblem, which paralleled his own (see ‘Computable Numbers: A Guide’), Turing ‘decided quite definitely’ to go there. He planned to stay for a year. In mid-1937 the offer of a Visiting Fellowship for the next academic year persuaded him to prolong his visit, and he embarked on a Ph.D. thesis. Already advanced in his academic career, Turing was an unusual graduate student (in the autumn of 1937, he himself was appointed by Cambridge University to examine a Ph.D. thesis). By October 1937 Turing was looking forward to his thesis being ‘done by about Christmas’. It took jus...

Logicians are usually philosophically or mathematically minded. Why, then, would they be so interested in problems that belong to computer science, like the explication of the notions of algorithm, effective procedure, and suchlike? The reason for their interest is presumably this. Such problems are interdisciplinary, and modern mathematics, logic and analytic philosophy have much in common, going hand in hand. For instance, the classical decision problem (Entscheidungsproblem) was tremendously popular among logicians. Kurt Gödel, for one, worked on it. Thus I first provide in Section 1 a brief summary of Gödel’s famous incompleteness results. In the summary I use a current technical vernacular. That is, I use terms like ‘algorithm’, ‘effective procedure’, ‘recursive axiomatization’, etc. These terms were not used in the time when Gödel was pursuing his research on (un)decidability, because the study of these modern notions was triggered, inter alia, just by Gödel’s incompleteness r...

Computability: Turing, Gödel, Church, and Beyond (eds. B. Jack Copeland, Carl Posy, Oron Shagrir), MIT Press

Oron Shagrir

Jonas Hässig

arXiv:1308.0497v3

Paola Cattabriga

Turing historical article of 1936 is the result of a special endeavor focused around the factuality of a general process for algorithmic computation. The Turing machine as a universal feasibility test for computing procedures is applied up to closely examining what are considered to be the limits of computation itself. In this regard he claims to have defined a number which is not computable, arguing that there can be no machine computing the diagonal on the enumeration of the computable sequences. This article closely examines the original 1936 argument, displaying how it cannot be considered a demontration, and that there is indeed no evidence of such a defined number that is not computable.

RELATED PAPERS

Contemporary Education Dialogue

Dr. SURESH BABU G.S

Sanjiv Kapoor

RENATO PEREIRA AURÉLIO

Bekir Agirgun

David Michalski

Revista Latinoamericana de Metodología de las Ciencias Sociales

Valeria Dabenigno

Peacemakers' Press

Robert L Roberg

Nature Reviews Neuroscience

Raphael Mechoulam

Agus Supriyo

Behzad Najafi

Muhammad Faiz Raza

Journal of Neuroscience Methods

manabu tanifuji

Kevin Garcia

Miguel Castrillo

Panorama of Brazilian Law

Carmen Tiburcio

World applied sciences journal

Ghasem Najafpour

Autonomous Robots

Francisco-Angel Moreno

International Journal for Innovation Education and Research

Marison Luiz Soares

Acta Medica Marisiensis

sanda-maria copotoiu

Lidija Latifovic

RELATED TOPICS

  •   We're Hiring!
  •   Help Center
  • Find new research papers in:
  • Health Sciences
  • Earth Sciences
  • Cognitive Science
  • Mathematics
  • Computer Science
  • Academia ©2024

We will keep fighting for all libraries - stand with us!

Internet Archive Audio

alan turing's systems of logic the princeton thesis pdf

  • This Just In
  • Grateful Dead
  • Old Time Radio
  • 78 RPMs and Cylinder Recordings
  • Audio Books & Poetry
  • Computers, Technology and Science
  • Music, Arts & Culture
  • News & Public Affairs
  • Spirituality & Religion
  • Radio News Archive

alan turing's systems of logic the princeton thesis pdf

  • Flickr Commons
  • Occupy Wall Street Flickr
  • NASA Images
  • Solar System Collection
  • Ames Research Center

alan turing's systems of logic the princeton thesis pdf

  • All Software
  • Old School Emulation
  • MS-DOS Games
  • Historical Software
  • Classic PC Games
  • Software Library
  • Kodi Archive and Support File
  • Vintage Software
  • CD-ROM Software
  • CD-ROM Software Library
  • Software Sites
  • Tucows Software Library
  • Shareware CD-ROMs
  • Software Capsules Compilation
  • CD-ROM Images
  • ZX Spectrum
  • DOOM Level CD

alan turing's systems of logic the princeton thesis pdf

  • Smithsonian Libraries
  • FEDLINK (US)
  • Lincoln Collection
  • American Libraries
  • Canadian Libraries
  • Universal Library
  • Project Gutenberg
  • Children's Library
  • Biodiversity Heritage Library
  • Books by Language
  • Additional Collections

alan turing's systems of logic the princeton thesis pdf

  • Prelinger Archives
  • Democracy Now!
  • Occupy Wall Street
  • TV NSA Clip Library
  • Animation & Cartoons
  • Arts & Music
  • Computers & Technology
  • Cultural & Academic Films
  • Ephemeral Films
  • Sports Videos
  • Videogame Videos
  • Youth Media

Search the history of over 866 billion web pages on the Internet.

Mobile Apps

  • Wayback Machine (iOS)
  • Wayback Machine (Android)

Browser Extensions

Archive-it subscription.

  • Explore the Collections
  • Build Collections

Save Page Now

Capture a web page as it appears now for use as a trusted citation in the future.

Please enter a valid web address

  • Donate Donate icon An illustration of a heart shape

Alan Turing's Systems of Logic: The Princeton Thesis (Chapter 1) (reference to archive.org)

Item preview.

There Is No Preview Available For This Item

This item does not appear to have any files that can be experienced on Archive.org. Please download files in this item to interact with them on your computer. Show all files

Share or Embed This Item

Flag this item for.

  • Graphic Violence
  • Explicit Sexual Content
  • Hate Speech
  • Misinformation/Disinformation
  • Marketing/Phishing/Advertising
  • Misleading/Inaccurate/Missing Metadata

plus-circle Add Review comment Reviews

Download options, in collections.

Uploaded by Nicolai Woodenko on July 31, 2021

SIMILAR ITEMS (based on metadata)

Search form

New books alan turing’s systems of logic: the princeton thesis.

alan turing's systems of logic the princeton thesis pdf

(Princeton University Press) Alan Turing (1912-1954) broke the German Enigma code during World War II, and was the British founder of computer science and artificial intelligence. Though less well known than his other work, Turing’s 1938 Princeton Ph.D. thesis, “Systems of Logic Based on Ordinals,” which includes his notion of an oracle machine, has had a lasting influence on computer science and mathematics. This book presents a facsimile of the original typescript of the thesis along with essays by Andrew Appel and Solomon Feferman that explain its still-unfolding significance. Appel is Eugene Higgins Professor and Chairman of the Department of Computer Science at Princeton.

Alan Turing's Systems of Logic

Andrew W. Appel

50% off with code FIFTY

Before you purchase audiobooks and ebooks

Please note that audiobooks and ebooks purchased from this site must be accessed on the Princeton University Press app. After you make your purchase, you will receive an email with instructions on how to download the app. Learn more about audio and ebooks .

Support your local independent bookstore.

  • United States
  • United Kingdom

Computer Science & Electrical Engineering

Advanced Search

  • Browse Our Shelves
  • Best Sellers
  • Digital Audiobooks
  • Featured Titles
  • New This Week
  • Staff Recommended
  • Reading Lists
  • Upcoming Events
  • Ticketed Events
  • Science Book Talks
  • Past Events
  • Video Archive
  • Online Gift Codes
  • University Clothing
  • Goods & Gifts from Harvard Book Store
  • Hours & Directions
  • Newsletter Archive
  • Frequent Buyer Program
  • Signed First Edition Club
  • Signed New Voices in Fiction Club
  • Off-Site Book Sales
  • Corporate & Special Sales
  • Print on Demand

Harvard Book Store

  • All Our Shelves
  • Academic New Arrivals
  • New Hardcover - Biography
  • New Hardcover - Fiction
  • New Hardcover - Nonfiction
  • New Titles - Paperback
  • African American Studies
  • Anthologies
  • Anthropology / Archaeology
  • Architecture
  • Asia & The Pacific
  • Astronomy / Geology
  • Boston / Cambridge / New England
  • Business & Management
  • Career Guides
  • Child Care / Childbirth / Adoption
  • Children's Board Books
  • Children's Picture Books
  • Children's Activity Books
  • Children's Beginning Readers
  • Children's Middle Grade
  • Children's Gift Books
  • Children's Nonfiction
  • Children's/Teen Graphic Novels
  • Teen Nonfiction
  • Young Adult
  • Classical Studies
  • Cognitive Science / Linguistics
  • College Guides
  • Cultural & Critical Theory
  • Education - Higher Ed
  • Environment / Sustainablity
  • European History
  • Exam Preps / Outlines
  • Games & Hobbies
  • Gender Studies / Gay & Lesbian
  • Gift / Seasonal Books
  • Globalization
  • Graphic Novels
  • Hardcover Classics
  • Health / Fitness / Med Ref
  • Islamic Studies
  • Large Print
  • Latin America / Caribbean
  • Law & Legal Issues
  • Literary Crit & Biography
  • Local Economy
  • Mathematics
  • Media Studies
  • Middle East
  • Myths / Tales / Legends
  • Native American
  • Paperback Favorites
  • Performing Arts / Acting
  • Personal Finance
  • Personal Growth
  • Photography
  • Physics / Chemistry
  • Poetry Criticism
  • Ref / English Lang Dict & Thes
  • Ref / Foreign Lang Dict / Phrase
  • Reference - General
  • Religion - Christianity
  • Religion - Comparative
  • Religion - Eastern
  • Romance & Erotica
  • Science Fiction
  • Short Introductions
  • Technology, Culture & Media
  • Theology / Religious Studies
  • Travel Atlases & Maps
  • Travel Lit / Adventure
  • Urban Studies
  • Wines And Spirits
  • Women's Studies
  • World History
  • Writing Style And Publishing

Add to Cart

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.

There are no customer reviews for this item yet.

Classic Totes

alan turing's systems of logic the princeton thesis pdf

Tote bags and pouches in a variety of styles, sizes, and designs , plus mugs, bookmarks, and more!

Shipping & Pickup

alan turing's systems of logic the princeton thesis pdf

We ship anywhere in the U.S. and orders of $75+ ship free via media mail!

Noteworthy Signed Books: Join the Club!

alan turing's systems of logic the princeton thesis pdf

Join our Signed First Edition Club (or give a gift subscription) for a signed book of great literary merit, delivered to you monthly.

Harvard Book Store

Harvard Square's Independent Bookstore

© 2024 Harvard Book Store All rights reserved

Contact Harvard Book Store 1256 Massachusetts Avenue Cambridge, MA 02138

Tel (617) 661-1515 Toll Free (800) 542-READ Email [email protected]

View our current hours »

Join our bookselling team »

We plan to remain closed to the public for two weeks, through Saturday, March 28 While our doors are closed, we plan to staff our phones, email, and harvard.com web order services from 10am to 6pm daily.

Store Hours Monday - Saturday: 9am - 11pm Sunday: 10am - 10pm

Holiday Hours 12/24: 9am - 7pm 12/25: closed 12/31: 9am - 9pm 1/1: 12pm - 11pm All other hours as usual.

Map Find Harvard Book Store »

Online Customer Service Shipping » Online Returns » Privacy Policy »

Harvard University harvard.edu »

Facebook

  • Clubs & Services

alan turing's systems of logic the princeton thesis pdf

(Stanford users can avoid this Captcha by logging in.)

  • Send to text email RefWorks EndNote printer

Alan Turing's systems of logic : the Princeton thesis

Available online, at the library.

alan turing's systems of logic the princeton thesis pdf

Green Library

More options.

  • Find it at other libraries via WorldCat
  • Contributors

Description

Creators/contributors, contents/summary.

  • Preface ix The Birth of Computer Science at Princeton in the 1930s Andrew W. Appel 1 Turing's Thesis Solomon Feferman 13 Notes on the Manuscript 27 Systems of Logic Based on Ordinals Alan Turing 31 A Remarkable Bibliography 141 Contributors 143.
  • (source: Nielsen Book Data)

Bibliographic information

Browse related items.

Stanford University

  • Stanford Home
  • Maps & Directions
  • Search Stanford
  • Emergency Info
  • Terms of Use
  • Non-Discrimination
  • Accessibility

© Stanford University , Stanford , California 94305 .

Home

  • Math Careers

Search form

  • MAA Centennial
  • Spotlight: Archives of American Mathematics
  • MAA Officers
  • MAA to the Power of New
  • Council and Committees
  • MAA Code of Conduct
  • Policy on Conflict of Interest
  • Statement about Conflict of Interest
  • Recording or Broadcasting of MAA Events
  • Policy for Establishing Endowments and Funds
  • Avoiding Implicit Bias
  • Copyright Agreement
  • Principal Investigator's Manual
  • Planned Giving
  • The Icosahedron Society
  • Our Partners
  • Advertise with MAA
  • Employment Opportunities
  • Staff Directory
  • 2022 Impact Report
  • In Memoriam
  • Membership Categories
  • Become a Member
  • Membership Renewal
  • MERCER Insurance
  • MAA Member Directories
  • New Member Benefits
  • The American Mathematical Monthly
  • Mathematics Magazine
  • The College Mathematics Journal
  • How to Cite
  • Communications in Visual Mathematics
  • About Convergence
  • What's in Convergence?
  • Convergence Articles
  • Mathematical Treasures
  • Portrait Gallery
  • Paul R. Halmos Photograph Collection
  • Other Images
  • Critics Corner
  • Problems from Another Time
  • Conference Calendar
  • Guidelines for Convergence Authors
  • Math Horizons
  • Submissions to MAA Periodicals
  • Guide for Referees
  • Scatterplot
  • Math Values
  • MAA Book Series
  • MAA Press (an imprint of the AMS)
  • MAA Library Recommendations
  • Additional Sources for Math Book Reviews
  • About MAA Reviews
  • Mathematical Communication
  • Information for Libraries
  • Author Resources
  • MAA MathFest
  • Proposal and Abstract Deadlines
  • MAA Policies
  • Invited Paper Session Proposals
  • Contributed Paper Session Proposals
  • Panel, Poster, Town Hall, and Workshop Proposals
  • Minicourse Proposals
  • MAA Section Meetings
  • Virtual Programming
  • Joint Mathematics Meetings
  • Calendar of Events
  • MathFest Programs Archive
  • MathFest Abstract Archive
  • Historical Speakers
  • Information for School Administrators
  • Information for Students and Parents
  • Registration
  • Getting Started with the AMC
  • AMC Policies
  • AMC Administration Policies
  • Important AMC Dates
  • Competition Locations
  • Invitational Competitions
  • Putnam Competition Archive
  • AMC International
  • Curriculum Inspirations
  • Sliffe Award
  • MAA K-12 Benefits
  • Mailing List Requests
  • Statistics & Awards
  • Submit an NSF Proposal with MAA
  • MAA Distinguished Lecture Series
  • Common Vision
  • CUPM Curriculum Guide
  • Instructional Practices Guide
  • Möbius MAA Placement Test Suite
  • META Math Webinar May 2020
  • Progress through Calculus
  • Survey and Reports
  • "Camp" of Mathematical Queeries
  • DMEG Awardees
  • National Research Experience for Undergraduates Program (NREUP)
  • Neff Outreach Fund Awardees
  • Tensor SUMMA Grants
  • Tensor Women & Mathematics Grants
  • Grantee Highlight Stories
  • "Best Practices" Statements
  • CoMInDS Summer Workshop 2023
  • MAA Travel Grants for Project ACCCESS
  • 2024 Summer Workshops
  • Minority Serving Institutions Leadership Summit
  • Previous Workshops
  • Frequently Asked Questions
  • Course Resources
  • Industrial Math Case Studies
  • Participating Faculty
  • 2020 PIC Math Student Showcase
  • Previous PIC Math Workshops on Data Science
  • Dates and Locations
  • Past Programs
  • Leadership Team
  • Support Project NExT
  • Section NExT
  • Section Officers Meeting History
  • Preparations for Section Meetings
  • Bylaws Template
  • Editor Lectures Program
  • MAA Section Lecturer Series
  • Officer Election Support
  • Section Awards
  • Section Liaison Programs
  • Section Visitors Program
  • Expense Reimbursement
  • Guidelines for Bylaw Revisions
  • Guidelines for Local Arrangement Chair and/or Committee
  • Guidelines for Section Webmasters
  • MAA Logo Guidelines
  • MAA Section Email Policy
  • Section Newsletter Guidelines
  • Statement on Federal Tax ID and 501(c)3 Status
  • Communication Support
  • Guidelines for the Section Secretary and Treasurer
  • Legal & Liability Support for Section Officers
  • Section Marketing Services
  • Section in a Box
  • Subventions and Section Finances
  • Web Services
  • Joining a SIGMAA
  • Forming a SIGMAA
  • History of SIGMAA
  • SIGMAA Officer Handbook
  • MAA Connect
  • Meetings and Conferences for Students
  • Opportunities to Present
  • Information and Resources
  • MAA Undergraduate Student Poster Session
  • Undergraduate Research Resources
  • MathFest Student Paper Sessions
  • Research Experiences for Undergraduates
  • Student Poster Session FAQs
  • High School
  • A Graduate School Primer
  • Reading List
  • Student Chapters
  • Awards Booklets
  • Carl B. Allendoerfer Awards
  • Regulations Governing the Association's Award of The Chauvenet Prize
  • Trevor Evans Awards
  • Paul R. Halmos - Lester R. Ford Awards
  • Merten M. Hasse Prize
  • George Pólya Awards
  • David P. Robbins Prize
  • Beckenbach Book Prize
  • Euler Book Prize
  • Daniel Solow Author’s Award
  • Henry L. Alder Award
  • Deborah and Franklin Tepper Haimo Award
  • Certificate of Merit
  • Gung and Hu Distinguished Service
  • JPBM Communications Award
  • Meritorious Service
  • MAA Award for Inclusivity
  • T. Christine Stevens Award
  • Dolciani Award Guidelines
  • Morgan Prize Information
  • Selden Award Eligibility and Guidelines for Nomination
  • Selden Award Nomination Form
  • AMS-MAA-SIAM Gerald and Judith Porter Public Lecture
  • Etta Zuber Falconer
  • Hedrick Lectures
  • James R. C. Leitzel Lecture
  • Pólya Lecturer Information
  • Putnam Competition Individual and Team Winners
  • D. E. Shaw Group AMC 8 Awards & Certificates
  • Maryam Mirzakhani AMC 10 A Awards & Certificates
  • Two Sigma AMC 10 B Awards & Certificates
  • Jane Street AMC 12 A Awards & Certificates
  • Akamai AMC 12 B Awards & Certificates
  • High School Teachers
  • MAA Social Media

You are here

Alan turing's systems of logic: the princeton thesis.

alan turing's systems of logic the princeton thesis pdf

  • From Amazon
  • From the MAA Bookstore

temp hardcoded node--book.tpl.php

Andrew W. Appel, editor

  • Table of Contents

This well produced facsimile edition of Alan Turing's Princeton thesis with notes by Solomon Fefferman will be of interest mainly to historians of logic and computer science.

See the table of contents in pdf format .

  • Log in to post comments

Dummy View - NOT TO BE DELETED

alan turing's systems of logic the princeton thesis pdf

MAA Publications

  • Periodicals
  • MAA History
  • Policies and Procedures
  • Support MAA
  • Member Discount Programs
  • Propose a Session
  • MathFest Archive
  • Putnam Competition
  • AMC Resources
  • Curriculum Resources
  • Outreach Initiatives
  • Professional Development
  • Communities

Connect with MAA

Mathematical Association of America P: (800) 331-1622 F: (240) 396-5647 Email: [email protected]

Copyright © 2024

  • Terms of Use
  • Privacy Policy
  • Mobile Version

alan turing's systems of logic the princeton thesis pdf

  • Computers & Technology
  • Programming

Buy new: .savingPriceOverride { color:#CC0C39!important; font-weight: 300!important; } .reinventMobileHeaderPrice { font-weight: 400; } #apex_offerDisplay_mobile_feature_div .reinventPriceSavingsPercentageMargin, #apex_offerDisplay_mobile_feature_div .reinventPricePriceToPayMargin { margin-right: 4px; } $36.42 $ 36 . 42 FREE delivery June 4 - 20 Ships from: BOOKS etc. _ Sold by: BOOKS etc. _

Save with used - good .savingpriceoverride { color:#cc0c39important; font-weight: 300important; } .reinventmobileheaderprice { font-weight: 400; } #apex_offerdisplay_mobile_feature_div .reinventpricesavingspercentagemargin, #apex_offerdisplay_mobile_feature_div .reinventpricepricetopaymargin { margin-right: 4px; } $24.96 $ 24 . 96 free delivery may 28 - june 3 ships from: thriftbooks-phoenix sold by: thriftbooks-phoenix.

Kindle app logo image

Download the free Kindle app and start reading Kindle books instantly on your smartphone, tablet, or computer - no Kindle device required .

Read instantly on your browser with Kindle for Web.

Using your mobile phone camera - scan the code below and download the Kindle app.

QR code to download the Kindle App

Follow the author

Alan Mathison Turing

Image Unavailable

Alan Turing's Systems of Logic: The Princeton Thesis

  • To view this video download Flash Player

Alan Turing's Systems of Logic: The Princeton Thesis

Purchase options and add-ons.

A facsimile edition of Alan Turing's influential 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.

  • ISBN-10 0691155747
  • ISBN-13 978-0691155746
  • Publisher Princeton University Press
  • Publication date May 27, 2012
  • Language English
  • Dimensions 7.25 x 0.5 x 10 inches
  • Print length 160 pages
  • See all details

Amazon First Reads | Editors' picks at exclusive prices

Editorial Reviews

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

From the Back Cover

About the author, product details.

  • Publisher ‏ : ‎ Princeton University Press (May 27, 2012)
  • Language ‏ : ‎ English
  • Hardcover ‏ : ‎ 160 pages
  • ISBN-10 ‏ : ‎ 0691155747
  • ISBN-13 ‏ : ‎ 978-0691155746
  • Item Weight ‏ : ‎ 1.12 pounds
  • Dimensions ‏ : ‎ 7.25 x 0.5 x 10 inches
  • #374 in Computer Programming Logic
  • #537 in Logic (Books)
  • #860 in Computing Industry History

About the author

Alan mathison turing.

Discover more of the author’s books, see similar authors, read author blogs and more

Customer reviews

Customer Reviews, including Product Star Ratings help customers to learn more about the product and decide whether it is the right product for them.

To calculate the overall star rating and percentage breakdown by star, we don’t use a simple average. Instead, our system considers things like how recent a review is and if the reviewer bought the item on Amazon. It also analyzed reviews to verify trustworthiness.

  • Sort reviews by Top reviews Most recent Top reviews

Top reviews from the United States

There was a problem filtering reviews right now. please try again later..

alan turing's systems of logic the princeton thesis pdf

Top reviews from other countries

alan turing's systems of logic the princeton thesis pdf

  • Amazon Newsletter
  • About Amazon
  • Accessibility
  • Sustainability
  • Press Center
  • Investor Relations
  • Amazon Devices
  • Amazon Science
  • Sell on Amazon
  • Sell apps on Amazon
  • Supply to Amazon
  • Protect & Build Your Brand
  • Become an Affiliate
  • Become a Delivery Driver
  • Start a Package Delivery Business
  • Advertise Your Products
  • Self-Publish with Us
  • Become an Amazon Hub Partner
  • › See More Ways to Make Money
  • Amazon Visa
  • Amazon Store Card
  • Amazon Secured Card
  • Amazon Business Card
  • Shop with Points
  • Credit Card Marketplace
  • Reload Your Balance
  • Amazon Currency Converter
  • Your Account
  • Your Orders
  • Shipping Rates & Policies
  • Amazon Prime
  • Returns & Replacements
  • Manage Your Content and Devices
  • Recalls and Product Safety Alerts
  • Conditions of Use
  • Privacy Notice
  • Consumer Health Data Privacy Disclosure
  • Your Ads Privacy Choices

IMAGES

  1. (PDF) Andrew W. Appel (ed.), Alan Turing's System of Logic: The

    alan turing's systems of logic the princeton thesis pdf

  2. Turing's Thesis: The Foundation of Computability Theory

    alan turing's systems of logic the princeton thesis pdf

  3. Amazon.com: Alan Turing's Systems of Logic: The Princeton Thesis

    alan turing's systems of logic the princeton thesis pdf

  4. TURING, Alan and Maxwell Herman Alexander NEWMAN. 'A formal theorem in

    alan turing's systems of logic the princeton thesis pdf

  5. Alan Turing's Systems of Logic

    alan turing's systems of logic the princeton thesis pdf

  6. Bonhams : TURING, ALAN MATHISON. 1912-1954. Systems of Logic Based on

    alan turing's systems of logic the princeton thesis pdf

VIDEO

  1. The Turing Test: Alan Turing's Battle

  2. The Enigma of Alan Turing #history #ww2 #shorts

  3. Design x Technology Lecture: Paul Lewis

  4. Logic Circuits Design Practical Part 1

  5. Alan Turing's Contributions to Computer Science: 5 Fascinating Facts #AlanTuring #ComputerScience

  6. Can Machines Imitate Humans Effectively?

COMMENTS

  1. Alan Turing's Systems of Logic: The Princeton Thesis on JSTOR

    In the sole extended break from his life and varied career in England, Alan Turing spent the years 1936-1938 doing graduate work at Princeton University under the direction of Alonzo Church, the doyen of American logicians. Those two years sufficed for him to complete a thesis and obtain the Ph.D. The results of the thesis were published in ...

  2. (PDF) Andrew W. Appel, Alan Turing's System of Logic: The Princeton

    In 1938 Turing wrote a PhD thesis under the supervision of the latter on 'ordinal logics' in Princeton. The present book is a facsimile of the typescript with two introductory chapters by editor Andrew W. Appel (pp. 1—12) and Solomon Feferman (pp. 13—26).

  3. Alan Turing's Systems of Logic: The Princeton Thesis (Chapter 1

    Alan Turing's Systems of Logic: The Princeton Thesis (Chapter 1) (reference to archive.org) ... Alan Turing's Systems of Logic: The Princeton Thesis (Chapter 1) (reference to archive.org) by ... Andrew W. Appel. Topics LINK, PDF, NoLongerAvailable, No_Longer_Available Collection nicolai-woodenko-library; additional_collections Language

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

    SEND A RESPONSE TO INBOX. (Princeton University Press) Alan Turing (1912-1954) broke the German Enigma code during World War II, and was the British founder of computer science and artificial intelligence. Though less well known than his other work, Turing's 1938 Princeton Ph.D. thesis, "Systems of Logic Based on Ordinals," which includes ...

  5. Alan Turing's Systems of Logic

    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 ...

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

    A facsimile edition of Alan Turing's influential Princeton thesisBetween 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 ...

  7. Alan Turing's Systems of Logic

    A facsimile edition of Alan Turing's influential 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 ...

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

    A facsimile edition of Alan Turing's influential 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 ...

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

    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.

  10. Alan Turing's Systems of Logic

    Permission to publish a facsimile reproduction of Alan Turing's Princeton dissertation, "System Logis ocf Base d on Ordinals," has been granted by the Princeton University Archives. Department of Rare Books and Special Collection. Princeton University Library Frontispiece images are reproduced with permission from the Princeton University Archives.

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

    This book presents a facsimile of the original typescript of the thesis of Alan Turing's 1938 Princeton PhD thesis along with essays by Andrew Appel and Solomon Feferman that explain its still-unfolding significance. 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 ...

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

    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.

  13. Alan Turing's systems of logic : the Princeton thesis

    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. (source: Nielsen Book Data)

  14. PDF Turing's Thesis

    Turing's Thesis Solomon Feferman In the sole extended break from his life and varied career in England, Alan Turing spent the years 1936-1938 doing graduate work at Princeton University under the direction of Alonzo Church, the doyen of American logicians. Those two years sufficed for him to complete a thesis and obtain the PhD.

  15. PDF Alan Turing's Systems of Logic

    Alan Turing's Systems of Logic The Princeton Thesis Edited and introduced by Andrew W. Appel "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

  16. Systems of Logic Based on Ordinals

    Systems of Logic Based on Ordinals was the PhD dissertation of the mathematician Alan Turing. [1] [2] Turing's thesis is not about a new type of formal logic, nor was he interested in so-called "ranked logic" systems derived from ordinal or relative numbering, in which comparisons can be made between truth-states on the basis of relative ...

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

    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.

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

    A facsimile edition of Alan Turing's influential 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 ...

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

    Search form. Search . Login; Join; Give; Events

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

    A facsimile edition of Alan Turing's influential 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 ...