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-6zbMATH Open1402.00026OpenAlexW2891600137MaRDI QIDQ1622657FDOQ1622657

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Logical number theory I. An introduction
• Skolem's solution to a problem of Frobenius
• Title not available (Why is that?)

Cited In (1)

• Title not available (Why is that?)

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)