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:
“The world must be made safe for democracy. Its peace must be planted upon the tested foundations of political liberty.”
—Woodrow Wilson (1856–1924)