Aller au contenu

Georg Cantor

Un article de Wikipédia, l'encyclopédie libre.
Georg Cantor
Description de cette image, également commentée ci-après
Georg Ferdinand Ludwig Philipp Cantor
Nom de naissance Georg Ferdinand Ludwig Philipp Cantor
Naissance
Saint-Pétersbourg(Russie)
Décès (à 72 ans)
Halle(Empire allemand)
Nationalité Drapeau de l'Empire allemandEmpire allemand
Domaines mathématicien
Institutions Université de Halle
Diplôme École polytechnique fédérale de Zurich
Université de Berlin
Renommé pour Théorie des ensembles

Georg Cantorest unmathématicienallemand, né leàSaint-Pétersbourg(Empire russe) et mort leàHalle(Empire allemand). Il est connu pour être le créateur de lathéorie des ensembles.

Il établit l'importance de labijectionentre les ensembles, définit lesensembles infiniset lesensembles bien ordonnés.Il prouva également que les nombres réels sont « plus nombreux » que les entiers naturels. En fait, lethéorème de Cantorimplique l'existence d'une « infinité d'infinis ». Il définit lesnombres cardinaux,lesnombres ordinauxet leur arithmétique. Le travail de Cantor est d'un grand intérêt philosophique (ce dont il était parfaitement conscient) et a donné lieu à maintes interprétations et à maints débats.

Cantor a été confronté à la résistance de la part des mathématiciens de son époque, en particulierKronecker.

Poincaré,bien qu'il connût et appréciât les travaux de Cantor, avait de profondes réserves sur son maniement de l'infini en tant que totalité achevée[n 1].Les accès de dépressions récurrents de Cantor, de 1884 à la fin de sa vie, ont été parfois attribués à l'attitude hostile de certains de ses contemporains, mais ces accès sont souvent à présent interprétés comme des manifestations d'un probabletrouble bipolaire.

AuXXIesiècle, la valeur des travaux de Cantor n'est pas discutée par la majorité des mathématiciens qui y voient un changement deparadigme,à l'exception d'une partie ducourant constructivistequi s'inscrit à la suite de Kronecker. Dans le but de contrer les détracteurs de Cantor,David Hilberta affirmé: « Nul ne doit nous exclure du Paradis que Cantor a créé[2]

Enfance et études

[modifier|modifier le code]

Georg Cantor est né en 1845 àSaint-Pétersbourgoù son père, Georg Waldemar Cantor, homme d'affairesdanoisest courtier à labourse de la ville;d’origine juive mais converti au protestantisme[3],c'est unluthérienfervent. Sa mère Maria Anna Böhm, de nationalitéautrichienne,est issue d'une famille de musiciens.Catholiquede naissance, elle se convertit au protestantisme au moment de son mariage. Le grand-père maternel de Georg Cantor,Franz Böhm(1788-1846), frère aîné du violoniste hongroisJoseph Böhm,était violoniste et soliste réputé de l’orchestre de l'Opéra impérial de Saint-Pétersbourg[4].

Georg Cantor fut élevé dans la foiluthérienne,qu'il conserva toute sa vie.Violonisteremarquable, il avait hérité du talent artistique et musical de sa famille maternelle.

Lorsque le père de Cantor tomba malade, la famille chercha des hivers moins rigoureux que ceux de Saint-Pétersbourg. Elle alla s'installer enAllemagneen1856,d'abord àWiesbaden,ensuite àFrancfort.En1860,Cantor obtint undiplômeavec félicitations à laRealschuledeDarmstadtoù l'on remarqua ses qualités exceptionnelles enmathématiques,notamment entrigonométrie.En1862,suivant le souhait de son père, Cantor intégra l'École polytechnique fédérale de Zurichoù il entama des études supérieures en mathématiques.

En1863,à la mort de son père, Cantor préféra poursuivre ses études à l'université de Berlin.Il suivit les cours deWeierstrass,KummeretKronecker.Il se lia d'amitié avecHermann Schwarz,alors étudiant. Il passa l'été à l'université de Göttingen, qui devint par la suite un grand centre de la recherche mathématique. En1867,Berlin lui accorda le titre dePhilosophiæ doctorpour une thèse portant sur lathéorie des nombres,De aequationibus secundi gradus indeterminatis.

