Graduate Student Colloquium
Maxwell Levine
UIC
Accessing the Inaccessible: How I Learned to Stop Worrying and Love Large Cardinals
Abstract: Gödel's Incompleteness Theorems tell us that there are true statements in mathematics that the Zermelo-Fraenkel axioms of set theory cannot prove, and some of these questions require the use of large cardinal axioms to resolve them. I will motivate the classical development of large cardinals with some naturally-occurring questions. Some light proofs will be presented to give a sense of combinatorial flavor. The audience does not need any detailed knowledge of set theory, but should be familiar with Cantor's diagonal argument.
Pizza and drinks will be provided.
Monday September 12, 2016 at 1:00 PM in SEO 636