From Geometry to Algebra and Back Again: 4000 Years of Papers (2023) [video]

TL;DR: Mathematics evolved from innate spatial and counting abilities, formalized through symbolic notation that acts as a cognitive tool, progressing from ancient Babylonian arithmetic to modern algebraic concepts via key historical developments and cultural shifts. ## The Biological Roots of Mathematical Thought The speaker posits that mathematics is both explored and created by humans, rooted in our evolutionary capacities. Our survival historically depended on navigating 3D space, requiring planning and simulation of future states. This "geometric" ability is exemplified by the spatial reasoning of athletes like Simone Biles. The capacity to handle numbers and sequences appears in various animals, but algebraic thinking is uniquely human, tied to language and deliberative reasoning. ## Notation as a Thinking Engine The development of symbolic notation transformed mathematics from a biological capacity to a cultural artifact. Effective notation isn't just for communication; it becomes a "engine for thought," allowing ideas to be refined through formalism. The speaker advocates for viewing mathematical notation through the lens of modern programming languages, emphasizing design principles like orthogonal primitives, pure functionalism, recursion, and generic dispatch. ### A Protocol for Arithmetic A fundamental protocol for arithmetic involves: - **Core operations:** Addition, subtraction, multiplication, division. - **Key types:** Natural numbers (positive integers), integers (including negatives), and rational numbers (fractions). - **Crucial evolution:** The acceptance of negative numbers expanded the number line symmetrically around zero, allowing operations to be interpreted as translations and rotations in a new kind of space. ## Historical Evolution of Mathematical Notation ### Ancient Mesopotamia: Concrete to Abstract The earliest known arithmetic tools (~6000 years old) were tangible objects: clay "envelopes" containing token counters for trade. This evolved into impressing marks on clay tablets and eventually drawing numerals. They developed a base-60 (sexagesimal) positional system, unlike Roman numerals. Their work included: - Solving practical problems in land measurement and astronomy. - Advanced theoretical work, such as using the Pythagorean theorem (1500 years before Pythagoras), approximating irrational numbers like √2, and solving quadratic/cubic equations. - Techniques like Fourier-like analysis for astronomical predictions. ### Stagnation and Greek Formalism Around 1550 BCE, a collapse due to ecological and social factors led to a millennium of stagnation. While Greek mathematicians introduced formal proof (~600 BCE), their aversion to irrational numbers (deemed philosophically abhorrent) stalled progress. ### The Long Road to Modern Notation Progress was later carried by cultures in Persia, India (e.g., Brahmagupta), and the Islamic world (e.g., Al-Khwarizmi). A major breakthrough came in Renaissance Italy with the tentative acceptance of negative and imaginary numbers, despite initial resistance. The formalization of algebraic notation allowed for the systematic manipulation of symbols, enabling leaps like the solution of cubic equations (e.g., by Cardano) and the subsequent development of complex numbers. ## Conclusion The trajectory of mathematics is framed as a move from embodied, spatial reasoning to increasingly abstract symbolic systems. Each new number type (negatives, irrationals, complex numbers) revealed a new "space" for mathematical thought. The speaker argues that the optimal mathematical tool is a well-designed, machine-readable notation (i.e., a programming language) that aligns with our cognitive processes and allows us to apply our deepest innate capabilities to complex problems. Source: https://www.youtube.com/watch?v=1cRFfYQYGxE