Début de carrière

[modifier|modifier le code]

Après avoir enseigné pendant un an dans une école de filles àBerlin,Cantor accepta en 1870 un poste à l'université de Halle,où il fit toute sa carrière. Il obtint l'habilitationrequise grâce à un mémoire sur la théorie des formes quadratiques à trois variables[5],soumis en 1869; il fut promu professeur extraordinaire (une position analogue à celle d'un maître de conférences) en1872.

En 1872[6],Cantor fit la connaissance deRichard Dedekindlors d'un voyage en Suisse. Cela devait être le point de départ d'une relation suivie qui devait jouer un rôle décisif dans le développement de la théorie des ensembles de Cantor. Leur correspondance, qui s'étale de 1872 à 1889, en est un témoignage précieux.

Eduard Heineavait posé la question de l'unicité de l'écriture d'unefonction périodiqued'une variable réelle commesériede fonctions trigonométriques. Intéressé par ce problème, Cantor obtint l'unicité pour les fonctions continues. En1872,il s'attacha à définir l'ensemble des points de discontinuité de ces fonctions, ce qui présuppose de manipuler des ensembles infinis. C'est ainsi qu'il commença à s'interroger sur l'infini. En 1874, Cantor publia ses premiers travaux sur le sujet dans leJournal für die reine und angewandte Mathematik,où il donna la première démonstration que l'ensemble des réels n'est pas dénombrable.

Toujours en1874,Cantor épousa Vally Guttmann. Ils auront six enfants, le dernier étant né en1886.Malgré un modeste salaire académique, Cantor était en mesure de subvenir aux besoins de sa famille grâce à l'héritage de son père[réf. nécessaire].

Hostilités entre Cantor et Kronecker

[modifier|modifier le code]

En 1877, Cantor soumit son dernier article auJournal de Crelle,dans lequel il démontra qu'une surface est en bijection avec une droite réelle. Kronecker, mathématicien réputé, fut en désaccord avec ce qui fondait les travaux de Cantor en théorie des ensembles. Kronecker, perçu aujourd'hui comme un pionnier duconstructivisme,ne pensait pas que l'on puisse envisager un ensemble infini comme une entité:« Dieu a créé les nombres entiers; le reste est l'œuvre de l'homme ».Kronecker pensait également qu'une preuve d'existence d'un objet mathématique satisfaisant à certaines propriétés devait donner une construction explicite d'un tel objet.

En1879,Cantor obtint une chaire à l'université de Halle. Atteindre le plus haut rang à l'âge de 34 ans était une performance notable, mais Cantor aurait préféré avoir une chaire dans une université plus prestigieuse, en particulier à Berlin où se trouvait la meilleure université allemande. Toutefois,Kroneckerse trouvait à la tête du secteur de mathématiques à Berlin jusqu'à sa mort en1891et il ne souhaitait pas avoir Cantor comme collègue.

En1881,la mort d'Eduard Heine,collègue de Cantor de l'université de Halle, laissa une chaire inoccupée. À la suggestion de Cantor, l'université proposa la chaire àDedekind,Heinrich WeberetFranz Mertens(dans cet ordre), mais tous déclinèrent l'offre. Le manque d'intérêt de la part de Dedekind est surprenant, étant donné qu'il enseignait dans une école d'ingénieur de faible niveau et portait une lourde charge administrative. Cet épisode est révélateur du manque de réputation du département de mathématiques de l'université de Halle.Albert Wangerinfut finalement nommé, mais ne se rapprocha jamais de Cantor.

En1884,Cantor fut frappé de son premier accès de dépression. SelonJoseph Dauben,cette crise n'aurait pas été causée par les attaques de Kronecker, même si ces dernières l'avaient sans doute fortement amplifiée[7].

Cette crise émotionnelle le mena à donner des cours dephilosophie,plutôt que demathématiques.Chacune des 52 lettres que Cantor a écrites àMittag-Lefflerau cours de cette année attaquait Kronecker. Cantor se remit rapidement, mais un passage de l'une de ses lettres révèle une perte de confiance en lui-même:

« Je ne sais pas quand je pourrai retourner à la poursuite de mes travaux scientifiques. Pour le moment, je ne peux absolument rien faire dans ce sens et je me limite au strict nécessaire, à savoir donner des cours; combien je voudrais être actif scientifiquement et si seulement j'avais la vivacité d'esprit nécessaire. »

Bien qu'il ait produit quelques travaux de valeur après1884,il ne retrouva pas le haut niveau de production des années1874à 1884. Il proposa une réconciliation avec Kronecker, qui accepta sans réticences. Malgré tout, le désaccord philosophique et les difficultés qui les séparaient persistèrent. On a dit parfois que les accès dépressifs récurrents de Cantor avaient été déclenchés par l'opposition que lui manifestait Kronecker, or quoique les difficultés relationnelles de Cantor et les troubles de sa production mathématique fussent, c'est certain, exacerbés par sa dépression,on peut douter qu'elles en fussent la cause[réf.souhaitée].

En1888,il publia ses correspondances avec plusieurs philosophes au sujet des implications philosophiques de sathéorie des ensembles.Edmund Husserlfut un de ses collègues à Halle et un ami, entre1886et1901.La réputation de Husserl s'est faite en philosophie, mais à l'époque il préparait un doctorat de mathématiques dirigé parLeo Königsberger,un étudiant deWeierstrass.Cantor écrivit aussi sur les implications théologiques de ses travaux en mathématiques; il aurait identifié l'« infini absolu », l'infini d'une classe propre comme celle de tous lescardinauxou de tous lesordinauxDieu[8].

Pensant queFrancis Baconétait en fait l'auteur de pièces attribuées àShakespeare,il entama, pendant sa période de maladie, en1884,une étude approfondie de la littératureélisabéthaine,dans le but d'étayer cette hypothèse. Cela le conduisit à publier deux articles, en1896et1897,qui exposaient ses vues.

En1890,Cantor participa à la fondation de laDeutsche Mathematiker-Vereinigung.Il en organisa la première réunion à Halle en1891et en fut élu président. Cela montre clairement que l'attitude de Kronecker n'a pas été fatale à sa réputation. Malgré l'animosité qu'il éprouvait pour Kronecker, Cantor l'invita à prendre la parole lors de cette réunion; Kronecker ne put le faire, car son épouse était à ce moment-là à l'article de la mort.

Après le décès de son plus jeune fils, en1899,Cantor souffrit d'une dépression chronique, qui l'affecta jusqu'à la fin de sa vie et pour laquelle il fut dispensé d'enseignement à plusieurs reprises et enfermé de manière répétitive en sanatorium. Cependant, il n'abandonna pas complètement les mathématiques, car il donna des conférences sur les paradoxes de lathéorie des ensembles(attribués àBurali-Forti,Russell,et Cantor lui-même) lors d'une réunion de laDeutsche Mathematiker-Vereinigung,en1903et il assista auCongrès international des mathématiciensdeHeidelbergen1904.

En1904,il fut lauréat de lamédaille Sylvesterde laRoyal Society.

Cantor prit sa retraite en1913;il fut confronté à la pauvreté et souffrit même de la faim au cours de laPremière Guerre mondiale.La célébration publique de ses 70 ans fut annulée à cause de la guerre et quelques mois avant la fin de celle-ci, il mourut enà l'hôpital où il avait passé la dernière année de sa vie.

Cantor fut le fondateur de lathéorie des ensembles,à partir de1874.Avant lui, le concept d'ensemble était plutôt basique, et avait été utilisé implicitement depuis les débuts des mathématiques, depuis Aristote. Personne n'avait compris que cette théorie avait des éléments non implicites. Avant Cantor, il n'y avait en fait que les ensembles finis (qui sont aisés à comprendre) et les ensembles infinis (qui étaient plutôt sujets à discussion philosophique). En prouvant qu'il y a une infinité de tailles d'ensembles infinis, Cantor a établi que les bases de cette théorie étaient non-triviales. La théorie des ensembles joue ainsi le rôle d'une théorie fondatrice pour les mathématiques modernes, parce qu'elle interprète des propositions relatives à des objets mathématiques (par exemple, nombres et fonctions) provenant de toutes les disciplines des mathématiques (comme l'algèbre,l'analyseet latopologie) en une seule théorie, et fournit un ensemble standard d'axiomes pour les prouver ou les infirmer. Les concepts de base de celle-ci sont aujourd'hui utilisés dans toutes les disciplines des mathématiques.

Dans une de ses premières publications, Cantor prouve que l'ensemble des nombres réels contient plus de nombres que l'ensemble des entiers naturels; ce qui montre, pour la première fois, qu'il existe des ensembles infinis de tailles différentes. Il fut aussi le premier à apprécier l'importance des correspondances un pour un (lesbijections) dans la théorie des ensembles. Il utilisa ce concept pour définir les ensembles finis et infinis, subdivisant ces derniers en ensembles dénombrables et non dénombrables.

Cantor introduisit des constructions fondamentales en théorie des ensembles, comme l'ensemble composé de tous les sous-ensembles possibles de A, appelé ensemble des parties de A. Il prouva plus tard que la taille de cet ensemble est strictement supérieure à celle de A, même quand A est un ensemble infini; ce résultat fut bientôt connu sous le nom dethéorème de Cantor.Cantor développa une théorie entière (une arithmétique) des ensembles infinis, appelés cardinaux et ordinaux, qui étendait l'arithmétique des nombres naturels. Il définit une notation des nombres cardinaux à l'aide de la lettre de l'alphabet hébreu א (aleph,convenablement indexée); pour les ordinaux, il employa la lettre grecque ω (omega). Cette notation est toujours utilisée aujourd'hui.

L'hypothèse du continu,introduite par Cantor, fut présentée parDavid Hilberten premier parmi uneliste de 23 problèmes ouvertslors de son célèbre exposé au Congrès International des mathématiciens de 1900 de Paris. Le travail de Cantor a aussi attiré d'autres remarques favorables que l'éloge d'Hilbert. Le philosophe américain Charles Peirce prisait la théorie des ensembles de Cantor, et, à la suite des cours magistraux de Cantor au premier congrès international des mathématiciens (à Zurich en 1897), Hurwitz et Hadamard aussi exprimèrent leur admiration. À ce congrès, Cantor renouvela son amitié et sa correspondance avec Dedekind. Depuis 1905, Cantor correspondait avec son admirateur britannique et traducteurPhilip Jourdainsur l'histoire de la théorie des ensembles et sur ses idées religieuses, ce qui fut publié plus tard, comme le furent nombre de ses travaux présentés aux congrès.

Certains, commeGaliléeavaient déjà remarqué qu'un ensemble infini, comme les carrés des nombres entiers, pouvait être mis en correspondance avec un ensemble infini le contenant strictement, en l'occurrence tous les entiers. Il y a d'une certaine façon « autant » de carrés de nombres entiers que de nombres entiers. Cantor est le premier à donner un sens précis à cette remarque, à l'aide de la notion debijectionqu'il introduit (sous un autre nom) à l'occasion, puis à la systématiser. Par exemple Cantor montre qu'il y a autant denombres rationnels(ceux représentés par des fractions) que de nombres entiers. Cantor va plus loin et découvre qu'il y a plusieurs infinis, au sens où ils ne peuvent être mis en correspondance entre eux par unebijection:il montre en 1874 que la droite réelle contient plus denombres réels(« beaucoup plus ») que denombres algébriques(solutions d'équations polynomiales à coefficients rationnels); il découvre en 1877 à sa grande surprise (« Je le vois, mais je ne le crois pas », écrit-il à Dedekind[9]) que l'on peut mettre en bijection la droite et le plan (autrement dit, qu'il y a « autant » de points dans un petit segment que dans l'espace entier).

Cantor introduit la notion d'ensemble infinidénombrable:un ensemble qui peut être mis en bijection avec les nombres entiers, c’est-à-dire que l'on peut, d'une certaine façon, numéroter tous ses éléments par des entiers (sans répétition mais ce n'est pas essentiel). Il montre que les ensembles des nombresentiers relatifs,des nombres rationnels, et des nombres algébriques sont tous dénombrables, mais que l'ensemble desnombres réelsne l'est pas.

Il donne une preuve élégante et très courte de ce dernier résultat en 1891, où il utilise ce qui est connu maintenant comme l'argument diagonal de Cantor,et qui a été depuis très utilisé, en particulier enlogique mathématiqueet enthéorie de la calculabilité.Il utilise cet argument pour montrer que l'ensemble de tous les sous-ensembles d'un ensembleA,appeléensemble des partiesdeA,a strictement plus d'éléments queA,même siAest infini, c’est-à-dire que ces deux ensembles ne peuvent être mis en bijection. Cette proposition est aujourd'hui appeléethéorème de Cantor.Elle a pour conséquence, l'existence d'une hiérarchie stricte, et elle-même infinie, d'ensembles infinis.

Pour étudier l'infini, Cantor introduit deux notions de nombres et leur arithmétique particulière (somme, produit, exponentiation). La première est celle denombre cardinal,qui caractérise une classe d'ensembles pouvant être mis en bijection. Le plus petit nombre cardinal infini est celui des entiers naturels, le dénombrable. Le cardinal des nombres réels, ou de façon équivalent de l'ensemble des sous-ensembles des entiers naturels, est lapuissance du continu.Cantor introduit la lettre hébraïque א (aleph) pour désigner les cardinaux, notation toujours en usage aujourd'hui. Ainsi le cardinal de l'ensemble des entiers naturels est noté ℵ0(lire aleph zéro). La puissance du continu est un cardinal forcément supérieur ou égal au cardinal suivant immédiatement le dénombrable, que l'on note ℵ1.Cantor supposait que c'était ℵ1,c'est l'hypothèse du continu.

La seconde est celle denombre ordinal,qui généralise les entiers en tant qu'ils sont ordonnés. Il utilise pour cela la notion debon ordre,qu'il introduit en 1883. Cantor note les ordinaux avec des lettres grecques, le plus petit ordinal infini, celui de l'ensemble des entiers naturels, est noté ω0(aujourd'hui simplement ω). Pour les nombres cardinaux il utilise en fait un ordinal en indice de la lettre ℵ.

