Notation is not a way of writing thoughts down — it is a technology that determines which thoughts are available to be had. Starting from Iverson's 1979 Turing Award lecture, this collection gathers the argument's ancestors, elaborations, and its opponents: Nielsen and Matuschak on media as cognitive infrastructure, Bret Victor's case against symbol manipulation, and empirical work on representation as a cognitive tool. Open to contributions.

Interesting new website I have found, on education