A science of operations. Machines, logic and the invention of programming.

DOI10.1007/978-1-84882-555-0zbMath1227.68004OpenAlexW144257471MaRDI QIDQ625111

Mark Priestley

Publication date: 14 February 2011

Published in: History of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-84882-555-0

zbMATH Keywords

programming languageslogicinteractions between logic and computer science

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) History of computer science (68-03)

Related Items (9)

Types in Programming Languages, Between Modelling, Abstraction, and Correctness ⋮ Did Turing stand on Gödel's shoulders? ⋮ Towards a Historical Notion of ‘Turing—the Father of Computer Science’ ⋮ Pāṇini's Grammar and Modern Computation ⋮ History of mathematics: a global cultural approach. Abstracts from the workshop held December 13--19, 2020 (online meeting) ⋮ Turing's 1949 paper in context ⋮ Assembling a prehistory for formal methods: a personal view ⋮ Mathematics and Mechanical Computation ⋮ The Mathematical Origins of Modern Computing

Uses Software

• Smalltalk

This page was built for publication: A science of operations. Machines, logic and the invention of programming.