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 / /