Do numbers exist? - Mathematician explains | Joel David Hamkins and Lex Fridman

Quick Overview

The discussion concludes that numbers, as abstract mathematical concepts, exist independently of the symbols (numerals) used to represent them, though structuralist philosophy in mathematics, exemplified by Frege's program, struggles to define the essence of a number without relying on its representation or structure, leading to unresolved philosophical problems like the Julius Caesar problem.

Key Points: Numbers are abstract mathematical concepts representing quantity, size, or position, distinct from the specific symbols or numerals used to express them. The Cantor-Hume Principle defines numerical equality: two collections have the same number if their elements can be matched one-to-one with nothing left unmatched. Philosopher Gottlob Frege attempted to reduce mathematics to logic, specifically seeking to define the nature of numbers based on logical principles. A key critique of structuralism in mathematics is the 'Julius Caesar problem': if a number's essence is its role in a structure, it is unclear how to determine if a specific entity, like Julius Caesar, is that number. The guest suggests that the structure of the natural numbers (0, 1, 2, 3, 4...) is isomorphic to the structure of any other system that satisfies the same structural properties, implying the essence is structural, not material. The conversation highlights that while the number 17 is perfectly fine in the natural number system, substituting it with Julius Caesar in that role for a different but isomorphic structure would not change the mathematical validity of the structure itself.

Context: This segment of the Lex Fridman Podcast features a discussion between Lex Fridman and a mathematician (implied to be Joel David Hamkins based on the title) concerning the philosophy of mathematics, specifically debating the ontological status of numbers—whether they are abstract entities or merely structural roles. The conversation centers on differentiating between a 'number' (the concept) and a 'numeral' (the symbol), referencing foundational mathematical philosophy, including Gottlob Frege's attempt to ground arithmetic in logic and the implications of structuralism.