In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled "New Foundations for Mathematical Logic"; hence the name. Much of this entry discusses NFU, an important variant of NF due to Jensen (1969) and exposited in Holmes (1998).
Read more about New Foundations: The Type Theory TST, Finite Axiomatizability, Cartesian Closure, The Consistency Problem and Related Partial Results, How NF(U) Avoids The Set-theoretic Paradoxes, Models of NFU, Strong Axioms of Infinity
Famous quotes containing the word foundations:
“If you have built castles in the air, your work need not be lost; that is where they should be. Now put the foundations under them.”
—Henry David Thoreau (1817–1862)