4 ms·
Although not strictly a talk, I would highly recommend the first of the SICP lectures[0], if only to expand your thinking about what computer science: "I'd lik
by otras 8y ago
Although not strictly a talk, I would highly recommend the first of the SICP lectures[0], if only to expand your thinking about what computer science:
"I'd like to welcome you to this course on Computer Science. Actually that's a terrible way to start. 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. We'll actually see that computer so-called science actually has a lot in common with magic. We will see that in this course. So it's not a science. It's also not really 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 microscopes and petri dishes. And it's not about computers in the same sense that geometry is not really about using a surveying instruments."
[0]: https://www.youtube.com/watch?v=2Op3QLzMgSY https://www.youtube.com/watch?v=2Op3QLzMgSY
- mlevental 8y agocan someone please convince me that the use of the word "magic" is justified? yes I know sicp is universally exalted in the cs/programming community and even though I haven't read it yet I support the principle of a principled approach to computation (it's math after all in the purest sense) but I can't support the infantilism of words like magic and the wizard on the cover of the book because the two themes are directly in opposition. there is no magic and clear rigorous analysis of programs is very fruitful.
- brilee 8y agoThere's an aphorism: "objects are a poor man's closure; closures are a poor man's object". When I got to the point in SICP where I understood that, the word "magic" was very definitely justified :)
- lcuff 8y agoWatching the SICP lectures, I had a moment of "I totally did not see that coming", with triple exclamation marks. The ability to do astonishing things with so little code justifies the word magic to me. Also magic as sleight-of-hand is not infantile to me, either. It's ingenious and practice, practice practice in order to astonish the audience.
- gmiller123456 8y agoMaybe it's just me (I haven't actually read the book), but I don't see the guy on the cover as a wizard. He's holding a pair of dividers which I associate much more with a craftsman or study of geometry. I just assumed the clothing was a style I didn't understand.
- Lordarminius 8y agoYou're right, it occurred to me as well. He looks more like a 14th / 15th century european scholar than a neocromancer.
- enkiv2 8y agoHe's an alchemist. The original version of the illustration says salve/coagulate rather than eval/apply.
- yesenadam 8y agoeven though I haven't read it yet Maybe there's your answer.
- enkiv2 8y agoCrowley defines magick as the execution of Will upon the world. Programming is actually a better fit for this particular definition than most of the western-occult-tradition ritual stuff Crowley himself was doing (including the enochian stuff). Somebody with only a shallow pop-culture understanding of occult tradition is bound to associate it with fuzzy thinking & children's media. The use of alchemical metaphors in SICP indicates that the authors have at least some familiarity with the history of magick, though. The most important figures in the western occult tradition were mathematicians (like Dee) or invented early computational or permutational devices (like Llul). Magick is very firmly bound up in this kind of mathematical thinking. On the other side, the mathematical foundations of computing come out of mathematicians who had occult justifications: Godel (and Cantor before him) was a mathematical platonist who dabbled in gematria, and his work on computability was part of the ars magna for him. (In case you're not up on the history, Turing's work on universal turing machines was an attempt to rephrase Godel's incompleteness in a way that was accessible to non-mathematicians, and his later work with Church proving the equivalence between Godel's model and lambda calculus was built upon this work. While computing machines predated this formal basis, the formal basis is pretty important -- we all learned it in college, after all!)