Archive for Mathematical Logic 49 (2):123-146 (2010)

A complete reconstruction of Lehmer’s ENIAC set-up for computing the exponents of p modulo two is given. This program served as an early test program for the ENIAC (1946). The reconstruction illustrates the difficulties of early programmers to find a way between a man operated and a machine operated computation. These difficulties concern both the content level (the algorithm) and the formal level (the logic of sequencing operations)
Keywords ENIAC  History of computer programs  Number theory  Derrick H. Lehmer
Categories (categorize this paper)
DOI 10.1007/s00153-009-0169-8
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 56,016
Through your library

References found in this work BETA

Calculating Instruments and Machines.Douglas R. Hartree - 1953 - Journal of Symbolic Logic 18 (4):347-347.
Classified.[author unknown] - 1977 - Proceedings and Addresses of the American Philosophical Association 50 (5):436-436.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Yaq: A 360 Assembler Version of the Algorithm Aq and Comparison with Other Pl/I Programs.Edward Yalow - 1977 - Department of Computer Science, University of Illinois at Urbana-Champaign.
Toward Computer-Aided Induction: A Brief Review of Currently Implemented Aqval Programs.Ryszard Stanisław Michalski - 1977 - Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
On Teaching Computer Ethics Within a Computer Science Department.Michael J. Quinn - 2006 - Science and Engineering Ethics 12 (2):335-343.
Human and Machine Logic: A Rejoinder.John R. Lucas - 1968 - British Journal for the Philosophy of Science 19 (2):155-6.
Programs in the Explanation of Behavior.Robert Cummins - 1977 - Philosophy of Science 44 (June):269-87.
Three Paradigms of Computer Science.Amnon H. Eden - 2007 - Minds and Machines 17 (2):135-167.
Minds, Brains, and Programs.John Searle - 1980 - Behavioral and Brain Sciences 3 (3):417-57.
Quantum Mechanics and Computation.Bart D’Hooghe & Jaroslaw Pykacz - 2004 - Foundations of Science 9 (4):387-404.


Added to PP index

Total views
32 ( #319,746 of 2,403,649 )

Recent downloads (6 months)
1 ( #550,229 of 2,403,649 )

How can I increase my downloads?


My notes