Book review of: J. von Plato, The great formal machinery works. Theories of deduction and computation at the origins of the digital age

DOI10.1007/s00283-018-9830-6zbMath1402.00026OpenAlexW2891600137MaRDI QIDQ1622657

Craig Smorynski

Publication date: 19 November 2018

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00283-018-9830-6

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Research exposition (monographs, survey articles) pertaining to history and biography (01-02) History of computer science (68-03) General histories, source books (01A05) General topics in the theory of computing (68Q01) External book reviews (00A17)

Cites Work

• Skolem's solution to a problem of Frobenius
• Logical number theory I. An introduction
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Book review of: J. von Plato, The great formal machinery works. Theories of deduction and computation at the origins of the digital age