Louise Hay Logic Seminar
Ryan Carpenter
UIC
Paradox, Cardinals, Gödel, and Cantor
Abstract: This sentence is false; or is it? In this talk, I will motivate a rather provincial viewpoint in the philosophy of mathematics (using Gödel's first incompleteness theorem) which embraces the existence of paradoxes, and I will detail one mathematician's attempt to take this viewpoint seriously. In doing so, we will discuss Cantor's theorem in both classical and paraconsistent settings, we'll investigate relevant set theory, and we'll do a bit of inconsistent reasoning along the way.
Thursday October 5, 2023 at 4:00 PM in 427 SEO