When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science

DOI10.1080/01445340.2015.1084183zbMath1355.68014OpenAlexW2219752990WikidataQ58599101 ScholiaQ58599101MaRDI QIDQ2963950

No author found.

Publication date: 22 February 2017

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2434/588790

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) History of computer science (68-03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Number crunching vs. number theory: computers and FLT, from Kummer to SWAC (1850--1960), and beyond
• A set of postulates for the foundation of logic. II
• On certain formal properties of grammars
• Recursive functions of symbolic expressions and their computation by machine, Part I
• Haskell before Haskell: an alternative lesson in practical logics of the ENIAC
• Computer Science and Its Relation to Mathematics
• The Science of Computing
• A constructive approach to the problem of program correctness
• An axiomatic basis for computer programming
• An Unsolvable Problem of Elementary Number Theory
• A note on the Entscheidungsproblem
• Finite combinatory processes—formulation
• On Computable Numbers, with an Application to the Entscheidungsproblem