>>9
I don't think this is what Sussman is talking about as evidenced by the fact that he's interested in teaching using Scheme, and explicitly mentions in the paper running the program, but this was exactly my point. The natural conclusion seems to be that computing is in fact unnecessary, and that writing in a notation designed for understanding rather executing algorithms is even more beneficial. I say hoare logic, and you say pseudocode but really the point is the same.
~~ while we're on the topic of Sussman, what the fuck is this: https://mitpress.mit.edu/books/structure-and-interpretation-computer-programs-1 ~~