Accéder directement au contenu Accéder directement à la navigation
Pré-publication, Document de travail

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.
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.univ-lille.fr/hal-01345592
Contributeur : Liesbeth de Mol <>
Soumis le : jeudi 14 juillet 2016 - 13:19:06
Dernière modification le : mardi 24 août 2021 - 16:20:02

Fichier

SS_draft4.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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⟩

Partager

Métriques

Consultations de la notice

136

Téléchargements de fichiers

185