Concept

New Foundations

Résumé
En logique mathématique, New Foundations (NF) est une théorie des ensembles axiomatique introduite par Willard Van Orman Quine en 1937, dans un article intitulé « New Foundations for Mathematical Logic », et qui a connu un certain nombre de variantes. Pour éviter le paradoxe de Russell, le principe de compréhension est restreint aux formules stratifiées, une restriction inspirée de la théorie des types, mais où la notion de type est implicite. Personne n'a pu jusqu'à présent démontrer la consistance de NF relativement à une théorie axiomatique usuelle (comme ZFC et ses extensions). Mais en 1969, le mathématicien américain Ronald Jensen a montré qu'en ajoutant des ur-éléments à NF, on obtenait une théorie NFU consistante relativement à l'arithmétique de Peano. En 1982, le mathématicien belge Marcel Crabbé a montré la consistance de deux systèmes qu'il a appelé NFP et NFI, avec une restriction vis-à-vis de NF sur les formules sur lesquelles peut porter la compréhension. À la différence de ZFC, on montre dans NF l'existence d'un ensemble de tous les ensembles, et la définition de Frege de la cardinalité (un cardinal comme ensemble classe d'équivalence de la relation d'équipotence) peut être utilisée. La version complète de NF permet de démontrer la négation de l'axiome du choix. 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, , révisé. Harvard Univ. Press : 80-101. Une version révisée et enrichie de l'article princips de 1937 de Quine dans le American Mathematical Monthly.
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés

Chargement

Cours associés

Chargement

Séances de cours associées

Chargement

MOOCs associés

Chargement