Everand Logo

Welcome to Everand!

  • Discover millions of ebooks, audiobooks, and so much more with a free trial

    Only $11.99/month after trial. Cancel anytime.

    Alan Turing's Systems of Logic: The Princeton Thesis
    Alan Turing's Systems of Logic: The Princeton Thesis
    Alan Turing's Systems of Logic: The Princeton Thesis
    Ebook163 pages2 hours

    Alan Turing's Systems of Logic: The Princeton Thesis

    By Andrew W. Appel

    5/5

    ()

    Read preview

    About this ebook

    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.

    LanguageEnglish
    PublisherPrinceton University Press
    Release dateOct 12, 2021
    ISBN9781400843213
    Alan Turing's Systems of Logic: The Princeton Thesis

    Related to Alan Turing's Systems of Logic

    Related ebooks

    Computers For You

    View More
    View More

    Related podcast episodes

    Related articles

    • Article

      Do You Know These Scientific Pioneers?

      Nov 25, 2020

      It’s easy to name science and math geniuses. I can just flip open my old book from the 1960s, which lists “100 Great Scientists”; it contains all the names you’d find on most popular lists of scientific geniuses: Einstein, Newton, Maxwell, Gauss, Boh

      5 min read

    • Article

      Top Ten Unsung Geniuses: For these scientists, success and fame did not come in equal measure.

      Oct 16, 2014

      It’s easy to name science and math geniuses. I can just flip open my old book from the 1960s, which lists “100 Great Scientists”; it contains all the names you’d find on most popular lists of scientific geniuses: Einstein, Newton, Maxwell, Gauss, Boh

      5 min read

    • Article

      Sir Isaac Newton

      Feb 28, 2020

      Sir Isaac Newton
      2 min read

    • Article

      Isaac Newton

      Dec 15, 2022

      The fundamentals of astronomy for beginners Tis month marks the 380th anniversary of the birth of Sir Isaac Newton, one of the most celebrated figures in scientific history, whose wide-ranging contributions touched almost every aspect of modern scien

      2 min read

    • Article

      From the Editor

      Feb 11, 2022

      Winston Churchill was the first prime minister to have a professional scientific adviser. He had an enduring fascination with new technology and how it could raise the standard of living for everyone, as well as provide for the common defense. He als

      1 min read

    • Article

      Wilhelm Röntgen

      Nov 5, 2020

      Wilhelm Röntgen
      2 min read

    • Article

      Women In Computing

      Sep 7, 2023

      What are some of the earliest examples of women in computing? Have they been there since the beginning? Even in what might be viewed as the beginnings of computing, women are involved. One of the earliest was NicoleReine Étable de la Brière (1723-178

      3 min read

    • Article

      SCIENCE & INVENTION

      Jan 28, 2021

      SCIENCE & INVENTION
      9 min read

    • Article

      If Not Darwin, Who?: An alternative history of the great ideas of science.

      Dec 15, 2016

      What would physics look like if Einstein had never existed, or biology without Darwin? In one view, nothing much would change—the discoveries they made and theories they devised would have materialized anyway sooner or later. That’s the odd thing abo

      13 min read

    • Article

      What Happened Next?

      Jun 14, 2021

      BILL TUTTE became a Fellow of the Royal Society of Canada in 1958 and of the London Royal Society in 1987. He became an Officer of the Order of Canada in 2001, and has a road named for him in Waterloo, Ontario. He died in 2002. JOHN TILTMAN was the

      2 min read

    • Article

      We Are All Ancient Mapmakers

      Jan 30, 2020

      In the first half of the sixth century B.C., a Greek man named Anaximander, born in Turkey, sketched the world in a way no one had previously thought to do. It featured a circle, divided into three equal parts. He labeled those parts Europe, Asia, an

      9 min read

    • Article

      The Coldest Case

      Aug 1, 2016

      Hoping to find answers to the world’s energy woes, Eugene Mallove left a career in science’s mainstream for one on its fringes. He sacrificed many things along the way. Was his life one of them?

      19 min read

    • Article

      The Man Who Split The Atom

      Jul 14, 2023

      The Man Who Split The Atom
      2 min read

    • Article

      Isaac Newton

      Jun 8, 2023

      Isaac Newton
      3 min read

    • Article

      Did You Know?

      Sep 5, 2019

      Did You Know?
      4 min read

    • Article

      Why Science Is Essential, Especially Now, For The Development Of Nations

      Jun 1, 2021

      ONE OF THE MOST important aspects of development is industrialization. For industrialization to happen, it is important for us to understand the principles of scientific advancements. Scientific advancements have been instrumental in the advancement

      3 min read

    • Article

      Going Nuclear

      Oct 26, 2021

      Going Nuclear
      2 min read

    Related categories

    Reviews for Alan Turing's Systems of Logic

    5/5

    2 ratings1 review

    What did you think?

    Tap to rate

    Review must be at least 10 words

    • 5/5
      Surprisingly readable if you are into computer science or logic systems. If not, you may get lost very early on.

    Book preview

    Alan Turing's Systems of Logic - Andrew W. Appel

    Enjoying the preview?
    Page 1 of 1