New Foundations

New Foundations

En théorie des ensembles, New Foundations (NF) est une théorie axiomatique découverte par Willard Van Orman Quine. En 1937 , il écrivit un article intitulé "New Foundations for Mathematical Logic" . En 1983, le mathématicien belge Marcel Crabbé a prouvé la consistance d'un système qu'il a appelé NFI .

Sommaire

Les prédicats et la hiérarchie d'appartenance

Les prédicats utilisés sont l'égalité et l'appartenance. La hiérarchie d'appartenance définit :

  • pour chaque nombre naturel n, les objets de type 'n+1 sont des ensembles d'éléments n
  • les ensembles de type n ont des éléments de type n-1.
  • Les objets reliés entre eux par une relation d'équivalence (prédicat d'identité) doivent être du même type.

x^{n} = y^{n}\! and x^{n} \in y^{n+1}

Les axiomes

Si \phi(x^n)\! est une formule , alors l'ensemble \{x^n \mid \phi(x^n)\}^{n+1}\! existe.
Dit autrement , étant donnée une formule \phi(x^n)\!, la formule \exists A^{n+1} \forall x^n [x^n \in A^{n+1} \leftrightarrow \phi(x^n)] est un axiome où A^{n+1}\! represente l'ensemble \{x^n \mid \phi(x^n)\}^{n+1}\!.


Références

Bibliographie

  • Crabbé, Marcel, 1982, On the consistency of an impredicative fragment of Quine's NF, The Journal of Symbolic Logic 47: 131-136.
  • Holmes, Randall, 1998. Elementary Set Theory with a Universal Set. Academia-Bruylant. The publisher has graciously consented to permit diffusion of this introduction to NFU via the web. Copyright is reserved.
  • Jensen, R. B., 1969, "On the Consistency of a Slight(?) Modification of Quine's NF," Synthese 19: 250-63. With discussion by Quine.
  • Quine, W. V., 1980, "New Foundations for Mathematical Logic" in From a Logical Point of View, 2nd ed., revised. Harvard Univ. Press: 80-101. The definitive version of where it all began, namely Quine's 1937 paper in the American Mathematical Monthly.

Lien interne

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article New Foundations de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • New Foundations — (NF) ist der Name einer axiomatischen Mengenlehre von Willard Van Orman Quine, benannt nach dessen Aufsatz New Foundations for Mathematical Logic (Neue Grundlagen der mathematischen Logik) von 1937. NF tendiert in mancher Hinsicht zur… …   Deutsch Wikipedia

  • New Foundations — 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 …   Wikipedia

  • Foundations of mathematics — is a term sometimes used for certain fields of mathematics, such as mathematical logic, axiomatic set theory, proof theory, model theory, and recursion theory. The search for foundations of mathematics is also a central question of the philosophy …   Wikipedia

  • New Lanark — Coordinates: 55°40′N 3°47′W / 55.66°N 3.78°W / 55.66; 3.78 …   Wikipedia

  • Foundations of Economic Analysis — is a book by Paul A. Samuelson published in 1947 (Enlarged ed., 1983). It sought to demonstrate a common mathematical structure underlying multiple branches of economics from two basic principles: optimizing behavior of agents and stability of… …   Wikipedia

  • New Tribes Mission — Founder(s) Paul Fleming Type Evangelical Missions Agency Founded 1942 Location Sanford, Florida, USA …   Wikipedia

  • Foundations — Saltar a navegación, búsqueda «Foundations» Sencillo de Kate Nash del álbum Made of Bricks Lado B « Habanera , Navy Taxi , Old Dances » Publicación 25 de junio …   Wikipedia Español

  • New Zealand — New Zealander. /zee leuhnd/ a country in the S Pacific, SE of Australia, consisting of North Island, South Island, and adjacent small islands: a member of the Commonwealth of Nations. 3,587,275; 103,416 sq. mi. (267,845 sq. km). Cap.: Wellington …   Universalium

  • New Bradwell — is (mainly) a Victorian era new village, modern district and civil parish that is now part of Milton Keynes (ceremonial county of Buckinghamshire), on its northern edge.[1] Together with Wolverton (on the other side of the West Coast Main Line),… …   Wikipedia

  • New classical macroeconomics — New classical macroeconomics, sometimes simply called new classical economics, is a school of thought in macroeconomics that builds its analysis entirely on a neoclassical framework. Specifically, it emphasizes the importance of rigorous… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”