bs2 · @bsmall2
195 followers · 3346 posts · Server mstdn.jp

> .. 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..

#SussmanAndAbelson #ModernMathematics

Last updated 2 years ago

bs2 · @bsmall2
195 followers · 3346 posts · Server mstdn.jp

> The “analysis-by-synthesis” view of SICP — where you build a larger system out of smaller, simple parts — became irrelevant. Nowadays, we do .
lambda-the-ultimate.org/node/5

#SussmanAndAbelson #ProgrammingEducation #scip #scheme #GerrySussman #ProgrammingByPoking

Last updated 2 years ago