On Notation: Principles and Impact in Computing

Name: On Notation: Principles and Impact in Computing
Uploaded: 2026-10-07T20:30:31.000Z
Duration: 1 h 10 min 12 s
Channel: Pat Hanrahan
Description: Turing Award laureate Pat Hanrahan explores why syntax and notation matter more than computer scientists think.

Pat Hanrahan

⌘K

Play15s30s1x

Done

Expand

Lecture guide · Written by AI from the lecture. For the lecture’s own words, open the Transcript tab.

Turing Award laureate Pat Hanrahan examines the profound influence of notation and representation on computing and mathematics, drawing comparisons between mathematical notation, computer programming languages, and cognitive psychology. He explores how well-designed representations can dramatically reduce cognitive load and why syntactic choices matter just as much as semantics.

This lecture assumes

Asymptotic complexitytaught in Algorithmic Thinking & Peak Finding in 1D and 2D at 2:10

Key Takeaways

Syntax and representation are vital because they directly impact cognitive load, performance, and error rates.
Mathematical notation is historically ambiguous, inconsistent, and traditionally non-executable, which motivated pioneers like Ken Iverson to invent APL.
Tensors are fundamentally vector spaces with a tensor product, yet most practitioners rely solely on the Einstein summation convention without knowing the underlying semantics.
The representation effect demonstrates that two equivalent representations can have vastly different cognitive costs for human problem solvers.

Concepts Explained11

Einstein summation convention—If an index is repeated in an upper and lower position in a tensor expression, there is an implicit summation over that index.

Vector space—A set equipped with addition and scalar multiplication operations that satisfy specific algebraic properties like commutativity and associativity.

Tensor—A higher dimensional vector space formed from two vector spaces

V

and

W

using the tensor product

V \otimes W

with additional scaling and distribution laws.

Penrose diagrams—A diagrammatic notation for tensors where shapes represent tensors and wires represent contracted indices.

Examples, Proofs & Derivations

Works & Sources Cited11

Paper

History of Haskell—Part 2, Technical Contributions, 4. Syntax

Paper

The Foundation of the General Theory of Relativity—A. Einstein, 1916, cited for introducing the Einstein summation convention

Paper

Applications of Negative Dimensional Tensors—Roger Penrose, Birkbeck College, University of London

Paper

The Representations of Numbers—Zhang and Norman, Cognition, 57, 271-295, 1996. Analyzes cognitive costs of arithmetic with different number representations.

Paper

Notation as a Tool of Thought—Kenneth Iverson, Turing Award Lecture. Argues math notation is ambiguous, inconsistent, and not executable.

On Notation: Principles and Impact in Computing

About the lecturer

Discussion

Overview and Introduction to Lisp: Procedural & Symbolic Abstraction

Interfacing to Microworlds: Design Principles of SimCity, SimAnt, and The Sims

Could Computing Be Simpler Than It Seems To Be?

Making is Decision Making

Metacognitive Intelligence in Human-AI Teams

Shading Languages and Programmable Graphics Systems