Logo
Unionpédia
Communication
Disponible sur Google Play
Nouveau! Téléchargez Unionpédia sur votre appareil Android™!
Installer
Accès plus rapide que le navigateur!
 

Hypothèse du continu

Indice Hypothèse du continu

En théorie des ensembles, l'hypothèse du continu (HC), due à Georg Cantor, affirme qu'il n'existe aucun ensemble dont le cardinal est strictement compris entre le cardinal de l'ensemble des entiers naturels et celui de l'ensemble des nombres réels.

70 relations: Abraham Adolf Fraenkel, Aleph-zéro, Analyse (mathématiques), Andrzej Mostowski, Argument de la diagonale de Cantor, Axiome de constructibilité, Axiome de fondation, Axiome des parallèles, Axiome du choix, Étienne Ghys, Beth (nombre), Bijection, Cardinalité (mathématiques), Classe (mathématiques), Cofinalité, Congrès international des mathématiciens, Conjecture, David Hilbert, Décidabilité, Encyclopædia Universalis, Ensemble bien ordonné, Ensemble dénombrable, Ensemble de Cantor, Ensemble des parties d'un ensemble, Ensemble fini, Ensemble infini, Ensemble transitif, Entier naturel, Forcing, Georg Cantor, Grand cardinal, Hilary Putnam, Ignorabimus, Images des mathématiques, Injection (mathématiques), Jean-Paul Delahaye, Kurt Gödel, Nombre cardinal, Nombre ordinal, Nombre rationnel, Nombre réel, Ontologie (philosophie), Ordinal de Hartogs, Patrick Dehornoy, Paul Benacerraf, Paul Cohen, Pour la science, Premier ordinal non dénombrable, Princeton University Press, Problèmes de Hilbert, ..., Programme de Hilbert, Puissance du continu, Séminaire Nicolas Bourbaki, Théorème d'Easton, Théorème de Cantor-Bernstein, Théorème de König (théorie des ensembles), Théorème de Zermelo, Théorèmes d'incomplétude de Gödel, Théorie de la mesure, Théorie des ensembles, Théorie des ensembles de von Neumann-Bernays-Gödel, Théorie des ensembles de Zermelo-Fraenkel, Trichotomie (mathématiques), Univers constructible, Ur-element, W. Hugh Woodin, Wacław Sierpiński, 1900 en science, 1938, 1963. Développer l'indice (20 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!!: Hypothèse du continu et Abraham Adolf Fraenkel · Voir plus »

Aleph-zéro

En mathématiques, le cardinal de l'ensemble des entiers naturels, et donc, par équipotence, le cardinal de n'importe quel ensemble infini dénombrable, est noté \aleph_0 et se lit aleph-zéro; c'est le premier dans la suite indexée par les ordinaux des alephs, une suite d'ordinaux définie par Georg Cantor pour représenter tous les cardinaux infinis.

Nouveau!!: Hypothèse du continu et Aleph-zéro · Voir plus »

Analyse (mathématiques)

L'analyse (du grec, « délier, examiner en détail, résoudre ») a pour point de départ la formulation rigoureuse du calcul infinitésimal.

Nouveau!!: Hypothèse du continu et Analyse (mathématiques) · Voir plus »

Andrzej Mostowski

Andrzej Mostowski (–) est un mathématicien polonais.

Nouveau!!: Hypothèse du continu et Andrzej Mostowski · 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!!: Hypothèse du continu et Argument de la diagonale de Cantor · Voir plus »

Axiome de constructibilité

L'axiome de constructibilité est un des axiomes possibles de la théorie des ensembles affirmant que tout ensemble est constructible.

Nouveau!!: Hypothèse du continu et Axiome de constructibilité · 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!!: Hypothèse du continu et Axiome de fondation · Voir plus »

Axiome des parallèles

L’axiome d'Euclide, dit également cinquième postulat d’Euclide, est dû au savant grec Euclide.

Nouveau!!: Hypothèse du continu et Axiome des parallèles · 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!!: Hypothèse du continu et Axiome du choix · Voir plus »

Étienne Ghys

Étienne Ghys, né le à Lille, est un mathématicien français, secrétaire perpétuel (première division) de l'Académie des sciences.

Nouveau!!: Hypothèse du continu et Étienne Ghys · Voir plus »

Beth (nombre)

Dans la théorie des ensembles ZFC (avec axiome du choix), les nombres beth désignent une hiérarchie de nombres cardinaux indexée par les ordinaux, obtenue à partir du dénombrable en prenant le cardinal de l'ensemble des parties pour successeur, et la borne supérieure (ou réunion) pour passer à la limite.

Nouveau!!: Hypothèse du continu et Beth (nombre) · Voir plus »

Bijection

En mathématiques, une bijection ou application bijective (parfois appelée correspondances biunivoques) est une application qui est à la fois injective et surjective, autrement dit pour laquelle tout élément de son ensemble d'arrivée possède un et un seul antécédentC'est-à-dire est image d'exactement un élément de son domaine de définition.

Nouveau!!: Hypothèse du continu et Bijection · Voir plus »

Cardinalité (mathématiques)

En mathématiques, la cardinalité est une notion de taille pour les ensembles.

Nouveau!!: Hypothèse du continu et Cardinalité (mathématiques) · Voir plus »

Classe (mathématiques)

En mathématiques, la notion de classe généralise celle d'ensemble.

Nouveau!!: Hypothèse du continu et Classe (mathématiques) · Voir plus »

Cofinalité

Considérons un ensemble A muni d'une relation binaire ≤.

Nouveau!!: Hypothèse du continu et Cofinalité · Voir plus »

Congrès international des mathématiciens

Un timbre commémoratif allemand du Congrès international des mathématiciens lors de l'édition 1998 à Berlin. Le Congrès international des mathématiciens (ICM, en anglais) est une manifestation organisée tous les quatre ans par l'Union mathématique internationale.

Nouveau!!: Hypothèse du continu et Congrès international des mathématiciens · Voir plus »

Conjecture

En mathématiques, une conjecture est une assertion pour laquelle on ne connaît pas encore de démonstration, mais que l'on croit fortement être vraie (en l'absence de contre-exemple, ou comme généralisation de résultats démontrés).

