School Seminars and Colloquia

Quine's New Foundations For Mathematical Logic

Colloquium

by Professor Thomas Forster


Institution: Dept. of Pure Mathematics and Mathematical Statistics, Cambridge University
Date: Tue 2nd September 2008
Time: 12:00 PM
Location: Russell Love Theatre, Richard Berry Bldg, The Uni of Melb

Abstract: In 1937 Quine published an article (Reprinted many times in successive editions of
*From a Logical Point of View*) in which he presented a system of set theory ("NF") based
on Rusell's theory of Types. It looks like a straightforward enhancement but the situation
is subtle and the consistency of NF clearly doesn't follow from the consistency of Russell's
system. The consistency of NF is probably the oldest open problem in set theory. I shall
sketch the history, explain why the problem is still open, and explain some partial positive
results.

For More Information: Contact: Paul Pearce P.Pearce@ms.unimelb.edu.au

Colloquium Website