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:
“For me, it is as though at every moment the actual world had completely lost its actuality. As though there was nothing there; as though there were no foundations for anything or as though it escaped us. Only one thing, however, is vividly present: the constant tearing of the veil of appearances; the constant destruction of everything in construction. Nothing holds together, everything falls apart.”
—Eugène Ionesco (b. 1912)