Randal Holmes: An introduction to Quine’s New Foundations

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.

Attachments

One response to “Randal Holmes: An introduction to Quine’s New Foundations

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.