Paper Machines

DOI10.1093/philmat/3.1.5zbMath0851.03010OpenAlexW4254427418MaRDI QIDQ4859235

Daniele Mundici, Wilfried Sieg

Publication date: 2 January 1996

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/6a280c748297b4ad8e34b255a40b24e675b8b339

zbMATH Keywords

Turing machineseffective computabilityanalysis of computationanalytical enginesmechanical calculatorsoperations of physically realizable machinespaper machinesphysical limits to acceleration and complexity of computation

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Turing machines and related notions (03D10) History of computer science (68-03)

Related Items

On mind \& Turing's machines, Step by Recursive Step: Church's Analysis of Effective Calculability