Some Philosophical Issues in Computer Science

Authors:
Amnon H. Eden
Affiliations:
School of Computer Science and Electronic Engineering, University of Essex, and Centre for Inquiry, Amherst, USA
Venue:
Minds and Machines
Year:
2011

Citing 17
Cited 0

Structure and interpretation of computer programs

Structure and interpretation of computer programs
Program verification: the very idea

Communications of the ACM
The emperor's old clothes

Communications of the ACM
Social processes and proofs of theorems and programs

Communications of the ACM
Laws of Software Evolution Revisited

EWSPT '96 Proceedings of the 5th European Workshop on Software Process Technology
Three Paradigms of Computer Science

Minds and Machines
Problems for a Philosophy of Software Engineering

Minds and Machines
Descartes Among the Robots

Minds and Machines
Program Verification and Functioning of Operative Computing Revisited: How about Mathematics Engineering?

Minds and Machines
Specification

Minds and Machines
Scientific Theories of Computational Systems in Model Checking

Minds and Machines
Decoupling as a Fundamental Value of Computer Science

Minds and Machines
Philosophy of Mind Is (in Part) Philosophy of Computer Science

Minds and Machines
Do Accelerating Turing Machines Compute the Uncomputable?

Minds and Machines
Computational Meta-Ethics

Minds and Machines
Sense and Reference on the Web

Minds and Machines
Significance of Models of Computation, from Turing Model to Natural Computation

Minds and Machines

Quantified Score

Hi-index	0.00

Visualization

Abstract

The essays included in the special issue dedicated to the philosophy of computer science examine new philosophical questions that arise from reflection upon conceptual issues in computer science and the insights such an enquiry provides into ongoing philosophical debates.