Louise Hay Logic Seminar
Large Numbers: A Survey
Abstract: Although mostly an idle curiosity, the quest to name large natural numbers gives rise to, and requires substantial use of, tools from mathematical logic. We begin with elementary attempts and conclude with state-of-the-art techniques that go beyond $ZFC$.
Thursday April 27, 2017 at 4:00 PM in SEO 427