Back to Results
First PageMeta Content
Turing machine / Models of computation / Computability theory / Alan Turing / Register machine / Computability / Computer / Logic / Computable number / Theoretical computer science / Theory of computation / Computer science


A short history of small machines Liesbeth De Mol1? and Maarten Bullynck2 1 Center for Logic and Philosophy of Science, University of Ghent, Blandijnberg 2, 9000 Gent, Belgium
Add to Reading List

Document Date: 2012-01-31 05:13:11


Open Document

File Size: 124,53 KB

Share Result on Facebook

City

New York / Paris / Berlin / London / Gent / /

Company

Lincoln Laboratory / MIT Press / Cables Limited / Naval Ordnance Laboratory / Division 6 Lincoln Laboratory / /

Continent

Europe / /

Country

Germany / Belgium / United States / United Kingdom / /

/

Facility

Lincoln Laboratory / Charles Babbage Institute / University of Minnesota / University of Ghent / /

IndustryTerm

symbolic on-line assembly language / machinery / personal computing / universal computational devices / formal devices / possible applications / memory devices / theoretical tools / axiom systems / pedagogic tool / universal devices / computing / addition and multiplication facilities as hardware / theoretical devices / /

Organization

London Mathematical Society / Charles Babbage Institute / MIT / Center for Logic and Philosophy of Science / University of Minnesota / Minneapolis / Fund for Scientific Research / University of Ghent / United Nations Educational Scientific and Cultural Organization / /

Person

Robert W. Doran / Konrad Zuse / Hao Wang / Brian E. Carpenter / Moses Sch / Hilbert / Wesley A. Clark / W.L. van der Poel / Alan M. Turing / Maurice Margenstern / Andrew Hodges / Haskell B. Curry / Martin Davis / /

Position

general research programme / engineer / model / same reading head for either reading or writing / Straight-forward / programmer / main engineer / /

Product

Lincoln TX-2 / /

ProvinceOrState

Minnesota / New York / /

PublishedMedium

Journal of the ACM / Mathematische Annalen / Philosophy of Science / Theoretical Computer Science / /

SocialTag