Résultats de la recherche

...Galilée]] {{incise|même s'il n'en est pas l'auteur}}, ce paradoxe implique de raisonner sur les [[ensemble]]s [[Ensemble fini|finis]] et [[Ensemble infin En utilisant des notations modernes, on définit deux volumes : ...

...ar elle permet le même comportement de «type dans le type» que le paradoxe de Girard exploite. ...=Pure type systems and the lambda cube}}</ref> {{Rp|352}} comme un système de type pur avec ...

...er:Bertrand Arthur William Russell, 3rd Earl Russell.jpg|vignette|Portrait de Bertrand Russel par Roger Fry, en 1923.]] ...syllabes'' qui paraît être ainsi nommé en dix-sept syllabes »<ref>p. 645. de l'article cité.</ref>, et attribue cette définition paradoxale à un bibliot ...

...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 {{XIXe siècle ...ies par une propriété partagée par tous leurs membres, qui ne sont pas des ensembles. ...

...{{harvsp|Jean van Heijenoort|1967|page=191}}). Zermelo avait discuté de ce paradoxe avec entre autres [[David Hilbert]]. Ce dernier d'ailleurs, dans son articl == Énoncé du paradoxe == ...

{{Confusion|texte=Ne pas confondre avec la relation d'[[inclusion (mathématiques)|inclusion]].}} [[Fichier:In symbol in theory.png|vignette|Le symbole de l'appartenance.]] ...

...nette|235x235px|Un [[diagramme de Venn]] illustrant l'intersection de deux ensembles.]] ...athématiques]], créée par le [[mathématicien]] allemand [[Georg Cantor]] à la fin du {{s-|XIX}}. ...

...orne supérieure d'un ensemble d'[[Nombre ordinal|ordinaux]], si l'ensemble de tous les ordinaux existe, on peut définir un ordinal supérieur strictement ...es usuelles comme [[Théorie des ensembles de Zermelo-Fraenkel|ZFC]].</ref> de [[Willard Van Orman Quine]]<ref>{{article|doi=10.2307/2267550|lang=en ...

[[Fichier:Example of a set.svg|vignette|Ensemble de polygones dans un [[diagramme d'Euler]]]] ...pour paraphraser [[Georg Cantor]] qui est à l'origine de la [[théorie des ensembles]]. ...

...écisément, c'est la croyance qu'il peut y avoir une proposition vraie dont la [[Négation logique|négation]] est également vraie. Ces propositions sont ap ...roduites ; de tels systèmes tolérants à la contradiction sont connus comme des [[Logique paracohérente|logiques paracohérentes]]. ...

[[Fichier:Bijection.svg|vignette|Le nombre cardinal des deux ensembles X et Y est 4]] ...entiers naturels]] ''zéro'', ''un'', ''deux'', ''trois'', etc. s’appellent des [[adjectif numéral|adjectifs numéraux]] '''cardinaux'''. ...

{{Catégorie connexe|Paradoxe logique}} ...ation (logique)|implication logique]]. Ne doit pas être confondu avec le [[paradoxe du barbier]]. ...

...iées par la méréologie peuvent être entre un tout et ses parties, ou entre des parties d’un même tout. ...non polonophones. En 1940, Henri S. Leonard et [[Nelson Goodman]] font de la méréologie, avec leur [[Publication scientifique|article]] ''{{Langue|angla ...

...sont dits ''[[Nombre irrationnel|irrationnels]]'', tels la [[racine carrée de 2]], [[pi|{{math|π}}]] et [[e (nombre)|{{math|e}}]]. ...mbres réels|constructions]] de [[Richard Dedekind|Dedekind]] d'une part et de [[Georg Cantor|Cantor]] et [[Charles Méray|Méray]] d'autre part. ...

...é latin-français|Dictionnaire Gaffiot]], aux entrées : → {{Lien web|langue=la/fr|auteur=Félix Gaffiot |titre=infīnītus|url=https://www.lexilogos.com/lati ...depuis longtemps et nourrissent encore l'[[Histoire des idées|histoire de la pensée]] dans le monde entier. ...

...herches arithmétiques]] de [[Carl Friedrich Gauss|Gauss]], livre fondateur de l’arithmétique modulaire.]] ...roblèmes sur les [[Entier relatif|nombres entiers]]. Ces méthodes dérivent de l’étude du reste obtenu par une [[division euclidienne]]. ...

{{Archive de discussion}} {{Discussion Projet:Mathématiques/Sommaire des archives}} ...

| date de naissance = {{date|1872-05-18}} | lieu de naissance = [[Trellech]] ([[Monmouthshire]], [[Royaume-Uni]]) ...

{{Archive de discussion}} {{Discussion Projet:Mathématiques/Sommaire des archives}} ...

{{Archive de discussion}} {{Discussion Projet:Mathématiques/Sommaire des archives}} ...