Luitzen Egbertus Jan Brouwer
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Brouwer.
«Comme but d'une vie on pourrait envisager l'abolition et la libération de toutes les mathématiques.»
Luitzen Brouwer, Vie, Art et Mysticisme
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/5a/Bohr_Brouwer_Zurich1932.tif/lossy-page1-260px-Bohr_Brouwer_Zurich1932.tif.jpg)
Naissance | ![]() Overschie ![]() |
---|---|
Décès | ![]() Blaricum ou Laren ![]() |
Sépulture | Begraafplaats Woensberg (d) ![]() |
Nationalité | néerlandaise ![]() |
Formation | |
Activités | Mathématicien, professeur d'université, topologue, philosophe, écrivain ![]() |
Fratrie | Hendrik Albertus Brouwer (en) ![]() |
A travaillé pour | Université d'Amsterdam ( - Université d'Amsterdam ( - Université d'Amsterdam ( - Université d'Amsterdam ( - ![]() |
---|---|
Membre de | |
Maître | Gerrit Mannoury (en) ![]() |
Directeur de thèse | |
Influencé par | |
Distinctions | |
Archives conservées par | North Holland Archives (d) ![]() |
Controverse de Brouwer-Hilber (d), théorème du point fixe de Brouwer, graphe de Brouwer-Haemers, théorème de Phragmén-Brouwer, interprétation de Brouwer-Heyting-Kolmogorov ![]() |
modifier - modifier le code - modifier Wikidata
Luitzen Egbertus Jan Brouwer (né le à Overschie et mort le à Blaricum) est un mathématicien néerlandais[1].
Biographie
Jeunesse
Aîné de trois enfants, ce fils du maître d'école Egbertus Luitzens Brouwer et de Henderika Poutsma, témoigne dès son plus jeune âge d'une intelligence exceptionnelle. À 16 ans seulement, le jeune prodige s'inscrit à l'université d'Amsterdam pour y étudier les mathématiques, sans pour autant négliger ses lectures de chevet, celles des philosophes Emmanuel Kant et Arthur Schopenhauer. N'étant guère sociable, du fait de ses capacités fulgurantes, toujours en avance de plusieurs années sur son cursus scolaire, le jeune homme confirme à l'âge de 17 ans sa foi au sein de la Fraternité remontrante, ce qui achève de prouver son individualisme opiniâtre. Pour Bertus — c'est ainsi qu'il signa sa profession de foi solennelle —, seuls prévalent le moi, celui que nous connaissons, et Dieu, celui que nous ressentons. Les autres ne méritent que dédain, pour reprendre ses propres mots. À l'université, le jeune Brouwer se montre influencé par les mouvements néoromantiques qui condamnent alors le progrès scientifique dans une défense du retour à la nature. Ces idées l'amènent à rédiger un écrit de jeunesse qu'il publie en 1905 : Leven, Kunst en Mystiek[n 1]. Deux professeurs l'influencent fortement : d'une part son directeur de thèse, Diederik Korteweg, d'autre part Gerrit Mannoury (1867-1956), à la fois mathématicien et philosophe, qui a encouragé aux Pays-Bas l'étude des fondements des mathématiques. Sur le plan sentimental, il sait réviser son jugement dès lors qu'il épouse ses idéaux rousseauistes. Car, bien qu'ouvertement misogyne, Brouwer se marie en 1904 avec Élisabeth de Holl, une riche pharmacienne divorcée, de onze ans son aînée. Lize ne lui donnera aucun enfant (même si elle a déjà une fille de son précédent mariage), mais son aide économique permet à Brouwer de vivre à l'écart de la cacophonie de la société, tandis qu'il travaille sur ses recherches doctorales. Le , Il décroche à l'université d'Amsterdam le titre de docteur, grâce à sa thèse intitulée Over de grondslagen der wiskunde[n 2],[4].
Dans la foulée de ses recherches menées pour sa thèse doctorale, Brouwer se familiarise avec la célèbre liste de problèmes dressée par David Hilbert. Il décide de s'atteler au 5e problème[n 3] et, lors du Quatrième Congrès international des mathématiques (Rome, 1908), présente un exposé accompagné d'un aperçu de ses recherches à ce stade, qui attire immédiatement l'attention des experts. Peu après, en , après avoir été nommé Privatdozent à l'université d'Amsterdam, Brouwer dédie son premier cours à la nature de la géométrie, présentant l'Analysis situs comme l'aurait fait Klein, c'est-à-dire comme l'étude des propriétés qui restent invariantes sous l'action du groupe des transformations continues. Quelques mois plus tard, lors des fêtes de Noël 1909-1910, Brouwer rencontre à Paris Jacques Hadamard, Henri Poincaré et Émile Borel, entre autres mathématiciens français. De retour aux Pays-Bas, il se replonge dans ses recherches, toujours plus axées sur la topologie. Parmi les articles que Brouwer publie entre 1910 et 1913, l'un se distingue particulièrement : « Sur l'analysis situs », paru en 1910 dans les Mathematische Annalen[6], la revue prestigieuse éditée par Hilbert et Klein. La démonstration de l'invariance de la dimension, qui consacre Brouwer comme père de la topologie, voit le jour en 1911 à travers cinq pages bien remplies, un contenu soigné publié dans les Mathematische Annalen sous le titre « Preuve de l'invariance de la dimension »[7]. Deux ans après, en 1913, Brouwer trouve une seconde preuve, plus subtile et élégante[8]. Agacé par une autre preuve de l'invariance de la dimension publiée juste après la sienne par Henri Lebesgue dans les Mathematische Annalen, Brouwer décide de la démanteler en lui opposant un contre-exemple probant. En 1911, il présente un théorème dont il peaufinait l'énoncé depuis 1909 : le théorème du point fixe de Brouwer[9],[n 4],[11].
Professeur d'université
Ses contributions fondamentales à la topologie valent à Brouwer d'être élu membre, en 1912, de l'Académie royale néerlandaise des arts et des sciences. La même année, il est nommé professeur extraordinaire de théorie des ensembles, théorie des fonctions et théorie axiomatique à l'université d'Amsterdam[n 5]. Quand, le , Brouwer donne son premier cours, il ne traite pas de topologie mais de philosophie des mathématiques, revenant à la question des fondements de la discipline qu'il avait ébauchée dans sa thèse doctorale de 1907. Diederick Korteweg lui cède généreusement sa chaire de professeur ordinaire en 1913, l'année même de la dernière grande contribution de Brouwer aux fondements de la topologie, sa deuxième démonstration de l'invariance de la dimension. Dès lors, il se contente de publier des articles relativement mineurs sur la topologie. En outre, le lancement des hostilités en 1914 paralyse l'activité scientifique en Europe. Une fois la Première Guerre mondiale terminée, il se consacre presque exclusivement au développement de l'intuitionnisme mathématique et des mathématiques intuitionnistes[13].
Exclu en 1928, à l'instigation de David Hilbert, du comité de rédaction des Mathematische Annalen, Brouwer fonde sa propre revue Compositio Mathematica dans les années 1930. En effet, il refuse de publier dans les Mathematische Annalen à la suite de la « bataille des rats et des grenouilles »[n 6]. Il embauche un assistant, Hans Freudenthal, un mathématicien Allemand venu de Berlin, naturalisé néerlandais, ambitieux et rétif, et spécialiste de topologie, des fondements, de la philosophie et même de la didactique des mathématiques. Il n'est donc guère étonnant que ses rapports avec Brouwer se soient rapidement dégradés. Brouwer entrave sa promotion et se désintéresse complètement de lui pendant la Seconde Guerre mondiale, lorsque Freudenthal est arrêté en raison de ses origines juives. Après la guerre, il faut un certain temps avant que Brouwer ne récupère son poste de professeur. Il est aussi limogé de la direction de Compositio Mathematica en raison de ses penchants collaborationnistes, et notamment pour avoir encouragé les étudiants de l'université d'Amsterdam à signer une déclaration de loyauté envers l'occupant. Pis cette fois, il est renvoyé du conseil éditorial de sa propre revue. Il devient cependant membre étranger de la Royal Society[15],[16] le et prend sa retraite en 1951[17].
De plus en plus isolé, Brouwer termine sa vie en aidant sa femme à la pharmacie qu'elle dirige à Amsterdam, et s'intéresse à la politique locale. À l'écart du monde, il se sent stigmatisé, estimant que ses contributions ne sont pas appréciées à leur juste valeur. Néanmoins, il est invité à donner des conférences aux quatre coins du monde (Cambridge en 1947-1951, Madrid en 1949, Afrique du Sud en 1952, Canada et États-Unis en 1953, etc.). Mais sa paranoïa augmentant, il affirme de plus en plus être victime de complots de la part de ses collègues. Il meurt octogénaire, en 1966, renversé par une voiture alors qu'il sort de son domicile, à Blaricum[18].
Ses attitudes
L'un des étudiants de Brouwer, le mathématicien néerlandais van der Waerden nous a livré un témoignage exceptionnel sur son ancien professeur. Brouwer, qui ne quitte Blaricum que pour faire cours, n'autorise pas ses étudiants à l'interrompre et fait cours dos à eux, le regard fixé au tableau. Paradoxalement, il n'enseigne jamais la topologie à l'université — alors qu'il ne prend sa retraite qu'en 1951 — et se consacre à temps plein à la philosophie des mathématiques, quand bien même de jeunes topologues viennent le rencontrer pendant des années, désireux de faire la connaissance du père de leur discipline. C'est à croire que Brouwer n'est pas convaincu de la validité de ses travaux topologiques du point de vue intuitionniste. Tout au long de sa vie, il publie d'ailleurs des articles dans lesquels il tente partiellement de développer la topologie sous l'angle de l'intuitionnisme. Contre son gré, il devient le Dr Jekyll et Mr Hyde des mathématiques.
Chez lui, il aime à résoudre des problèmes mathématiques allongé dans son lit, les yeux fermés, ou assis par terre en tailleur tel un ascète, ce qui lui permet d'appréhender ces problèmes de manière plus visuelle que formelle, en manipulant mentalement des figures plutôt que des formules. Il accompagne d'ailleurs ses articles consacrés à la topologie de nombreux dessins dont l'abstraction rappelle les peintures du Russe Vassily Kandinsky[17].
Philosophie de vie
Dans l'opuscule incendiaire Leven, Kunst en Mystiek, un écrit de jeunesse publié en 1905, Brouwer fustige la société qui l'entoure, se disant farouchement antiscientifique. Cette œuvre contient de manière surprenante déjà toutes les prémices de sa future vision des mathématiques. Pour lui, l'être humain est un être spirituel, une âme prisonnière d'un corps, il se destine donc à une vie contemplative, dédiée à l'intuition sous sa forme la plus pure. L'intuition, ou plutôt vision intérieure, est la clé de la véritable sagesse, permettant de repousser les frustrations d'un monde marqué par l'isolement et la douleur. C'est à peine si Brouwer mentionne les mathématiques dans ce brûlot, même s'il préfigure là une partie de la philosophie idéaliste et solipsiste qui influencera sa conception des mathématiques, en dévoilant ses doutes sur l'adéquation du langage dans la transmission de nos pensées. Cette vision fondée sur le rejet de la société sera même mise à l'épreuve pour Brouwer lorsqu'il se fera construire un chalet, qualifié familièrement de « hutte », dans les bois près de Blaricum[n 7]. Si le chercheur s'y réfugie pour apaiser ses crises de nerfs, il y accouche de ses meilleurs travaux en topologie et sur les fondements des mathématiques[20].
Formalisme et intuitionnisme
Dans les années 1920, le grand débat sur les fondements des mathématiques tourne essentiellement autour de la querelle entre le formalisme et l'intuitionnisme, avec David Hilbert et Brouwer en chefs de file respectifs. Rapidement, la polémique sort du cadre purement académique pour se transformer en un affrontement direct entre ses protagonistes. En fin de compte, le débat sur les fondements des mathématiques ne sera à l'avantage d'aucun des deux.
En 1921, se sentant trahi, Hilbert lance les hostilités : cette année-là, le plus réputé de ses élèves, Hermann Weyl, publie un pamphlet propagandiste intitulé « Sur la nouvelle crise des fondements des mathématiques », dans lequel il adhère aux thèses radicales de Brouwer, s'autoproclamant apôtre de l'intuitionnisme et prophétisant l'avènement d'une révolution au royaume des mathématiques. Lors d'une conférence intitulée « Les nouveaux fondements des mathématiques », qu'il donne en 1922, il déclare qu'« en suivant de tels réformateurs — Brouwer et Weyl —, nous risquons de perdre une bonne partie de nos concepts, résultats et méthodes les plus précieux ». Au cours des années qui suivent, tandis que Hilbert donne des conférences çà et là sur un ton triomphal, annonçant que la preuve finale de la cohérence des mathématiques est sur le point de voir le jour, Brouwer attaque sur deux fronts : il publie une série d'articles systématiques sur les mathématiques intuitionnistes dans les Mathematische Annalen et lance plusieurs offensives sur le territoire légitime du formalisme. En 1927, il se rend à Berlin où il rallie à sa cause Ludwig Bieberbach, un mathématicien allemand polyvalent qui voit dans l'intuitionnisme l'antidote contre l'épidémie formaliste, et le Néerlandais Hans Freudenthal qui deviendra son disciple. En 1928, il est convié à donner deux cours sur la philosophie et les mathématiques intuitionnistes à Vienne. Sont présents dans l'assemblée, outre divers membres du Cercle de Vienne, Ludwig Wittgenstein et le jeune Kurt Gödel. Hilbert, qui est l'éditeur des Mathematische Annalen, craignant qu'après sa mort[n 8], la revue se convertisse à l'intuitionnisme, décide d'expulser Brouwer du comité éditorial[n 9]. La majorité des membres se plie aux desiderata de Hilbert et le nom de Brouwer est supprimé de la revue. Seuls s'y opposent — sans excès de zèle — le physicien Albert Einstein[n 10] et le mathématicien grec Constantin Carathéodory. Cette confrontation affecte profondément le mathématicien néerlandais, qui sombre davantage dans le solipsisme. En 1929, un voleur lui dérobe son journal scientifique dans une station de chemin de fer, effaçant d'un coup tout son travail intellectuel des années précédentes et le plongeant dans une profonde dépression[23].
Vers 1930, Brouwer et l'intuitionnisme ne sont plus en vogue, le mathématicien s'emmure dans le silence pendant quatorze ans, ne publiant plus rien de nouveau sur les mathématiques intuitionnistes[n 11]. En , un congrès sur l'épistémologie des sciences exactes se tient à Königsberg, afin de déterminer dans quelle mesure la crise des fondements des mathématiques est réglée. L'intuitionnisme est représenté par Arend Heyting, le hongrois John von Neumann soutient le formalisme de Hilbert. Le sixième jour, le jeune logicien autrichien Kurt Gödel — alors âgé de 24 ans — intervient en ces termes : « Je peux donner des exemples de propositions arithmétiques vraies mais indémontrables dans le système formel des mathématiques classiques ». En 1931, ce même Kurt Gödel publie ses théorèmes d'incomplétude qui signifient la ruine du programme de Hilbert. Certains pensent que le silence de Brouwer dans les années 1930 montre que le mathématicien néerlandais reconnaît tacitement que le logicien autrichien possède une vision claire des difficultés des fondements des mathématiques. D'autres pensent que si Brouwer ne commente pas les théorèmes de Gödel, c'est parce qu'il les juge évidents[25].
Travaux
En 1912, Brouwer démontre le théorème du point fixe qui porte son nom[9].
En 1918, il se lance dans un projet de reconstruction systématique des mathématiques sous l'angle intuitionniste, avec son article « Fondements d'une théorie des ensembles indépendante du principe logique du tiers exclu », auquel il donnera deux suites : l'une avec un titre identique en 1919, et l'autre avec un titre similaire en 1923. Cette même année, il se lance dans l'élaboration d'une théorie des fonctions, la fonction intuitionniste n'étant finalement que l'attribution de valeurs aux éléments qui composent un déploiement[n 12]. Le théorème de la continuité des fonctions intuitionnistes est formulé pour la première fois en 1923, mais Brouwer juge insatisfaisante la démonstration qui l'accompagne. L'année suivante, il tente de nouveau de prouver le théorème et démontre ce qu'il baptisera plus tard les théorèmes de la barre et de l'éventail[27].
Dans sa célèbre conférence de Vienne en 1930 sur « La structure du continu » (Paris, 1992), il situe sa pensée dans le prolongement de celles de Kant et de Schopenhauer. Reprenant les théories euclidiennes, la théorie des ensembles de Cantor et la méthode axiomatique, Brouwer fut conduit à mettre en opposition le formalisme, qui considère les mathématiques comme un langage, et l'ancienne école intuitionniste, en partie liée au formalisme, pour qui l'arithmétique demeure une collection de jugements synthétiques a priori.
Selon lui, le formalisme manque de base en ce qu'il limite au dénombrable achevé le nombre d'éléments composant le continu, et exclut toute temporalité des mathématiques. Michel Bourdeau résume ainsi cette position :
L'intuitionnisme vient battre en brèche cette conception. Les points du continu sont obtenus par des suites de choix d’intervalles emboîtés mais, si les choix effectués sont prescrits par une règle (suite lawlike) on ne sort pas du dénombrable, ce qui n’est pas satisfaisant. Pour obtenir le véritable continu, inexhaustible et non atomique, il faut donc introduire des suites de choix libres (lawless), qui se déploient librement dans le temps. Aussi loin qu’on avance, rien ne garantit que deux suites ayant le même segment initial ne différeront pas à une étape ultérieure[28].
Hommage
Depuis 1970, et tous les trois ans, la Société royale mathématique des Pays-Bas (Koninklijk Wiskundig Genootschap, en abrégé KWG) honore de la Médaille Brouwer un mathématicien exceptionnel, en mémoire de Luitzen Egbertus Jan Brouwer.
Notes et références
Notes
- ↑ Vie, Art et Mysticisme[2]
- ↑ Sur les fondements des mathématiques. Dans cette thèse, Brouwer abordait la genèse de la connaissance mathématique, ses rapports avec la logique et l'expérience, ainsi que sa valeur pour la société et l'individu. L'auteur préfigurait l'intuitionnisme ; d'ailleurs, son directeur de thèse, le professeur Korteweg, avait rejeté certaines parties, non seulement parce qu'elles étaient trop brutes, mais aussi car elles découlaient de convictions philosophiques déconcertantes empreintes de mysticisme et de pessimisme[3]
- ↑ Démontrer que les groupes de Lie sont nécessairement différentiables[5]
- ↑ La légende prétend que Brouwer eut l'idée de ce théorème en remuant sa tasse de café ; il se serait alors aperçu qu'un point de l'écume conservait toujours la même place[10]
- ↑ Grâce, en partie, à une lettre de recommandation signée de la main de Hilbert, et surtout à la campagne que mena en sa faveur Diederick Korteweg[12]
- ↑ Expression lapidaire d'Albert Einstein s'inspirant de l'œuvre grecque Batrachomyomachia[14]
- ↑ Blaricum était à l'époque un village fréquenté par des artistes, des végétariens et des bohémiens[19]
- ↑ Hilbert souffrait d'une anémie qui s'aggravait[21]
- ↑ Cet épisode est raconté en détail pas Dirk van Dalen dans Dirk van Dalen, « The War of the Frogs and the Mice, or the Crisis of the Mathematische Annalen », The Mathematical Intelligencer, vol. 12, no 4, , p. 17 (lire en ligne)
- ↑ Albert Einstein, qui considérait Brouwer comme un cas clinique, qualifia cet épisode de « bataille de rats et de grenouilles »[22]
- ↑ De 1942 jusqu'à sa mort (1966), il se contente de présenter de courts articles fort cryptiques sur la philosophie intuitionniste[24]
- ↑ Afin de manipuler des ensembles de nombres réels et, dans la foulée, de reconstruire les notions fondamentales de l'analyse, Brouwer définit un nouveau concept : les déploiements (spreads). Un déploiement est une « espèce mathématique » qui se caractérise par le fait de constituer une multiplicité de suites de choix subordonnées à une certaine loi, stipulant lesquelles sont admissibles ou non. En temps normal, un déploiement est représenté par un graphe en forme d'arbre[26]
Références
- ↑ Luitzen Egbertus Jan Brouwer sur Encyclopædia Britannica.
- ↑ Madrid Casado et Gauthier 2019, p. 17
- ↑ Madrid Casado et Gauthier 2019, p. 28/30
- ↑ Madrid Casado et Gauthier 2019, p. 17-18/28/30
- ↑ Madrid Casado et Gauthier 2019, p. 57
- ↑ (de) L. E. G. Brouwer, « Zur Analysis Situs », Mathematische Annalen, vol. 68, , p. 422-434 (lire en ligne)
- ↑ (de) L. E. G. Brouwer, « Beweis der Invarianz des n-dimensionalen Gebiets », Mathematische Annalen, vol. 71, , p. 305-313 (lire en ligne).
- ↑ (de) L. E. G. Brouwer, « Beweis der Invarianz des geschlossenen Kurve », Mathematische Annalen, vol. 72, , p. 422-425 (lire en ligne).
- ↑ a et b (de) L. Brouwer, « Über Abbildung von Mannigfaltigkeiten », Mathematische Annalen, vol. 71, , p. 97-115 (lire en ligne).
- ↑ Madrid Casado et Gauthier 2019, p. 68
- ↑ Madrid Casado et Gauthier 2019, p. 57-58/60/63-64/68
- ↑ Madrid Casado et Gauthier 2019, p. 71
- ↑ Madrid Casado et Gauthier 2019, p. 71-73
- ↑ Madrid Casado et Gauthier 2019, p. 140
- ↑ (en) John J. O'Connor et Edmund F. Robertson, « Luitzen Egbertus Jan Brouwer », sur MacTutor, université de St Andrews.
- ↑ DOI 10.1098/rsbm.1969.0002
- ↑ a et b Madrid Casado et Gauthier 2019, p. 73.
- ↑ Madrid Casado et Gauthier 2019, p. 139/146-147
- ↑ Madrid Casado et Gauthier 2019, p. 18
- ↑ Madrid Casado et Gauthier 2019, p. 17-18
- ↑ Madrid Casado et Gauthier 2019, p. 1139
- ↑ Madrid Casado et Gauthier 2019
- ↑ Madrid Casado et Gauthier 2019, p. 133/135/137/139-140
- ↑ Madrid Casado et Gauthier 2019, p. 142
- ↑ Madrid Casado et Gauthier 2019, p. 142-144
- ↑ Madrid Casado et Gauthier 2019, p. 118-119
- ↑ Madrid Casado et Gauthier 2019, p. 106/122-123
- ↑ Michel Bourdeau, « Présentation: Intuitionnisme et philosophie », Revue internationale de philosophie, vol. n° 230, no 4, , p. 383–400 (ISSN 0048-8143, DOI 10.3917/rip.230.0383, lire en ligne, consulté le )
Voir aussi
Sur les autres projets Wikimedia :
- Luitzen Egbertus Jan Brouwer, sur Wikimedia Commons
Bibliographie
: document utilisé comme source pour la rédaction de cet article.
- Carlos M. Madrid Casado et Adrien Gauthier (Trad.), Une géométrie entre topologie et philosophie : Brouwer, Barcelone, RBA Coleccionables, , 154 p. (ISBN 978-84-473-9728-0).
- Carlos M. Madrid Casado et Anne Postel (Trad.), À la recherche des axiomes universels : Hilbert, Barcelone, RBA Coleccionables, , 174 p. (ISBN 978-84-473-9333-6)
- Alberto Tomàs Pérez Izquierdo et Simon Prime (Trad.), L'invention de la topologie : Poincaré, Barcelone, RBA Coleccionables, , 174 p. (ISBN 978-84-473-9315-2)
- Dirk van Dalen, « A bibliography of L.E.J. Brouwer », dans One Hundred Years of Intuitionism (1907–2007), , 343-390 p. (lire en ligne).
- Dirk van Dalen, « The War of the Frogs and the Mice, or the Crisis of the Mathematische Annalen », The Mathematical Intelligencer, vol. 12, no 4, , p. 17 (lire en ligne).
- Dirk van Dalen, The selected correspondence of L. E. J. Brouwer, Springer, .
- Pambuccian, Victor, 2022, Brouwer’s Intuitionism: Mathematics in the Being Mode of Existence, dans Sriraman, B. (éd) Handbook of the History and Philosophy of Mathematical Practice. Springer, Cham. DOI 10.1007/978-3-030-19071-2_103-1
Articles connexes
- Controverse Brouwer-Hilbert (en)
- Théorème du point fixe de Brouwer
- Théorème de Phragmén-Brouwer
- Théorème de l'invariance du domaine
- Théorème de la boule chevelue
- Logique intuitionniste
Liens externes
- Ressources relatives à la recherche
:
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
- Stanford Encyclopedia of Philosophy
- Notices dans des dictionnaires ou encyclopédies généralistes
:
- Biografisch Portaal van Nederland
- Britannica
- Brockhaus
- Den Store Danske Encyklopædi
- Deutsche Biographie
- Enciclopedia italiana
- Enciclopedia De Agostini
- Gran Enciclopèdia Catalana
- Hrvatska Enciklopedija
- Larousse
- Nationalencyklopedin
- Proleksis enciklopedija
- Store norske leksikon
- Treccani
- Universalis
- Notices d'autorité
:
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Italie
- CiNii
- Belgique
- Pays-Bas
- Pologne
- Israël
- NUKAT
- Catalogne
- Suède
- Vatican
- Australie
- Norvège
- WorldCat
Portail de la logique
Portail des mathématiques