The Philosophy of Computer
Science
Raymond Turner
The Philosophy of Computer Science is concerned with
philosophical issues that arise from reflection upon the nature and practice of
the academic discipline of computer science. In this sense, it parallels the
philosophies of mathematics and physics in being a parasitic philosophical
discipline. But while physics and mathematics are well established disciplines,
with broad agreement concerning their subject matter, computer science is new,
its very nature unfixed and unclear. So part of the task will be to provide a
somewhat clearer view of the content and personality of the subject.
·
The Philosophy of
Computer Science Stanford Encyclopedia of Philosophy
· Understanding Programming Languages Journal Minds and Machines
· The Meaning of Programming Languages
·
Programming
Languages as Mathematical Theories
·
Syntax and
Semantics: the Languages of Computer Science Ecap09.
· Specification. Journal Minds and Machines.
· Specification and Computation IACAP 2011