Nouveau!!: Hypothèse du continu et Conjecture · Voir plus »

David Hilbert

David Hilbert, né en 1862 à Königsberg et mort en 1943 à Göttingen, est un mathématicien allemand.

Nouveau!!: Hypothèse du continu et David Hilbert · Voir plus »

Décidabilité

En logique mathématique, le terme décidabilité recouvre deux concepts liés: la décidabilité logique et la décidabilité ''algorithmique''.

Nouveau!!: Hypothèse du continu et Décidabilité · Voir plus »

Encyclopædia Universalis

LEncyclopædia Universalis est une encyclopédie rédigée en français publiée en volumes sur papier, sur CD-ROM, sur DVD puis sur clé USB.

Nouveau!!: Hypothèse du continu et Encyclopædia Universalis · 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!!: Hypothèse du continu et Ensemble bien ordonné · Voir plus »

Ensemble dénombrable

En mathématiques, un ensemble est dit dénombrable, ou infini dénombrable, lorsque ses éléments peuvent être listés sans omission ni répétition dans une suite indexée par les entiers.

Nouveau!!: Hypothèse du continu et Ensemble dénombrable · Voir plus »

Ensemble de Cantor

En mathématiques, l'ensemble de Cantor (ou ensemble triadique de Cantor, ou poussière de Cantor), est un sous-ensemble remarquable de la droite réelle construit par le mathématicien allemand Georg Cantor.

Nouveau!!: Hypothèse du continu et Ensemble de Cantor · 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!!: Hypothèse du continu et Ensemble des parties d'un ensemble · Voir plus »

Ensemble fini

En mathématiques, un ensemble fini est un ensemble qui possède un nombre fini d'éléments, c'est-à-dire qu'il est possible de compter ses éléments, le résultat étant un nombre entier.

Nouveau!!: Hypothèse du continu et Ensemble fini · Voir plus »

Ensemble infini

