Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

New Foundations

Library Home || Full Table of Contents || Library Help

Visit this site: http://diamond.idbsu.edu/~holmes/holmes/nf.html

Author:Randall Holmes
Description: Developing site for the set theory "New Foundations," first introduced by W.V.O. Quine in 1937. A refinement of Russell's theory of types based on the observation that the types in Russell's theory look the same, as far as one can apparently prove. Site contains: introduction; links to New Foundations (NF) fans; definition; the paradoxes; the Big Problem; consistent subsystems; references for this page; and Thomas Forster's exhaustive bibliography.

Levels: College, Research
Languages: English
Resource Types: Link Listings, Articles, Bibliographies
Math Topics: Logic/Foundations

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.