Set Theory and the Philosophy of Set Theory

Joel David Hamkins, Professor of Logic, Oxford University This lecture is based on chapter 8 of my book, Lectures on the Philosophy of Mathematics, published with MIT Press, https://mitpress.mit.edu/books/lectures-philosophy-mathematics. Chapter 8. Set Theory We shall discuss the emergence of set theory as a foundation of mathematics. Cantor founded the subject with key set-theoretic insights, but Frege’s formal theory was naive, refuted by the Russell paradox. Zermelo’s set theory, in contrast, grew ultimately into the successful contemporary theory, founded upon a cumulative conception of the set-theoretic universe. Set theory was simultaneously a new mathematical subject, with its own motivating questions and tools, but it also was a new foundational theory with a capacity to represent essentially arbitrary abstract mathematical structure. Sophisticated technical developments, including in particular, the forcing method and discoveries in the large cardinal hierarchy, led to a necessary engagement with deep philosophical concerns, such as the criteria by which one adopts new mathematical axioms and set-theoretic pluralism.

TEXTUAL RESOURCES

#Comments

YOU NEED TO LOGIN IN ORDER TO COMMENT

other videos



video

17th-century philosophy of mathematics

video

Feynman: Mathematicians versus Physicists

video

Piergiorgio Odifreddi, Le tesi di Turing

video

Cantor's Paradox

video

Godel's Incompleteness Theorem (Doubting Math)

video

WI2010 - La solitudine dei numeri primi - prof. Piergiorgio Odifreddi

video

Geometry — a paragon of mathematical deduction?

video

Possibly the Best Rectangle in the World