En mathématiques, plus précisément en théorie des ensembles, un ensemble infini est un ensemble qui n'est pas fini, c'est-à-dire qu'il n'y a aucun moyen de « compter » les éléments de cet ensemble à l'aide d'un ensemble borné d'entiers.

Nouveau!!: Hypothèse du continu et Ensemble infini · Voir plus »

Ensemble transitif

En mathématiques, plus précisément en théorie des ensembles, un ensemble transitif est un ensemble dont tous les éléments sont aussi des parties de l'ensemble.

Nouveau!!: Hypothèse du continu et Ensemble transitif · Voir plus »

Entier naturel

En mathématiques, un entier naturel est un nombre permettant fondamentalement de compter des objets considérés comme des unités équivalentes: un jeton, deux jetons… une carte, deux cartes, trois cartes… Un tel nombre entier peut s'écrire avec une suite finie de chiffres en notation décimale positionnelle (sans signe et sans virgule).

Nouveau!!: Hypothèse du continu et Entier naturel · Voir plus »

Forcing

En mathématiques, et plus précisément en logique mathématique, le forcing est une technique inventée par Paul Cohen pour prouver des résultats de cohérence et d'indépendance en théorie des ensembles.

Nouveau!!: Hypothèse du continu et Forcing · 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!!: Hypothèse du continu et Georg Cantor · Voir plus »

Grand cardinal

En mathématiques, et plus précisément en théorie des ensembles, un grand cardinal est un nombre cardinal transfini satisfaisant une propriété qui le distingue des ensembles constructibles avec l'axiomatique usuelle (ZFC) tels que 0, ω, etc., et le rend nécessairement plus grand que tous ceux-ci.

Nouveau!!: Hypothèse du continu et Grand cardinal · Voir plus »

Hilary Putnam

Hilary Whitehall Putnam, né le à Chicago, en Illinois, et mort le à Arlington (Massachusetts), est un philosophe américain.

Nouveau!!: Hypothèse du continu et Hilary Putnam · Voir plus »

Ignorabimus

Emil du Bois-Reymond (1818-1896), à l'origine de la maxime « Ignoramus et ignorabimus ». (Photogravure d'une peinture de Max Koner) Lignorabimus est une abréviation du latin « Ignoramus et ignorabimus » qui signifie « Nous ne savons pas et ne saurons jamais », exprimant par là une forme de pessimisme à propos de la possibilité de connaître ou d'expliquer scientifiquement tous les aspects du monde.

Nouveau!!: Hypothèse du continu et Ignorabimus · Voir plus »

Images des mathématiques

Images des mathématiques (ou Images des maths) est un site web français édité par le CNRS et consacré à la vulgarisation en mathématiques.

Nouveau!!: Hypothèse du continu et Images des mathématiques · Voir plus »

Injection (mathématiques)

Une application f est dite injective ou est une injection si tout élément de son ensemble d'arrivée a au plus un antécédent par f, ce qui revient à dire que deux éléments distincts de son ensemble de départ ne peuvent pas avoir la même image par f. Lorsque les ensembles de départ et d'arrivée de f sont tous les deux égaux à la droite réelle ℝ, f est injective si et seulement si son graphe intersecte toute droite horizontale en au plus un point.

Nouveau!!: Hypothèse du continu et Injection (mathématiques) · Voir plus »

Jean-Paul Delahaye

Jean-Paul Delahaye est un informaticien et mathématicien français né à Saint-Mandé (Seine) le.

Nouveau!!: Hypothèse du continu et Jean-Paul Delahaye · Voir plus »

Kurt Gödel

Kurt Gödel, né le à Brünn et mort le à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé américain.

Nouveau!!: Hypothèse du continu et Kurt Gödel · 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!!: Hypothèse du continu 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!!: Hypothèse du continu et Nombre ordinal · Voir plus »

Nombre rationnel

Un nombre rationnel est, en mathématiques, un nombre qui peut s'exprimer comme le quotient de deux entiers relatifs.

Nouveau!!: Hypothèse du continu et Nombre rationnel · Voir plus »

Nombre réel

En mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entièreCette partie entière par troncature, désignant les chiffres « à gauche de la virgule » ne correspond pas forcément à la partie entière par défaut: dans le cas d’un nombre réel négatif comme, la partie entière par défaut vaut.

Nouveau!!: Hypothèse du continu et Nombre réel · Voir plus »

Ontologie (philosophie)

L'ontologie est une branche de la philosophie et plus spécifiquement de la métaphysique qui, dans son sens le plus général, s'interroge sur la signification du mot « être ».

Nouveau!!: Hypothèse du continu et Ontologie (philosophie) · Voir plus »

Ordinal de Hartogs

En théorie des ensembles, l'ordinal de Hartogs d'un ensemble A désigne le plus petit ordinal qui ne s'injecte pas dans A. Son existence utilise le remplacement et se démontre sans l'axiome du choix, contrairement au théorème de Zermelo qui revient à l'existence d'un ordinal en bijection avec A, et équivaut, lui, à l'axiome du choix.

Nouveau!!: Hypothèse du continu et Ordinal de Hartogs · Voir plus »

Patrick Dehornoy

Patrick Dehornoy, né le à Rouen et mort le à Villejuif, est un mathématicien français.

Nouveau!!: Hypothèse du continu et Patrick Dehornoy · Voir plus »

Paul Benacerraf

Paul Benacerraf, né le à Paris, est un philosophe juif américain d'origine marocaine travaillant en philosophie des mathématiques.

Nouveau!!: Hypothèse du continu et Paul Benacerraf · Voir plus »

Paul Cohen

Paul Joseph Cohen (1934 - 2007) est un mathématicien américain.

Nouveau!!: Hypothèse du continu et Paul Cohen · Voir plus »

Pour la science

Pour la science est une revue mensuelle de vulgarisation scientifique française fondée en 1977.

Nouveau!!: Hypothèse du continu et Pour la science · Voir plus »

Premier ordinal non dénombrable

En mathématiques, le premier ordinal non dénombrable, noté ω₁ ou parfois Ω, est le plus petit ordinal non dénombrable; c'est aussi l'ensemble des ordinaux finis ou infinis dénombrables.

Nouveau!!: Hypothèse du continu et Premier ordinal non dénombrable · Voir plus »

Princeton University Press

La Princeton University Press est une maison d'édition indépendant liée de près à l'université de Princeton.

Nouveau!!: Hypothèse du continu et Princeton University Press · Voir plus »

Problèmes de Hilbert

Lors du deuxième congrès international des mathématiciens, tenu à Paris en août 1900, David Hilbert entendait rivaliser avec le maître des mathématiques françaises, Henri PoincaréLors du premier congrès international des mathématiciens qui s'était tenu à Zurich en 1897, Henri Poincaré avait été la vedette avec sa conférence « Sur les rapports de l'analyse pure et de la physique mathématique ».

Nouveau!!: Hypothèse du continu et Problèmes de Hilbert · Voir plus »

Programme de Hilbert

Le programme de Hilbert est un programme créé par David Hilbert dans le but d'assurer les fondements des mathématiques.

Nouveau!!: Hypothèse du continu et Programme de Hilbert · Voir plus »

Puissance du continu

En mathématiques, plus précisément en théorie des ensembles, on dit qu'un ensemble E a la puissance du continu (ou parfois le cardinal du continu) s'il est équipotent à l'ensemble ℝ des nombres réels, c'est-à-dire s'il existe une bijection de E dans ℝ.

Nouveau!!: Hypothèse du continu et Puissance du continu · Voir plus »

Séminaire Nicolas Bourbaki

Le séminaire Nicolas Bourbaki est une série de séminaires (en fait des conférences publiques avec des notes distribuées directement) qui a lieu à Paris depuis 1948.

Nouveau!!: Hypothèse du continu et Séminaire Nicolas Bourbaki · Voir plus »

Théorème d'Easton

En théorie des ensembles, le théorème d'Easton est un résultat décrivant les nombres cardinaux possibles pour des ensembles de parties.

Nouveau!!: Hypothèse du continu et Théorème d'Easton · Voir plus »

Théorème de Cantor-Bernstein