Les dix premières productions de Cantor portaient sur lathéorie des nombres,le sujet de sa thèse. Suivant la suggestion du professeurEduard Heine,Cantor s'oriente vers l'analyse. Heine propose à Cantor de résoudre un problème dont la solution échappait àDirichlet,Lipschitz,Bernhard RiemannetEduard Heinelui-même: l'unicité de la représentation d'une fonction par unesérie de Fourier.Cantor résout ce problème difficile en1869.Entre1870et1872,Cantor publie d'autres travaux sur lesséries trigonométriques,incluant une définition desnombres irrationnelscomme des suites convergentes denombres rationnels.C'est l'une des deuxconstructions usuelles des nombres réels.Dedekind, avec qui Cantor s'est lié d'amitié en1872,cite ce travail dans la publication contenant sa propre construction desnombres réels,à partir de ce que l'on appelle maintenant lescoupures de Dedekind.

La naissance de lathéorie des ensemblesest souvent marquée par l'article de Cantor de 1874 « Sur une propriété du système de tous les nombres algébriques réels[10]» dans lequel Cantor démontre que les nombres réels ne sont pas dénombrables. Cette démonstration diffère de celle plus familière qui utilise sonargument diagonalde 1891.

L'article de 1874 contient deux constructions. La première montre que lesnombres algébriquesréels (racinesréelles despolynômesàcoefficientsentiers) forment unesuite.Autrement dit, les nombres algébriques réels sont dénombrables. La seconde construction commence par n'importe quelle suite de nombres réels; utilisant cette séquence, Cantor construit des segments emboîtés dontl'intersectioncontient un nombre réel n'appartenant pas à la suite. Puisqu'on peut toujours construire un nombre réel n'appartenant pas à une suite donnée, les nombres réels ne peuvent former une suite. Autrement dit, les nombres réels ne sont pas dénombrables. Cantor construit unnombre transcendant(c'est-à-dire un nombre non algébrique) en appliquant sa seconde construction à la suite de nombres algébriques réels. Il remarque aussi que ses constructions redémontrent le théorème deLiouville:Tout intervalle réel contient une infinité de nombres transcendants[11].En 1878, Cantor publia une construction démontrant qu'il y a « autant » de nombres transcendants que de nombres réels[12].

Entre 1879 et 1884, Cantor publia, dans lesMathematische Annalen(éditées parFelix Klein), une série de six articles qui constituent une introduction à sa théorie des ensembles. En même temps grandissait une opposition croissante à ses idées, menée parKronecker,qui n'admettait des concepts mathématiques que s'ils pouvaient être construits en un nombre fini d'étapes à partir des entiers, qu'il considérait comme seuls donnés intuitivement. Pour Kronecker, la hiérarchie des infinis de Cantor était inadmissible, et accepter le concept d'infini actuel ouvrirait la porte à des paradoxes qui mettraient en danger l'édifice mathématique tout entier. Cantor découvrit égalementl'ensemble qui porte son nomdurant cette période.

Le cinquième article de cette série, "Grundlagen einer allgemeinen Mannigfaltigkeitslehre" ( "Fondements d'une théorie générale des agrégats" ) est le plus important des six, et fut aussi publié en monographie séparée. Il contenait des réponses de Cantor à ses critiques, et montrait comment les nombres transfinis formaient une extension systématique des entiers naturels. Il commence par définir les ensembles bien ordonnés; les nombres ordinaux sont alors introduits comme types d'ordre de ces ensembles. Cantor définit ensuite l'addition et la multiplication des ordinaux. En 1885, Cantor étendit sathéorie des typesd'ordre, les ordinaux en devenant simplement un cas particulier.

En 1891, il publia un article contenant son élégant "argument diagonal"pour montrer l'existence d'un ensemble non dénombrable; il appliqua la même idée pour prouver lethéorème de Cantor:le cardinal de l'ensemble des parties d'un ensemble A est strictement plus grand que le cardinal de A. Ceci établissait la richesse de la hiérarchie des ensembles infinis et de l'arithmétique des cardinaux et des ordinaux que Cantor avait définie. L'argument diagonal joue un rôle fondamental dans la solution duproblème de l'arrêt,et dans la preuve du premierthéorème d'incomplétude de Gödel.

En 1895 et 1897, Cantor publia un article en deux parties dans lesMathematische Annalen;ce furent ses dernières contributions significatives à la théorie des ensembles. Le premier article commence par définir ensembles, sous-ensembles, etc. d'une manière qui reste largement acceptable aujourd'hui; l'arithmétique des cardinaux et des ordinaux y est réexaminée. Cantor aurait voulu que le second article contînt une preuve de l'hypothèse du continu,mais dut se contenter d'exposer sa théorie des ensembles bien ordonnés et des ordinaux. Il essaie également de démontrer que si A et B sont des ensembles tels que A est en bijection avec un sous-ensemble de B et B en bijection avec un sous-ensemble de A, alors A et B sont équipotents;Ernst Schröderavait énoncé ce théorème un peu auparavant, mais sa preuve, tout comme celle de Cantor, présentait des lacunes;Felix Bernsteinfournit une démonstration correcte dans sa thèse de 1898, d'où le nom actuel dethéorème de Cantor–Bernstein.

Bibliographie

[modifier|modifier le code]

Textes de Cantor

[modifier|modifier le code]
  • 1872– Über die Ausdehnung eines Satzes aus der trigonometrischen Reihen, Mathematische Annalen 5,p.123-132 (Cantor [1932p.92-102]).
  • 1874– Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen, Journal de Crelle 77,p.258-262, (Cantor [1932,p.115-118]).
  • 1878– Ein Beitrag zur Mannigfaltigkeitslehre, Journal de Crelle 84,p.242-258 (Cantor [1932,p.119-133]).
  • 1879
    • a – Über einen Satz aus der Theorie der stetigen Mannigfaltigkeiten. (Cantor [1932,p.134-138]).
    • b – Über unendliche lineare Punktmannigfaltigkeiten, 1. (Cantor [1932p.139-145]).
  • 1880– Über unendliche lineare Punktmannigfaltigkeiten, 2. (Cantor [1932p.145-148]).
  • 1882– Über unendliche lineare Punktmannigfaltigkeiten, 3. (Cantor [1932p.149-157]).
  • 1883
    • a – Über unendliche lineare Punktmannigfaltigkeiten, 4. (Cantor [1932p.157-164)].
    • b – Über unendliche lineare Punktmannigfaltigkeiten, 5. Grundlagen einer allgemeinen Mannigfaltigkeitslehre. Ein mathematisch-philosophischer Versuch in der Lehre des Unendlichen (Cantor [1932p.165-208]).
      • bfr – Fondements d'une théorie générale des ensembles. Leibzig, Teubner. Trad. Milner in Cahiers pour l'Analyse 10. La formalisation,p.35-52, le Seuil, Paris 1969.
  • 1884– Über unendliche lineare Punktmannigfaltigkeiten, 6. (Cantor [1932p.210-246]).
  • 1887-1888– Mitteilungen zur Lehre vom Transfiniten. (Cantor [1932,p.378-439]).
  • 1890– Gesammelte Abhandlungen zur Lehre vom Transfiniten, Halle, C.E.M. Pfeffer (Cantor [1932,p.370-439]).
  • 1891– Über eine elementare Frage zur Mannigfaltigkeitslehre,Jahresbericht der Deutschen Mathematiker-Vereinigung1,p.75-78 (Cantor [1932p.278-281]).
    • fr - Traduction et introd.H. Sinaceur:Sur une question élémentaire de la théorie des ensembles, in Logique et fondements des mathématiques, Anthologie (1850-1914), Paris, Payot,p.197-203.
  • 1895-1897– Beiträge zur Begründung der transfiniten Mengenlehre, Mathematische Annalen 46,p.481-512; 49,p.207-246 (Cantor [1932,p.282-356]).
    • fr - Trad. Sur les fondements de la théorie des ensembles transfinis. Trad F. Marotte. In Mémoires de la Société des Sciences physiques et naturelles de Bordeaux, rééd. Gabay, Paris 2000.
  • 1905– Ex Oriente Lux, Gespräche eines Meisters mit seinem Schüler über wesentliche Puncte des urkundlichen Christenthums. Berichtet vom Schüler selbst. Halle: C. E. M. Pfeffer.
  • 1932(de)«Gesammelte Abhandlungen mathematischen und philosophischen Inhalts»(consulté le),éd. parErnst Zermelo.Presque tous les écrits de Cantor (en allemand).
  • Correspondance Cantor-Dedekind, Trad.J. Cavaillès,in Cavaillès J.,Philosophie des mathématiques,Paris, Hermann, 1962,p.179-250.
Signalons aussi le document électronique disponible sur le site de la BNF (Lire en ligne) qui rassemble la majorité des œuvres de Cantor traduites en français: [1872], [1874], [1878], [1879], [1880], [1882], [1883a], [1883b], [1884], avec une introduction parPierre Dugac.Cela dit, si certaines de ces traductions ont été revues parPoincaré,d’autres sont souvent mauvaises et éparses, et sont donc à consulter avec toutes les précautions nécessaires (voir la présentation dePierre Dugacpour plus de détails).

Ouvrages sur Cantor et son œuvre

[modifier|modifier le code]

Document utilisé pour la rédaction de l’article:document utilisé comme source pour la rédaction de cet article.

Ces deux articles sont les principales sources de la version anglaise, et donc de celle-ci.
  • J.P. Belna,Cantor,Paris, Les belles lettres, 2000;
  • N. Charraud,Infini et inconscient, essai sur Georg Cantor,Paris, Economica, 1994;
  • A.-M. Décaillot,Cantor et la France. Correspondance du mathématicien allemand avec les Français à la fin duXIXesiècle,Paris, Kimé, 2008;
  • J.L. Gardies,Pascal entre Eudoxe et Cantor,Paris, Vrin, 1984;
  • (en)J.W. Dauben,Georg Cantor, His Mathematics and Philosophy of the Infinite,Princeton University Press, 1979.
  • Gustavo ErnestoPiñeiroet MagaliMangin(trad.),La formalisation du concept de l'infini: Cantor,Barcelone, RBA Coleccionables,,175p.(ISBN978-84-473-9317-6).Ouvrage utilisé pour la rédaction de l'article
  • Leonida Lazzari,L'infinito di Cantor.Editrice Pitagora, Bologna, 2008.
  • Georges Antoniadès Metrios,Cantor à tort.Editions Sival-Presse, 1968.Jean Itarden a dit "on arrive à ne plus savoir si deux et deux font quatre"[13].

Notes et références

[modifier|modifier le code]
  1. Ces réserves furent reprises plus tard, parBrouweret dans une moindre mesureHermann Weyl.Ludwig Wittgensteinavait également des objections de fond[1].
  1. Christiane Chauviré,« Les mathématiques à rebrousse-poil »,dansLe grand miroir: essais sur Pierce et sur Wittgenstein,Presses Univ. Franche-Comté,coll.« Annales littéraires de l'Université de Franche-Comté / Agon » (no11),,386p.(ISBN9782848670447,lire en ligne),p.331-342
  2. «Arithmétique ordinale et cardinale et hiérarchies sur les ensembles», surHEC Lausanne
  3. «Cantor et les infinis», surbibnum.education.fr.
  4. ru: L'encyclopédie musicale (Музыкальная энциклопедия)
  5. De transformatione formarum ternariarum quadraticarum,à lire en lignehttp://www.mdz-nbn-resolving.de/urn/resolver.pl?urn=urn:nbn:de:bvb:12-bsb10479914-5
  6. Jean Cavaillès,préface de l'édition de la correspondance Cantor-Dedekind, reprise dansPhilosophie mathématique,pp 179-185
  7. (en)J. W. Dauben,Georg Cantor, His Mathematics and Philosophy of the Infinite,chap. 6.
  8. §3.2,(en)Ignacio Jané, «The role of the absolute infinite in Cantor's conception of set»,Erkenntnis,vol.42,no3,‎,p.375-402(DOI10.1007/BF01129011)
  9. Jean Cavaillès,Philosophie mathématique,p.211.
  10. L'article original:Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen.Traduction française:Sur une propriété du système de tous les nombres algébriques réels.Pour une analyse détaillée et l'histoire de cet article, voirPremier article de Cantor sur la théorie des ensembles(en)ouGeorg Cantor and Transcendental Numbersou encorePatrick DehornoyCantor et les infinis», surBibNum,.
  11. Joseph Liouville (1809-1882), «À propos de l'existence des nombres transcendants», surBibNum,,avec une analyse deMichel Mendès France.
  12. Dans son article de 1878, Cantor ne construit qu'une bijection entre l'ensemble des nombres irrationnels et l'ensemble des nombres réels (voirUne contribution à la théorie des ensembles,p.323-324). Toutefois, l'année suivante, il indiqua que sa construction s'applique à tout ensemble formé en supprimant dénombrablement beaucoup de nombres d'un intervalle réel (voirSur ensembles infinis et linéaires de points,p.353).
  13. Jean ItardGeorges Antoniadès Metrios, Cantor à tort»,Revue d'histoire des sciences,‎,p.268(lire en ligne)


Sur les autres projets Wikimedia:

Il a inspiré le personnage de Singer dans le romanVilla des hommesdeDenis Guedj(2007).

Articles connexes

[modifier|modifier le code]

Liens externes

[modifier|modifier le code]

Bases de données et dictionnaires

[modifier|modifier le code]