コンピューターサイエンスはサイエンスか？

ファインマン先生の講義

初期段階において量子コンピュターの可能性を提言したファインマンの 今はなき？ベル研究所でのトーク。ファインマンがコンピューターサイエンスはサイエンスでないといったところで大爆笑そして拍手喝さいの大盛り上がりである。

Computer science... differs from physics in that it is not actually a science. It does not study natural objects. Neither is it, as you might think, mathematics; although it does use mathematical reasoning pretty extensively. Rather, computer science is like engineering; it is all about getting something to do something, rather than just dealing with abstractions, as in the pre-Smith geology.

Richard Feynman, Feynman Lectures on Computation, 1970

さらにコンピューターサイエンスはコンピューターに関する学問でもない？

[Computer science] is not really about computers and it's not about computers in the same sense that physics is not really about particle accelerators, and biology is not about microscopes and Petri dishes... and geometry isn't really about using surveying instruments. (Hal Abelson)

　Now the reason that we think computer science is about computers is pretty much the same reason that the Egyptians thought geometry was about surveying instruments: when some field is just getting started and you don't really understand it very well, it's very easy to confuse the essence of what you're doing with the tools that you use

-- Hal Abelson (1986) Lecture

そして数学との違い

動画でもコメントしてるのだが・・・

The computer revolution is a revolution in the way we think and in the way we express what we think. The essence of this change is the emergence of what might best be called procedural epistemology -- the study of the structure of knowledge from an imperative point of view, as opposed to the more declarative point of view taken by classical mathematical subjects. Mathematics provides a framework for dealing precisely with notions of ``what is.'' Computation provides a framework for dealing precisely with notions of ``how to.''

Structure and Interpretation of Computer Programs -- by Hal Abelson et al,

http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-7.html#%_chap_Temp_4