The early days of German and Swiss programming have been integrated into computing folklore as part of the prehistory of ALGOL. However, this narrative has bundled the many ways of trying to think about computing and programming in the German-speaking …
This article explores the entanglement of logic and computing by focusing on the activity of writing. Although mathematical logic is sometimes cast as the immaterial spirit of the computer’s material body, the study of logic also takes place in t…
This article reinterprets algorithmic rationality by looking at the interaction between mathematical logic, mechanized reasoning, and, later, computing in the Russian Imperial and Soviet contexts to offer a history of the algorithm as a mathematical ob…
Prospective authors are requested to submit new, unpublished manuscripts for inclusion in the upcoming event described in this call for papers.
This article reinterprets algorithmic rationality by looking at the interaction between mathematical logic, mechanized reasoning, and, later, computing in the Russian Imperial and Soviet contexts to offer a history of the algorithm as a mathematical ob…
The history of the computing community lost one of its early leaders in September 2021 with the passing of Arthur Norberg [1]. He was born in 1938 into a working-class Irish family in Providence, RI. He attended on scholarship a private religious acade…
From 1981 until 1999, while I was a consultant to Sterling Software, Inc., the company grew from a startup that bought four computer software companies for less than US$25 million to an international computer software and services powerhouse. During th…
Astriking feature of the debates around the perceived software crisis in the 1960s and 1970s is the frank contempt expressed by some elite computer scientists for much work in the fields of programming and programming language design. The writings of c…
From its beginning in the 1950s, noncomputing academics were skeptical about computer science because it seemed strong on technology and weak on theory. To answer the critics and shore up their case, computer scientists turned to a rich trove of comput…