>>13
"Computer Science" is a terrible name for this business,
first of all, it's not a "science", it might be "engineering" or it might be "art", but I actually see that computer, so-called science, has a lot in common with magic.
So it's not a science, it's also not very much about computers.
And it's not about computers in the same sense that physics is not really about particle accelerators; and biology is not really about microscope and petri dishes; and it's not about computer in the same sense that geometry is not really about using surveying instrument.
In fact, there is a lot of commonality between computer science and geometry. Geometry, first of all, is another subject with a lousy name, for the name comes from gaia, meaning the Earth, and metro- meaning 'to measure'. Geometry originally meant measuring Earth, or surveying. The reason for that was that thousands of years ago, the Egyptian priesthood developed the rudiment of geometry in order to figure out how to restore the boundaries of fields that were destroyed by the annual flood of the Nile. And to the Egyptians who did that, Geometry really was the use of surveying instruments.
Now the reason that we think computer science is about computers is pretty much the same reason the Egyptians thought Geometry was about surveying instruments and that is, when some field is just getting started and you don't really understand it very well its very easy to confuse the essence of what you're doing with the tools that you use and indeed, on some absolute scale of things we probably know less about the essence of Computer Science than the ancient Egyptians really knew about Geometry.
Well what do I mean by the "essence" of Computer Science, what do I mean by the "essence" of Geometry? See it's certainly true that these Egyptians went off and used surveying instruments but when we look back on them after a couple of thousand years, we say gee, what they were doing, the important stuff they were doing, was begin to formalize notions about space and time, to start a way of talking about mathematical truths formally. That led to the axiomatic method, that led to sortof all of modern mathematics.