Histories of Computing

@inproceedings{Mahoney2011HistoriesOC,
  title={Histories of Computing},
  author={Michael S. Mahoney and Thomas Haigh},
  year={2011}
}
Computer technology is pervasive in the modern world, its role ever more important as it becomes embedded in a myriad of physical systems and disciplinary ways of thinking. The late Michael Sean Mahoney was a pioneer scholar of the history of computing, one of the first established historians of science to take seriously the challenges and opportunities posed by information technology to our understanding of the twentieth century.Mahoneys work ranged widely, from logic and the theory of… 
Towards a Historical Notion of ‘Turing—the Father of Computer Science’
TLDR
In this paper, attempts are made to reconstruct networks of scholars and ideas prevalent in the 1950s, and to identify a specific group of actors interested in theorizing about computations in computers and attracted to the idea of language as a frame in which to understand computation.
"The Computer Does Not Believe in Tears": Soviet Programming, Professionalization, and the Gendering of Authority
By the middle of the 1960s, the Soviet press routinely exalted computers as the “machines of communism,” and the new programming profession had become familiar enough to make a programmer the main
From Ancient to Modern Computing: A History of Information Hiding
This article proposes a methodological approach to the historiography of computing in terms of information hiding--that is, the introduction of levels of abstraction (LoAs) between the human being
Assembling a prehistory for formal methods: a personal view
  • T. Haigh
  • Computer Science
    Formal Aspects of Computing
  • 2019
TLDR
Haigh explores some relevant ideas from academic history, sketches historical connections between formal methods and other areas of computer science, and concludes with some suggestion for and challenges to formal methods participants who aim to tell the story of their field.
Less Is More in the Fifties: Encounters between Logical Minimalism and Computer Design during the 1950s
This article frames some important computing developments of the 1950s, connecting them to two older traditions, one within (mathematical) logic and one within engineering. Both traditions could be
Three Debates about Computing
TLDR
Three debates that are central in understanding how computing as a discipline developed to what it is now are presented: the formal verification debate, the software engineering debate, and the experimental computer science debate.
Editorial
  • Art
  • 2013
It is a deep curiosity of history that related things seem often to occur together, in clumps, at more or less the same time. Sometimes a causal relation makes sense, but often it does not, and when
Moving Parts: Digital Modeling and the Infrastructures of Shakespeare Editing
Abstract:This essay asks what bibliographical and book-history perspectives can reveal when applied to digital editions themselves as artifacts in the long continuum of Shakespeare editing. What is
Algol in France: From Universal Project to Embedded Culture
TLDR
This article provides an analysis of the main French actors involved in the global Algol endeavor--small groups of computer scientists who became interested in this project, appropriated it, and participated in its evolution, either within academic laboratories, R&D departments of computer companies, user organizations, or learned societies.
Conditional inequalities : American pure and applied mathematics, 1940-1975
This study investigates the status of mathematical knowledge in mid-century America. It is motivated by questions such as: when did mathematical theories become applicable to a wide range of fields
...
...