Topics in Mathematical Logic: Geometrical Paradoxes

9 units (3-0-6) | second term

This course will provide an introduction to the striking paradoxes that challenge our geometrical intuition. Topics to be discussed include geometrical transformations, especially rigid motions; free groups; amenable groups; group actions; equidecomposability and invariant measures; Tarski's theorem; the role of the axiom of choice; old and new paradoxes, including the Banach-Tarski paradox, the Laczkovich paradox (solving the Tarski circle-squaring problem), and the Dougherty-Foreman paradox (the solution of the Marczewski problem). Not offered 2026-27.