Accès plus rapide que le navigateur!
51 relations: Abraham Adolf Fraenkel, Argument de la diagonale de Cantor, Axiome de fondation, Axiome de l'ensemble des parties, Axiome de la paire, Axiome de la réunion, Axiome du choix, Bertrand Russell, Calcul des prédicats, Classe (mathématiques), Cohérence (logique), Crise des fondements, David Hilbert, Ensemble bien ordonné, Ensemble des parties d'un ensemble, Ernst Zermelo, Gallica, Georg Cantor, Gottlob Frege, Hermann (maison d'édition), Jean Cavaillès, Jean van Heijenoort, Logicisme, Logique intuitionniste, Nombre cardinal, Nombre ordinal, Paradoxe de Berry, Paradoxe de Burali-Forti, Paradoxe de Cantor, Paradoxe de Richard, Paradoxe du barbier, Payot (maison d'édition), Philippe de Rouilhan, Prédicat (logique mathématique), Principe du tiers exclu, Principia Mathematica, Richard Dedekind, Schéma d'axiomes de compréhension, Schéma d'axiomes de remplacement, Signification (philosophie), Théorème de Cantor, Théorie des ensembles, Théorie des ensembles de Zermelo-Fraenkel, Théorie des types, Thoralf Skolem, Université de Göttingen, Université du Michigan, 1897, 1899, 1902, ..., 1903. Développer l'indice (1 plus) »
Abraham Adolf Fraenkel
Abraham Adolf Halevi Fraenkel, né le à Munich et mort le à Jérusalem, plus connu sous le nom de Abraham Adolf Fraenkel, ou plus simplement Abraham Fraenkel, est un mathématicien d'abord allemand puis israélien.
Nouveau!!: Paradoxe de Russell et Abraham Adolf Fraenkel · Voir plus »
Argument de la diagonale de Cantor
Illustration de la diagonale de Cantor En mathématiques, l'argument de la diagonale, ou argument diagonal, fut inventé par le mathématicien allemand Georg Cantor et publié en 1891.
Nouveau!!: Paradoxe de Russell et Argument de la diagonale de Cantor · Voir plus »
Axiome de fondation
L'axiome de fondation, encore appelé axiome de régularité, est l'un des axiomes de la théorie des ensembles.
Nouveau!!: Paradoxe de Russell et Axiome de fondation · Voir plus »
Axiome de l'ensemble des parties
En mathématiques, l'axiome de l'ensemble des parties est l'un des axiomes de la théorie des ensembles, plus précisément des théories des ensembles de Zermelo et de Zermelo-Fraenkel.
Nouveau!!: Paradoxe de Russell et Axiome de l'ensemble des parties · Voir plus »
Axiome de la paire
En mathématiques, l'axiome de la paire est l'un des axiomes de la théorie des ensembles, plus précisément des théories des ensembles de Zermelo et de Zermelo-Fraenkel.
Nouveau!!: Paradoxe de Russell et Axiome de la paire · Voir plus »
Axiome de la réunion
En théorie des ensembles, l’axiome de la réunion (ou «axiome de la somme») est l'un des axiomes de la théorie des ensembles de Zermelo-Fraenkel, ZF.
Nouveau!!: Paradoxe de Russell et Axiome de la réunion · Voir plus »
Axiome du choix
Pour tout ensemble d'ensembles non vides (les jarres), il existe une fonction qui associe à chacun de ces ensembles (ces jarres) un élément contenu dans cet ensemble (cette jarre). En mathématiques, l'axiome du choix, abrégé en « AC », est un axiome de la théorie des ensembles qui Il a été formulé pour la première fois par Ernest Zermelo en 1904 pour la démonstration du théorème de Zermelo.
Nouveau!!: Paradoxe de Russell et Axiome du choix · Voir plus »
Bertrand Russell
Bertrand Arthur William Russell,, né le à Trellech (Monmouthshire) et mort le près de Penrhyndeudraeth (pays de Galles), est un mathématicien, logicien, philosophe, épistémologue, homme politique et moraliste britannique.
Nouveau!!: Paradoxe de Russell et Bertrand Russell · Voir plus »
Calcul des prédicats
En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique.
Nouveau!!: Paradoxe de Russell et Calcul des prédicats · Voir plus »
Classe (mathématiques)
En mathématiques, la notion de classe généralise celle d'ensemble.
Nouveau!!: Paradoxe de Russell et Classe (mathématiques) · Voir plus »
Cohérence (logique)
En logique mathématique, la cohérence, ou consistance, d'une théorie axiomatique peut se définir de deux façons, soit par référence à la déduction: il n'est pas possible de tout démontrer à partir des axiomes de la théorie, soit par référence à la sémantique de la théorie: celle-ci possède des réalisations qui lui donnent un sens.
Nouveau!!: Paradoxe de Russell et Cohérence (logique) · Voir plus »
Crise des fondements
La crise des fondements des mathématiques, qui a marqué la discipline au tournant du, est l'aboutissement des tentatives d'asseoir la théorie des ensembles, et par là, l'arithmétique et les mathématiques, sur des bases non contradictoires.
Nouveau!!: Paradoxe de Russell et Crise des fondements · Voir plus »
David Hilbert
David Hilbert, né en 1862 à Königsberg et mort en 1943 à Göttingen, est un mathématicien allemand.
Nouveau!!: Paradoxe de Russell et David Hilbert · Voir plus »
Ensemble bien ordonné
En mathématiques, un ensemble ordonné (E, ≤) est bien ordonné et la relation ≤ est un bon ordre si la condition suivante est satisfaite: Si (E, ≤) est bien ordonné alors ≤ est nécessairement un ordre total, c'est-à-dire que deux éléments quelconques x et y de E sont toujours comparables.
Nouveau!!: Paradoxe de Russell et Ensemble bien ordonné · Voir plus »
Ensemble des parties d'un ensemble
En mathématiques, l'ensemble des parties d'un ensemble, parfois appelé ensemble puissance, est l'ensemble de tous les sous-ensembles d'un ensemble donné (y compris cet ensemble lui-même et l'ensemble vide).
Nouveau!!: Paradoxe de Russell et Ensemble des parties d'un ensemble · Voir plus »
Ernst Zermelo
Ernst Zermelo (à Berlin - à Fribourg-en-Brisgau, à l'état civil, Ernst Friedrich Ferdinand Zermelo) est un mathématicien allemand.
Nouveau!!: Paradoxe de Russell et Ernst Zermelo · Voir plus »
Gallica
Gallica est la bibliothèque numérique de la Bibliothèque nationale de France et de ses partenaires.
Nouveau!!: Paradoxe de Russell et Gallica · Voir plus »
Georg Cantor
Georg Cantor est un mathématicien allemand, né le à Saint-Pétersbourg (Empire russe) et mort le à Halle (Empire allemand).
Nouveau!!: Paradoxe de Russell et Georg Cantor · Voir plus »
Gottlob Frege
Gottlob Frege, de son nom complet Friedrich Ludwig Gottlob Frege, né le à Wismar et mort le à Bad Kleinen, est un mathématicien, logicien et philosophe allemand, créateur de la logique moderne et plus précisément du calcul propositionnel moderne: le calcul des prédicats.
Nouveau!!: Paradoxe de Russell et Gottlob Frege · Voir plus »
Hermann (maison d'édition)
Hermann Édition Sciences et Arts est une maison d'édition fondée en 1876, spécialisée dans la publication d'ouvrages traitant des sciences et des arts.
Nouveau!!: Paradoxe de Russell et Hermann (maison d'édition) · Voir plus »
Jean Cavaillès
Jean Cavaillès, né le à Saint-Maixent et fusillé le à Arras, est un philosophe et épistémologue français, qui fut un des principaux chefs militaires de la Résistance intérieure.
Nouveau!!: Paradoxe de Russell et Jean Cavaillès · Voir plus »
Jean van Heijenoort
Jean Louis Maxime van Heijenoort, (–) est un pionnier français de la logique mathématique.
Nouveau!!: Paradoxe de Russell et Jean van Heijenoort · Voir plus »
Logicisme
Le logicisme est une attitude vis-à-vis des mathématiques selon laquelle celles-ci sont une extension de la logique et donc que tous les concepts et théories mathématiques sont réductibles à la logique, définition tirée de S Korner, Philosophy of Mathematics (1960), chs 2, 3.
Nouveau!!: Paradoxe de Russell et Logicisme · Voir plus »
Logique intuitionniste
La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive.
Nouveau!!: Paradoxe de Russell et Logique intuitionniste · Voir plus »
Nombre cardinal
Le nombre cardinal des deux ensembles X et Y est 4 En linguistique, les nombres entiers naturels zéro, un, deux, trois, etc.
Nouveau!!: Paradoxe de Russell et Nombre cardinal · Voir plus »
Nombre ordinal
Spirale représentant les nombres ordinaux inférieurs à ωω. En mathématiques, on appelle nombre ordinal un objet permettant de caractériser le type d'ordre d'un ensemble bien ordonné quelconque, tout comme en linguistique, les mots premier, deuxième, troisième, quatrième, etc.
Nouveau!!: Paradoxe de Russell et Nombre ordinal · Voir plus »
Paradoxe de Berry
Le paradoxe de Berry a été formulé par Bertrand Russell en 1906.
Nouveau!!: Paradoxe de Russell et Paradoxe de Berry · Voir plus »
Paradoxe de Burali-Forti
En mathématiques, le paradoxe de Burali-Forti, paru en 1897, désigne une construction qui conduit dans certaines théories des ensembles ou théories des types trop naïves à une antinomie, c’est-à-dire que la théorie est contradictoire (on dit aussi incohérente ou inconsistante).
Nouveau!!: Paradoxe de Russell et Paradoxe de Burali-Forti · Voir plus »
Paradoxe de Cantor
Le paradoxe de Cantor, ou paradoxe du plus grand cardinal, est un paradoxe de la théorie des ensembles dont l'argument a été découvert par Georg Cantor dans les années 1890.
Nouveau!!: Paradoxe de Russell et Paradoxe de Cantor · Voir plus »
Paradoxe de Richard
Le paradoxe de Richard est le paradoxe suivant, qui apparaît lorsqu'une théorie des ensembles n'est pas suffisamment formalisée: Son auteur, le mathématicien français Jules Richard, professeur au lycée de Dijon, le décrivit dans une lettre au directeur de la Revue générale des Sciences Pures et Appliquées.
Nouveau!!: Paradoxe de Russell et Paradoxe de Richard · Voir plus »
Paradoxe du barbier
Le paradoxe du barbier est une illustration à but didactique du paradoxe de Russell, attribuée à Bertrand Russell.
Nouveau!!: Paradoxe de Russell et Paradoxe du barbier · Voir plus »
Payot (maison d'édition)
La société Payot est une maison d'édition suisse fondée à Lausanne en 1875.
Nouveau!!: Paradoxe de Russell et Payot (maison d'édition) · Voir plus »
Philippe de Rouilhan
Philippe de Rouilhan (né le) est un philosophe français, directeur de recherches émérite à l'Institut d'histoire et de philosophie des sciences et des techniques de l'Université Paris 1 Panthéon-Sorbonne.
Nouveau!!: Paradoxe de Russell et Philippe de Rouilhan · Voir plus »
Prédicat (logique mathématique)
En logique mathématique, un prédicat d'un langage est une propriété des objets du domaine considéré (l'univers du discours) exprimée dans le langage en question.
Nouveau!!: Paradoxe de Russell et Prédicat (logique mathématique) · Voir plus »
Principe du tiers exclu
En logique formelle, le principe du tiers exclu (ou "principium medii exclusi" ou " tertium non datur", ou simplement le « tiers exclu ») énonce qu'ou bien une proposition est vraie, ou bien sa négation est vraie.
Nouveau!!: Paradoxe de Russell et Principe du tiers exclu · Voir plus »
Principia Mathematica
Les sont une œuvre en trois volumes d'Alfred North Whitehead et Bertrand Russell, publiés en 1910-1913.
Nouveau!!: Paradoxe de Russell et Principia Mathematica · Voir plus »
Richard Dedekind
Julius Wilhelm Richard Dedekind (né le à Brunswick et mort le dans la même ville) est un mathématicien allemand et un proche disciple de Ernst Kummer en arithmétique.
Nouveau!!: Paradoxe de Russell et Richard Dedekind · Voir plus »
Schéma d'axiomes de compréhension
Le schéma d'axiomes de compréhension, ou schéma d'axiomes de séparation, est un schéma d'axiomes de la théorie des ensembles introduit par Zermelo dans sa théorie des ensembles, souvent notée Z. On dit souvent en abrégé schéma de compréhension ou schéma de séparation.
Nouveau!!: Paradoxe de Russell et Schéma d'axiomes de compréhension · Voir plus »
Schéma d'axiomes de remplacement
Le schéma d'axiomes de remplacement, ou schéma d'axiomes de substitution, est un schéma d'axiomes de la théorie des ensembles introduit en 1922 indépendamment par Abraham Adolf Fraenkel et Thoralf Skolem.
Nouveau!!: Paradoxe de Russell et Schéma d'axiomes de remplacement · Voir plus »
Signification (philosophie)
En philosophie la signification désigne un contenu de connaissance, non seulement le fond communicatif d'une expression de la langue (ce qui relève de la philosophie du langage), mais aussi le sens, la valeur, l'intention d'un geste, d'une pensée, d'un événement, d'une chose (ce qui relève de la métaphysique spéciale).
Nouveau!!: Paradoxe de Russell et Signification (philosophie) · Voir plus »
Théorème de Cantor
Georg Cantor Le théorème de Cantor est un théorème mathématique, dans le domaine de la théorie des ensembles.
Nouveau!!: Paradoxe de Russell et Théorème de Cantor · Voir plus »
Théorie des ensembles
La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du.
Nouveau!!: Paradoxe de Russell et Théorie des ensembles · Voir plus »
Théorie des ensembles de Zermelo-Fraenkel
L'appartenance En mathématiques, la théorie des ensembles de Zermelo-Fraenkel, abrégée en ZF, est une axiomatisation en logique du premier ordre de la théorie des ensembles telle qu'elle avait été développée dans le dernier quart du par Georg Cantor.
Nouveau!!: Paradoxe de Russell et Théorie des ensembles de Zermelo-Fraenkel · Voir plus »
Théorie des types
En mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques.
Nouveau!!: Paradoxe de Russell et Théorie des types · Voir plus »
Thoralf Skolem
Thoralf Albert Skolem (1887-1963) est un mathématicien et logicien norvégien.
Nouveau!!: Paradoxe de Russell et Thoralf Skolem · Voir plus »
Université de Göttingen
L’université Georg-August de Göttingen — en allemand Georg-August-Universität Göttingen, est une des plus célèbres universités allemandes, dont sont issus notamment des mathématiciens de grand renom.
Nouveau!!: Paradoxe de Russell et Université de Göttingen · Voir plus »
Université du Michigan
Le ''Diag'' (sentier Diagonal), au centre du campus d'Ann Arbor. Luniversité du Michigan (en anglais, University of Michigan) est une université américaine située à Ann Arbor dans le Michigan.
Nouveau!!: Paradoxe de Russell et Université du Michigan · Voir plus »
1897
L'année 1897 est une année commune qui commence un vendredi.
Nouveau!!: Paradoxe de Russell et 1897 · Voir plus »
1899
L'année 1899 est une année commune qui commence un dimanche.
Nouveau!!: Paradoxe de Russell et 1899 · Voir plus »
1902
L'année 1902 est une année commune qui commence un mercredi.
Nouveau!!: Paradoxe de Russell et 1902 · Voir plus »
1903
L'année 1903 est une année commune qui commence un jeudi.
Nouveau!!: Paradoxe de Russell et 1903 · Voir plus »
