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.

    The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
    The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
    The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
    Ebook348 pages7 hours

    The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

    By Jan von Plato

    ()

    Read preview

    About this ebook

    The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution.

    Jan von Plato examines the contributions of figures such as Aristotle; the nineteenth-century German polymath Hermann Grassmann; George Boole, whose Boolean logic would prove essential to programming languages and computing; Ernst Schröder, best known for his work on algebraic logic; and Giuseppe Peano, cofounder of mathematical logic. Von Plato shows how the idea of a formal proof in mathematics emerged gradually in the second half of the nineteenth century, hand in hand with the notion of a formal process of computation. A turning point was reached by 1930, when Kurt Gödel conceived his celebrated incompleteness theorems. They were an enormous boost to the study of formal languages and computability, which were brought to perfection by the end of the 1930s with precise theories of formal languages and formal deduction and parallel theories of algorithmic computability. Von Plato describes how the first theoretical ideas of a computer soon emerged in the work of Alan Turing in 1936 and John von Neumann some years later.

    Shedding new light on this crucial chapter in the history of science, The Great Formal Machinery Works is essential reading for students and researchers in logic, mathematics, and computer science.

    LanguageEnglish
    PublisherPrinceton University Press
    Release dateAug 2, 2017
    ISBN9781400885039
    The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

    Related to The Great Formal Machinery Works

    Related ebooks

    Mathematics For You

    View More
    View More

    Related podcast episodes

    Related articles

    • Article

      Physicists Attack Math’s $1,000,000 Question

      Apr 4, 2017

      Physicists are attempting to map the distribution of the prime numbers to the energy levels of a particular quantum system.

      4 min read

    • Article

      The Sacred, Spherical Cows of Physics: Theoretical physics milks symmetry to power its newest tool.

      May 1, 2014

      Early in their training, many physics students come across the idea of spherical cows. Cows in the real world—even at their most plump and well-fed—are hardly spherical, and this makes it tricky to calculate things like, say, how their volume or surf

      11 min read

    • Article

      Why Mathematicians Should Stop Naming Things After Each Other

      Sep 2, 2020

      Any student of modern math must know what it feels like to drown in a well of telescoping terminology. For a high-profile example, let’s take the Calabi-Yau manifold, made famous by string theory. A Calabi-Yau manifold is a compact, complex Kähler ma

      6 min read

    • Article

      Kolmogorov Complexity and Our Search for Meaning

      Aug 2, 2018

      Was it a chance encounter when you met that special someone or was there some deeper reason for it? What about that strange dream last night—was that just the random ramblings of the synapses of your brain or did it reveal something deep about your u

      8 min read

    • Article

      Behind Bitcoin Plunge: Question Of Trust Lingers For Cryptocurrency

      Jun 2, 2022

      It has been a red-ink spring for American investors. Rattled by real-world inflation, shortages, and war, stock markets in the United States and around the world have stumbled. In the world of digital money known as cryptocurrency, the losses are far

      5 min read

    • Article

      Chaos Makes the Multiverse Unnecessary

      Nov 29, 2018

      Scientists look around the universe and see amazing structure. There are objects and processes of fantastic complexity. Every action in our universe follows exact laws of nature that are perfectly expressed in a mathematical language. These laws of n

      17 min read

    • Article

      The Twin Prime Hero: Rags, riches, and fame in mathematics.

      Dec 29, 2016

      Yitang “Tom” Zhang spent the seven years following the completion of his Ph.D. in mathematics floating between Kentucky and Queens, working for a chain of Subway restaurants, and doing odd accounting work. Now he is on a lecture tour that includes st

      8 min read

    • Article

      Le Persone Ele Cose / People And Things

      Oct 24, 2022

      Nel 1983 Ettore Scola dirige Le bal, pellicola derivata da una pièce teatrale di Jean-Ciaude Penchenat del 1980, che vi prende anche parte come attore. II film è privo di dialoghi e si svolge tutto nell'ambiente di una balera parigina in un arco di N

      10 min read

    • Article

      Quantum Mechanics 101

      Dec 5, 2019

      Quantum Mechanics 101
      7 min read

    • Article

      Why Computers Will Never Write Good Novels: The power of narrative flows only from the human brain.

      Feb 10, 2021

      You’ve been hoaxed. The hoax seems harmless enough. A few thousand AI researchers have claimed that computers can read and write literature. They’ve alleged that algorithms can unearth the secret formulas of fiction and film. That Bayesian software c

      12 min read

    • Article

      A Quantum Leap

      Dec 18, 2020

      A Quantum Leap
      11 min read

    • Article

      A Quantum Leap

      Dec 18, 2020

      A Quantum Leap
      11 min read

    • Article

      Numismatics and Nanotechnology

      Jan 20, 2023

      Nanotechnology involves science and applications on the scale of a nanometer, which is one-billionth of a meter. To give you some idea of size, a cube measuring one nano-meter on a side would hold 176 hydrogen atoms. It might be easier to visualize t

      2 min read

    • Article

      The Joy of Condensed Matter

      Feb 24, 2021

      Everyone seems to be talking about the problems with physics: Peter Woit’s book Not Even Wrong, Lee Smolin’s The Trouble With Physics, and Sabine Hossenfelder’s Lost in Math leap to mind, and they have started a wider conversation. But is all of phys

      7 min read

    • Article

      No Easy Way To Mastery

      May 22, 2022

      No Easy Way To Mastery
      2 min read

    • Article

      Did You Know?

      Sep 5, 2019

      Did You Know?
      4 min read

    • Article

      A.I. Has Grown Up and Left Home: It matters only that we think, not how we think.

      Jan 22, 2015

      The history of Artificial Intelligence,” said my computer science professor on the first day of class, “is a history of failure.” This harsh judgment summed up 50 years of trying to get computers to think. Sure, they could crunch numbers a billion ti

      9 min read

    • Article

      Is the Universe Open-Ended?

      Jun 16, 2021

      One of my favorite albeit heavily paraphrased quotes from Albert Einstein is his assertion that the most incomprehensible thing about the universe is that it is comprehensible. (What he actually said, in his 1936 work “Physics and Reality,” is more l

      7 min read

    Related categories

    Reviews for The Great Formal Machinery Works

    0 ratings

    0 ratings0 reviews

    What did you think?

    Tap to rate

    Review must be at least 10 words

      Book preview

      The Great Formal Machinery Works - Jan von Plato

      Enjoying the preview?
      Page 1 of 1