Date: October 22
Time: 10:30 a.m. – 11:45 a.m.
Room: MP 210
Speaker: Randall Holmes
Title: An Introduction to Quine’s New Foundations
I will present definitions of the theories TST (the simple theory of types) and NF (New Foundations, a set theory proposed by W. v. O. Quine in 1937) and discuss the open problem of the consistency of New Foundations and related results.