Gerry Sussman has a really good talk touching on [2]. It was surprising to me that his real interests are in classical mechanics but he uses computation as a to

Gerry Sussman has a really good talk touching on [2]. It was surprising to me that his real interests are in classical mechanics but he uses computation as a tool to convey the ideas.