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

https://hal.univ-lille3.fr/hal-01345592
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

File

SS_draft4.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01345592, version 1

Collections

Citation

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

Share

Metrics

Record views

112

Files downloads

185