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:
“Honorable Senators: My sincerest thanks I offer you. Conserve the firm foundations of our institutions. Do your work with the spirit of a soldier in the public service. Be loyal to the Commonwealth and to yourselves and be brief; above all be brief.”
—Calvin Coolidge (1872–1933)