Collection
tools for thought
Updated 2d
Collection
Updated 2d
Notation as a Tool of Thought
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.
The Technological Turn in Mathematics
J Notation as a Tool of Thought
Prof. Judy Fan: Cognitive Tools for Making the Invisible Visible
Media for Thinking the Unthinkable
Kill Math
Using spaced repetition systems to see through a piece of mathematics