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

History and Philosophy of Logic 36 (3):195-204 (2015)
  Copy   BIBTEX

Abstract

The birth, growth, stabilization and subsequent understanding of a new field of practical and theoretical enquiry is always a conceptual process including several typologies of events, phenomena an...

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,088

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Problems for a Philosophy of Software Engineering.Stefan Gruner - 2011 - Minds and Machines 21 (2):275-299.
Linear logic in computer science.Thomas Ehrhard (ed.) - 2004 - New York: Cambridge University Press.
An Introduction to Logical Theory.Aladdin M. Yaqub - 2013 - Peterborough, CA: Broadview Press.
Some Philosophical Issues in Computer Science.Amnon H. Eden - 2011 - Minds and Machines 21 (2):123-133.
Introduction to engineering ethics.Roland Schinzinger - 2000 - Boston: McGraw Hill. Edited by Mike W. Martin.
What is a logical system?Dov M. Gabbay (ed.) - 1994 - New York: Oxford University Press.
Miscomputation.Nir Fresco & Giuseppe Primiero - 2013 - Philosophy and Technology 26 (3):253-272.

Analytics

Added to PP
2015-12-16

Downloads
105 (#157,297)

6 months
3 (#550,572)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Giuseppe Primiero
Università degli Studi di Milano

Citations of this work

The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.
Computer Science as Immaterial Formal Logic.Selmer Bringsjord - 2020 - Philosophy and Technology 33 (2):339-347.

Add more citations

References found in this work

On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.
From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.
A note on the entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.

View all 19 references / Add more references