Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

A short history of small machines

Abstract : Logical minimalism is part of a more general research programme into the foundations of mathematics and logic that was carried out at the beginning of the 20th century. In the 1940s and 1950s, however, this tradition was redefined in the context of ‘computer science’ when computer engineers, logicians and mathematicians re-considered the problem of small(est) and/or simple(st) machines in the context of actual engineering practices. This paper looks into thisearly history of research on small symbolic and physical machines and ties it to this older tradition of logical minimalism. Focus will be on how the transition of symbolic machines into real computers integrates minimalist philosophies as parts of more complex computer design strategies.
Complete list of metadatas

Cited literature [29 references]  Display  Hide  Download
Contributor : Liesbeth de Mol <>
Submitted on : Thursday, July 14, 2016 - 1:19:06 PM
Last modification on : Tuesday, May 22, 2018 - 8:40:07 PM


Files produced by the author(s)


  • HAL Id : hal-01345592, version 1



Liesbeth de Mol, Maarten Bullynck, Edgar G. Daylight. A short history of small machines. 2016. ⟨hal-01345592v1⟩



Record views


Files downloads