- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Setting-up early computer programs: D. H. Lehmer’s ENIAC computation
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).Other Versions
No versions found
My notes
Similar books and articles
Setting-up early computer programs: D. H. Lehmer’s ENIAC computation. [REVIEW]Maarten Bullynck & Liesbeth De Mol - 2010 - Archive for Mathematical Logic 49 (2):123-146.
„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.
Hardness assumptions in the foundations of theoretical computer science.Jan Krajíček - 2005 - Archive for Mathematical Logic 44 (6):667-675.
Forcing with quotients.Michael Hrušák & Jindřich Zapletal - 2008 - Archive for Mathematical Logic 47 (7-8):719-739.
The polarized Ramsey’s theorem.Damir D. Dzhafarov & Jeffry L. Hirst - 2009 - Archive for Mathematical Logic 48 (2):141-157.
Preface.Douglas Cenzer, Valentina Harizanov, David Marker & Carol Wood - 2009 - Archive for Mathematical Logic 48 (1):1-6.
Two stars.Janusz Pawlikowski & Marcin Sabok - 2008 - Archive for Mathematical Logic 47 (7-8):673-676.
Erratum: “Forcing and antifoundation”. [REVIEW]Athanassios Tzouvaras - 2005 - Archive for Mathematical Logic 44 (5):663-663.
Analytics
Added to PP
2017-02-22
Downloads
12 (#1,425,040)
6 months
2 (#1,316,056)
2017-02-22
Downloads
12 (#1,425,040)
6 months
2 (#1,316,056)
Historical graph of downloads
Citations of this work
Unsharp Humean Chances in Statistical Physics: A Reply to Beisbart.Luke Glynn, Radin Dardashti, Karim P. Y. Thebault & Mathias Frisch - 2014 - In M. C. Galavotti, New Directions in the Philosophy of Science. Cham: Springer. pp. 531-542.
On the Logical Positivists' Philosophy of Psychology: Laying a Legend to Rest.Sean Crawford - 2014 - In Thomas Uebel, New Directions in the Philosophy of Science. Cham: Springer. pp. 711-726.
Pluralists about Pluralism? Versions of Explanatory Pluralism in Psychiatry.Jeroen Van Bouwel - 2014 - In Thomas Uebel, New Directions in the Philosophy of Science. Cham: Springer. pp. 105-119.
„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.
De l’analyseur différentiel à l’ordinateur : le parcours de Douglas R. Hartree (1897-1958).Marie-José Durand-Richard - 2018 - Revue de Synthèse 139 (3-4):289-326.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-99fc7d78b-qtxsx uwo