A short history of small machines - Université de Lille Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2016

A short history of small machines


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.
Fichier principal
Vignette du fichier
SS_draft4.pdf (221.11 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01345592 , version 1 (14-07-2016)
hal-01345592 , version 2 (04-09-2017)
hal-01345592 , version 3 (05-06-2018)


  • HAL Id : hal-01345592 , version 1


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


1083 Consultations
1059 Téléchargements


Gmail Facebook X LinkedIn More