Ryan Carpenter : Paradox, Cardinals, Gödel, and Cantor

Posted by Ryan Carpenter , part of the Louise Hay Logic Seminar.

At

Oct. 5, 2023, 4 p.m.

In

427 SEO

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.