Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
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.
Source officielle
À 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.