The philosophy of computer science: Introduction to the special issue

被引：6

作者：

Turner, Raymond ^{[1
]}

Eden, Amnon H. ^{[1
]}

机构：

[1] Univ Essex, Dept Comp Sci, Colchester CO4 3SQ, Essex, England

来源：

MINDS AND MACHINES | 2007年 / 17卷 / 02期

关键词：

Computer Science; Computable Function; Information Hiding; Physical Machine; Philosophical Issue;

D O I：

10.1007/s11023-007-9059-1

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Computer science has a significant role in the meta-activity associated with programming such as with the design and development of tools and methodologies that facilitate and aid the specification, development, implementation, and analysis of computing systems. The three caricaturing paradigms for computer science include the mathematical, the engineering, and the scientific. The first paradigm takes computer science to be a branch of mathematics, the second takes it to be a scientific discipline, and the last largely as an engineering endeavor that is stripped from any scientific and mathematical underpinnings. The semantics of programming languages also provides a new branch of the platonist/formalist debate. Every Turing computable function is also quantum computable and no quantum algorithm has been shown to compute a non-Turing computable function.

引用

页码：129 / 133

页数：5

共 6 条

[1]

Arkoudas K., Bringsjord S., Computers, justification, and mathematical knowledge, Minds and Machines, this vo, (2007)

[2]

Col burn T., Shute G., Abstraction in computer science, Minds and Machines, this vo, (2007)

[3]

Copeland B.J., Shagrir O., Physical computation: How general, are Gandy's Principles for mechanisms?, Minds and Machines, this vo, (2007)

[4]

Eden A.H., Three paradigms of computer science, Minds and Machines, this vo, (2007)

[5]

Hagar A., Quantum algorithms-philosophical lessons, Minds and Machines, this vo, (2007)

[6]

Turner R., Understanding programming languages, Minds and Machines, this vo, (2007)

← 1 →