Archive for Mathematical Logic 49 (2):123-146 (2010)
| 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)
|
| Keywords | ENIAC History of computer programs Number theory Derrick H. Lehmer |
| Categories | (categorize this paper) |
| DOI | 10.1007/s00153-009-0169-8 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 56,016
External links
- From the Publisher via CrossRef (no proxy)
- hdl.handle.net
(no proxy) - link.springer.com (no proxy)
- link.springer.com [2] (no proxy)
- biblio.ugent.be (no proxy)
- biblio.ugent.be [2] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
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.
Citations of this work BETA
‘A Pretence of What is Not’? A Study of Simulation(s) From the ENIAC Perspective„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.
Programming Primes : A Paradigmatic Program and Its Incarnations in the Age of Structured Programming.Maarten Bullynck - 2015 - History and Philosophy of Logic 36 (3):229-241.
Similar books and articles
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 - Department of Computer Science, University of Illinois at Urbana-Champaign.
Logic and Computation: Interactive Proof with Cambridge Lcf.Lawrence C. Paulson - 1987 - Cambridge University Press.
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.
Deductive Program Verification (a Practitioner's Commentary).David A. Nelson - 1992 - Minds and Machines 2 (3):283-307.
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.
Analytics
Added to PP index
2013-11-23
Total views
32 ( #319,746 of 2,403,649 )
Recent downloads (6 months)
1 ( #550,229 of 2,403,649 )
2013-11-23
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?
Downloads