L'existence d'une injection de E vers F et d'une injection de F vers E, implique l'existence d'une bijection de E vers F. Le théorème de Cantor-Bernstein, également appelé théorème de Cantor-Schröder-Bernstein, est le théorème de la théorie des ensembles qui affirme l’existence d'une bijection entre deux ensembles dès lors qu'il existe deux injections, l'une du second vers le premier l'autre du premier vers le second.

Nouveau!!: Hypothèse du continu et Théorème de Cantor-Bernstein · Voir plus »

Théorème de König (théorie des ensembles)

Le théorème de Kőnig en théorie des ensembles est dû au mathématicien hongrois Julius Kőnig (1849-1913).

Nouveau!!: Hypothèse du continu et Théorème de König (théorie des ensembles) · Voir plus »

Théorème de Zermelo

En mathématiques, le théorème de Zermelo, appelé aussi théorème du bon ordre, est un résultat de théorie des ensembles, démontré en 1904 par Ernst Zermelo, qui affirme.

Nouveau!!: Hypothèse du continu et Théorème de Zermelo · Voir plus »

Théorèmes d'incomplétude de Gödel

Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »).

Nouveau!!: Hypothèse du continu et Théorèmes d'incomplétude de Gödel · Voir plus »

Théorie de la mesure

La théorie de la mesure est la branche des mathématiques qui traite des espaces mesurés et est le fondement axiomatique de la théorie des probabilités.

Nouveau!!: Hypothèse du continu et Théorie de la mesure · 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!!: Hypothèse du continu et Théorie des ensembles · Voir plus »

Théorie des ensembles de von Neumann-Bernays-Gödel

La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente à la théorie ZFC de Zermelo-Fraenkel avec axiome du choix (et avec les mêmes variantes possibles), mais dont le pouvoir expressif est plus riche.

Nouveau!!: Hypothèse du continu et Théorie des ensembles de von Neumann-Bernays-Gödel · 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!!: Hypothèse du continu et Théorie des ensembles de Zermelo-Fraenkel · Voir plus »

Trichotomie (mathématiques)

En mathématiques, le principe de la trichotomie indique que tout nombre réel est soit positif, soit négatif, soit nul.  sur un ensemble X tel que pour tous x et y, seulement l'une des relations suivantes tient: x, ou x>y.

Nouveau!!: Hypothèse du continu et Trichotomie (mathématiques) · Voir plus »

Univers constructible

En mathématiques et en théorie des ensembles, l'univers constructible, ou l'univers constructible de Gödel, noté, est une classe d'ensembles qui peuvent entièrement être décrits en termes d'ensembles plus simples.

Nouveau!!: Hypothèse du continu et Univers constructible · Voir plus »

Ur-element

En théorie des ensembles, un ur-element (ou urelement) est quelque chose qui n'est pas un ensemble mais qui peut être élément d'un ensemble.

Nouveau!!: Hypothèse du continu et Ur-element · Voir plus »

W. Hugh Woodin

William Hugh Woodin (né le à Tucson, Arizona) est un mathématicien américain, auteur de travaux importants en logique mathématique et théorie des ensembles.

Nouveau!!: Hypothèse du continu et W. Hugh Woodin · Voir plus »

Wacław Sierpiński

Wacław Franciszek Sierpiński (né le et mort à Varsovie) est un mathématicien polonais, connu pour ses recherches sur la théories des nombres, théories des ensembles, la topologie et la théorie des fonctions.

Nouveau!!: Hypothèse du continu et Wacław Sierpiński · Voir plus »

1900 en science

Pas de description.

Nouveau!!: Hypothèse du continu et 1900 en science · Voir plus »

1938

L'année 1938 est une année commune qui commence un samedi.

Nouveau!!: Hypothèse du continu et 1938 · Voir plus »

1963

L'année 1963 est une année commune qui commence un mardi.

Nouveau!!: Hypothèse du continu et 1963 · Voir plus »

Redirections ici:

Hypothese du continu, Hypothèse généralisée du continu, Premier problème de Hilbert.

SortantEntrants
Hey! Nous sommes sur Facebook maintenant! »