Setting-up early computer programs: D. H. Lehmer’s ENIAC computation [Book Review]

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

Abstract

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)

Categories

Keywords

Reprint years

DOI

10.1007/s00153-009-0169-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

From ENIAC to the stored program computer : two revolutions in computers.Arthur W. Burks - unknown
Some computers can add (even if the IBM 1620 couldn't): Defending eniac's accumulators against Dretske.Ronald E. Laymon - 1988 - Behaviorism 16 (1):1-16.
YAQ: a 360 assembler version of the algorithm Aq and comparison with other PL/I programs.Edward Yalow - 1977 - Urbana: Department of Computer Science, University of Illinois at Urbana-Champaign.
Logic and computation: interactive proof with Cambridge LCF.Lawrence C. Paulson - 1987 - New York: Cambridge University Press.
Toward computer-aided induction: a brief review of currently implemented AQVAL programs.Ryszard Stanisław Michalski - 1977 - Urbana: 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.
Deductive program verification (a practitioner's commentary).David A. Nelson - 1992 - Minds and Machines 2 (3):283-307.
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.
Alan Turing's Automatic Computing Engine: The Master Codebreaker's Struggle to build the Modern Computer.B. Jack Copeland (ed.) - 2005 - Oxford University Press.
Computation, among other things, is beneath us.Selmer Bringsjord - 1994 - Minds and Machines 4 (4):469-88.
Interior grounding, reflection, and self-consciousness.Marvin L. Minsky - 2005

Analytics

Added to PP
2013-11-23

Downloads
47 (#340,715)

6 months
13 (#201,401)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

‘A Pretence of What is Not’? A Study of Simulation(s) from the ENIAC Perspective.Liesbeth De Mol - 2019 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 27 (4):443-478.
„A pretence of what is not“? Eine Untersuchung von Simulation(en) aus der ENIAC-Perspektive.Liesbeth De Mol - 2019 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 27 (4):443-478.

Add more citations

References found in this work

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