The stuff of my talk — and good deal of other stuff that I did not manage to cover for lack of time :D — is put up at github.
To view, you will need
- Freeplane to read the mindmaps
type File = [Byte]
def solvequadratic(a,b,c): Δ = b*b - 4*a*c α = (-b + sqrt(Δ))/(2*a) β = (-b - sqrt(Δ))/(2*a) return (α, β) >>> solvequadratic(1,-5,6) (3.0, 2.0) >>>
A computer is like a violin. You can imagine a novice trying first a phonograph and then a violin. The latter, he says, sounds terrible. That is the argument we have heard from our humanists and most of our computer scientists. Computer programs are good, they say, for particular purposes, but they aren't flexible. Neither is a violin, or a typewriter, until you learn how to use it.
Marvin Minsky – Programming clarifies poorly-understood and sloppily-formulated Ideas
Computer science is not a science and it has little to do with computers. Its a revolution in the way we think and in the way we express what we think. The essence of this change is procedural epistemology — the study of the structure of knowledge from an imperative point of view, as opposed to the declarative point of view taken by math.
Mathematics provides a framework for dealing precisely with notions of «what is»
Computation provides a framework for dealing precisely with notions of «how to»
Abelson and Sussman — Structure and Interpretation of Computer Programs
Computer Science is no more about computers than astronomy is about telescopes, biology is about microscopes or chemistry is about beakers and test tubes.
There is an essential unity of mathematics and computer science.