Matches in DBpedia 2014 for { <http://dbpedia.org/resource/New_Foundations> ?p ?o. }
Showing items 1 to 43 of
43
with 100 items per page.
- New_Foundations abstract "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).".
- New_Foundations wikiPageExternalLink s11225-008-9107-8.
- New_Foundations wikiPageExternalLink nf.html.
- New_Foundations wikiPageExternalLink setbiblio.html.
- New_Foundations wikiPageExternalLink ess.pdf.
- New_Foundations wikiPageExternalLink quine-nf.
- New_Foundations wikiPageExternalLink settheory-alternative.
- New_Foundations wikiPageExternalLink NF_at_History_Workshop.ps.
- New_Foundations wikiPageID "945957".
- New_Foundations wikiPageRevisionID "604685032".
- New_Foundations hasPhotoCollection New_Foundations.
- New_Foundations subject Category:Systems_of_set_theory.
- New_Foundations subject Category:Type_theory.
- New_Foundations subject Category:Urelements.
- New_Foundations subject Category:Willard_Van_Orman_Quine.
- New_Foundations type Artifact100021939.
- New_Foundations type Instrumentality103575240.
- New_Foundations type Object100002684.
- New_Foundations type PhysicalEntity100001930.
- New_Foundations type System104377057.
- New_Foundations type SystemsOfSetTheory.
- New_Foundations type Whole100003553.
- New_Foundations comment "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).".
- New_Foundations label "New Foundations".
- New_Foundations label "New Foundations".
- New_Foundations label "New Foundations".
- New_Foundations label "New Foundations".
- New_Foundations label "Nuevos Fundamentos".
- New_Foundations label "Nuova fondazione".
- New_Foundations label "新基础集合论".
- New_Foundations label "新基礎集合論".
- New_Foundations sameAs New_Foundations.
- New_Foundations sameAs Nuevos_Fundamentos.
- New_Foundations sameAs New_Foundations.
- New_Foundations sameAs Nuova_fondazione.
- New_Foundations sameAs 新基礎集合論.
- New_Foundations sameAs New_Foundations.
- New_Foundations sameAs m.03s8xw.
- New_Foundations sameAs Q649337.
- New_Foundations sameAs Q649337.
- New_Foundations sameAs New_Foundations.
- New_Foundations wasDerivedFrom New_Foundations?oldid=604685032.
- New_Foundations isPrimaryTopicOf New_Foundations.