When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science
DOI10.1080/01445340.2015.1084183zbMATH Open1355.68014OpenAlexW2219752990WikidataQ58599101 ScholiaQ58599101MaRDI QIDQ2963950FDOQ2963950
Authors:
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
Collections of articles of miscellaneous specific interest (00B15) History of computer science (68-03) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70)
Cites Work
- A note on the Entscheidungsproblem
- An axiomatic basis for computer programming
- Title not available (Why is that?)
- On Computable Numbers, with an Application to the Entscheidungsproblem
- Recursive functions of symbolic expressions and their computation by machine, Part I
- On certain formal properties of grammars
- Haskell before Haskell: an alternative lesson in practical logics of the ENIAC
- An early history of recursive functions and computability from Gödel to Turing
- Title not available (Why is that?)
- A constructive approach to the problem of program correctness
- The science of computing: shaping a discipline
- A set of postulates for the foundation of logic. II
- An Unsolvable Problem of Elementary Number Theory
- Number crunching vs. number theory: computers and FLT, from Kummer to SWAC (1850--1960), and beyond
- Title not available (Why is that?)
- Finite combinatory processes—formulation
- Computer Science and Its Relation to Mathematics
Cited In (1)
This page was built for publication: When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2963950)
