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-6MaRDI QIDQ1622657zbMATH OpenOpenAlexFDO

Authors Craig Smoryński

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

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

Cites work

• scientific article; zbMATH DE number 2123258 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3422323 (Why is no real title available?)
• Logical number theory I. An introduction
• Skolem's solution to a problem of Frobenius
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Cited in

(1)

• scientific article; zbMATH DE number 5029307 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1622657)