返信元:
> .. the reason that we think computer science is about computers is.. the same reason that the Egyptians thought geometry was about surveying.. when some field is.. getting started and you don't..understand.. it's.. easy to confuse the essence of what you're doing with the tools..[;] the important stuff.. was to begin to formalize notions about space and time,. a way of talking about mathematical truths formally. That led to the axiomatic method.. #ModernMathematics
#SussmanAndAbelson
My feeling is that this way of seeing "computer science" as "starting to learn how to formalize intuitions about process, how to do things, starting to develop a way to talk precisely about how-to knowledge.." can connect to #LancelotHogben's view of #Notation and how important it could be for everyone to be familiar with a notation for describing processes. My guess is that process notation could settle down into some sort of #Scheme language..