Notation as a tool of thought

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Array programming with NumPy (2020, background): “array([1, 2, 3])”
History of Interactive Theorem Proving (2014, background): “The language we use can often significantly influence our thoughts, whether it be natural language, mathematical notation or a programming language [Iverson, 1980].”