Philosophy and computer science: Reflections on the program

In Terrell Ward Bynum & James Moor (eds.), The Digital Phoenix: How Computers Are Changing Philosophy. Blackwell. pp. 253 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Program verification, defeasible reasoning, and two views of computer science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
Philosophy and computer science: Reflections on the program verification debate.James H. Fetzer - 1998 - In Terrell Ward Bynum & James Moor (eds.), The Digital Phoenix: How Computers Are Changing Philosophy. Blackwell. pp. 253--73.
O związkach informatyki z matematyką.Izabela Bondecka-Krzykowska - 2010 - Filozofia Nauki 18 (1).
YAQ: a 360 assembler version of the algorithm Aq and comparison with other PL/I programs.Edward Yalow - 1977 - Urbana: Department of Computer Science, University of Illinois at Urbana-Champaign.
Human and machine logic: A rejoinder.John R. Lucas - 1968 - British Journal for the Philosophy of Science 19 (2):155-6.
Deductive program verification (a practitioner's commentary).David A. Nelson - 1992 - Minds and Machines 2 (3):283-307.
Universe creation on a computer.Gordon McCabe - 2004 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 36 (4):591-625.
Philosophical aspects of program verification.James H. Fetzer - 1991 - Minds and Machines 1 (2):197-216.
Miscomputation.Nir Fresco & Giuseppe Primiero - 2013 - Philosophy and Technology 26 (3):253-272.
Some Philosophical Issues in Computer Science.Amnon H. Eden - 2011 - Minds and Machines 21 (2):123-133.
Co łączy umysł z teorią liczb?Paweł Stacewicz - 2012 - Filozofia Nauki 20 (3).
Electronic Media Review.Michael B. Burke - 2006 - Teaching Philosophy 29 (3):255-260.

Analytics

Added to PP
2014-02-01

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references