From Calculus to Code: Sussman's Mathematical Revolution

Amazing lecture by Sussman on programming as formal mathematical statements and replacement for imperfect symbolism in calculus:

Discussion