Setting-up early computer programs: D. H. Lehmer's ENIAC computation

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)

Roundtable discussion: "What does the history of IT have to say to media studies and computer science?"

DoctoralIn this short contribution I develop a position on the potential of interactions between history and philosophy of computing, computer science and media theor

Facing computing as technique: towards a history and philosophy of computing

We present the methodological principles underlying the scientific activities of the DHST Commission on the History and Philosophy of Computing. This volume collects refereed selected papers from the First International Conference organized by the Commission

On the boundaries of solvability and unsolvability in tag systems. Theoretical and Experimental Results

Several older and more recent results on the boundaries of solvability and unsolvability in tag systems are surveyed. Emphasis will be put on the significance of computer experiments in research on very small tag systems

Haskell before Haskell: Curry's contribution to programming (1946-1950)

This paper discusses Curry's work on how to implement the problem of inverse interpolation on the ENIAC (1946) and his subsequent work on developing a theory of program composition (1948-1950). It is shown that Curry anticipated automatic programming and that his logical work influenced his composition of programs

When logic meets engineering: introduction to logical issues in the history and philosophy of computer science

Introduction to a Journal Special issue on Logical Issues in the History and Philosophy of Computer Scienc

Usability and usefulness of a mobile health app for pregnancy-related work advice : mixed-methods approach

Acknowledgments The authors would like to thank all the pregnant participants who participated in the TA sessions and the employees of the obstetric care facilities. This pilot study received funding from ZonMw, the Netherlands Organization for Health Research and Development. This project is part of the Pregnancy and Birth Program.Peer reviewedPublisher PD