Étape 1 — L’infini problématique : l’Antiquité grecque

Les premières évocations explicites de l’infini apparaissent chez les philosophes présocratiques. Anaximandre introduit la notion d’apeiron, conçu comme une réalité sans bornes ni détermination précise. Toutefois, cette conception relève principalement de la cosmologie et de la métaphysique, et ne constitue pas encore une théorie mathématique de l’infini.

La position la plus influente est celle d’Aristote, notamment dans sa Physique. Aristote rejette l’idée d’un infini actuel, qu’il juge contradictoire, mais admet l’infini potentiel. Selon lui, on peut toujours prolonger un processus — ajouter une unité, diviser un segment, poursuivre un raisonnement — sans jamais disposer d’une infinité donnée comme un tout. L’infini n’existe donc qu’en puissance, jamais comme un objet achevé.

Cette position a des conséquences directes sur les mathématiques grecques. Les géomètres acceptent l’idée de procédés illimités, mais évitent de traiter des ensembles infinis comme des totalités. Les démonstrations doivent reposer sur un nombre fini d’étapes, même lorsqu’elles portent sur des situations suggérant une divisibilité sans fin.

Les difficultés conceptuelles liées à l’infini sont mises en évidence par les paradoxes attribués à Zénon d’Élée. Ces raisonnements, portant sur le mouvement et la divisibilité de l’espace et du temps, montrent que l’usage non clarifié de l’infini peut conduire à des contradictions apparentes, et qu’il faut préciser son statut avant de l’intégrer pleinement aux mathématiques.

Ainsi, dans l’Antiquité grecque, l’infini est reconnu comme une notion nécessaire mais risquée. Accepté comme principe de prolongement indéfini, il est exclu du domaine des objets mathématiques achevés, et cette prudence marquera durablement la pensée occidentale.

Étape 2 — Moyen Âge : l’infini entre théologie et raison

Dans la tradition chrétienne, l’infini est d’abord pensé comme une caractéristique divine. Augustin d’Hippone affirme que Dieu est infini par essence, mais que l’esprit humain, limité, ne peut saisir l’infini que de manière imparfaite. Cette position permet d’accepter l’infini sur le plan théologique tout en le maintenant hors du champ des objets mathématiques.

Cette distinction est reprise et systématisée par la scolastique médiévale. Thomas d’Aquin, s’appuyant sur Aristote, affirme que seul Dieu peut être réellement infini. Le monde créé, lui, est nécessairement fini, et les mathématiques doivent se limiter à des objets finis ou à des processus relevant de l’infini potentiel.

Dans ce cadre, l’infini n’est pas totalement rejeté, mais strictement hiérarchisé. On distingue l’infini divin, parfait et absolu, de l’infini mathématique, qui n’est toléré que comme une manière de parler d’un processus sans borne finale. Cette séparation protège les mathématiques de paradoxes tout en préservant la cohérence théologique.

Cependant, certains penseurs médiévaux commencent à explorer les limites de cette doctrine. Des auteurs comme Jean Buridan ou Nicolas d’Oresme réfléchissent à des notions telles que la divisibilité indéfinie, les séries infinies ou les mouvements continus. Sans admettre explicitement l’infini actuel, ils préparent le terrain conceptuel de développements ultérieurs.

Ainsi, la période médiévale ne constitue pas une stagnation de la réflexion sur l’infini, mais une phase de stabilisation conceptuelle. En assignant à l’infini une place précise — divine plutôt que mathématique — elle permet aux mathématiques de se développer sans contradiction apparente, tout en conservant une question ouverte qui ressurgira avec force à l’époque moderne.

Étape 3 — Époque moderne : l’infini comme outil du calcul

Le développement de la physique moderne joue un rôle décisif dans cette évolution. Galilée met en évidence des paradoxes liés à l’infini, notamment lorsqu’il compare des ensembles infinis de nombres. Son célèbre raisonnement sur les entiers et leurs carrés montre qu’un ensemble infini peut être mis en correspondance avec une partie stricte de lui-même, remettant en cause les intuitions classiques sur la grandeur et la quantité.

C’est cependant avec la naissance du calcul infinitésimal que l’infini devient un instrument mathématique central. Isaac Newton et Gottfried Wilhelm Leibniz introduisent des méthodes reposant sur des infiniment petits et sur des processus de sommation ou de variation illimités. Ces outils permettent de définir la dérivée et l’intégrale, et de résoudre des problèmes jusque-là inaccessibles.

Dans ce cadre, l’infini est utilisé sans être véritablement défini. Les séries infinies, les limites et les quantités infinitésimales sont manipulées avec succès, mais leur statut logique reste flou. Les mathématiciens savent calculer avec l’infini, mais peinent à expliquer ce qu’il est exactement. Cette situation provoque de vives critiques, notamment de la part de philosophes qui dénoncent le caractère obscur ou contradictoire de ces méthodes.

Malgré ces difficultés, le calcul infinitésimal s’impose par son efficacité. Les succès spectaculaires obtenus en mécanique, en astronomie et en géométrie rendent impossible un retour en arrière. L’infini, longtemps tenu à distance, devient un partenaire incontournable du raisonnement mathématique. La question n’est plus de savoir s’il faut l’utiliser, mais comment le rendre rigoureux.

Cette tension entre efficacité et rigueur prépare la grande refondation conceptuelle des XVIIIᵉ et XIXᵉ siècles, au cours de laquelle les notions de limite, de convergence et de continuité seront progressivement clarifiées, ouvrant la voie à une nouvelle compréhension de l’infini.

Étape 4 — XIXᵉ siècle : rigueur, limites et infini maîtrisé

Un rôle central dans cette refondation est joué par Augustin-Louis Cauchy. Il introduit des définitions explicites de la limite, de la continuité et de la convergence, remplaçant les infinitésimaux par des raisonnements fondés sur des inégalités et des processus finis. L’infini n’est plus manipulé directement : il est approché.

Cette démarche est approfondie par Karl Weierstrass, qui propose une formulation entièrement arithmétique de l’analyse. Grâce à la définition dite ε–δ, les notions de limite et de continuité sont débarrassées de toute référence intuitive à l’infini ou à l’infiniment petit. L’infini devient un concept contrôlé par des conditions précises.

Dans ce nouveau cadre, les suites et les séries infinies occupent une place centrale. Leur étude conduit à distinguer des comportements très différents : certaines séries convergent, d’autres divergent, et ces propriétés peuvent être établies rigoureusement sans invoquer d’infini actuel. L’infini intervient comme un horizon de raisonnement, non comme un objet manipulé directement.

Cette rigueur nouvelle transforme profondément les mathématiques. Elle permet de sécuriser les résultats du calcul infinitésimal et d’étendre l’analyse à des situations de plus en plus générales. Toutefois, cette approche reste fidèle à la tradition aristotélicienne sur un point essentiel : l’infini est encore traité comme potentiel, jamais comme une totalité existant en acte.

C’est précisément cette limite conceptuelle qui sera remise en question à la fin du XIXᵉ siècle, lorsque certains mathématiciens oseront considérer l’infini comme un objet mathématique à part entière, inaugurant une rupture décisive dans l’histoire de la notion d’infini.

Étape 5 — L’infini comme objet : la révolution cantorienne

La figure centrale de cette révolution est Georg Cantor. En étudiant les ensembles de nombres réels et les séries trigonométriques, Cantor est conduit à considérer des collections infinies comme des totalités bien définies. Il introduit une méthode originale pour comparer leur taille, fondée non sur l’intuition, mais sur l’existence de correspondances entre ensembles.

Deux ensembles sont dits de même taille lorsqu’il existe entre eux une bijection. Cette définition conduit à un résultat profondément contre-intuitif : un ensemble infini peut être mis en correspondance avec une partie stricte de lui-même, sans contradiction logique. L’infini rompt ainsi avec les règles usuelles de la comparaison des grandeurs finies.

Cantor montre également que tous les infinis ne sont pas équivalents. Il distingue les ensembles dénombrables, comme l’ensemble des entiers ou des rationnels, et les ensembles non dénombrables, comme l’ensemble des nombres réels. Cette découverte introduit l’idée de hiérarchie des infinis, chacun caractérisé par un cardinal.

Cette conception marque une rupture radicale avec la tradition aristotélicienne. L’infini actuel, longtemps rejeté ou réservé au domaine divin, devient un objet mathématique légitime, manipulable par des règles précises. La théorie des ensembles fournit ainsi un cadre formel dans lequel l’infini peut être étudié sans contradiction.

La révolution cantorienne suscite cependant de vives résistances philosophiques et mathématiques. Certains y voient une avancée décisive, d’autres une source de paradoxes et de difficultés logiques. Ces tensions ouvriront la voie aux grandes réflexions du XXᵉ siècle sur les fondements des mathématiques et sur la nature même de l’infini.

Étape 6 — Crises et fondements : paradoxes, axiomes et pluralité des infinis

Le plus célèbre de ces paradoxes est celui formulé par Bertrand Russell. Il montre qu’autoriser sans restriction la formation d’ensembles conduit à une contradiction lorsqu’on considère l’ensemble de tous les ensembles qui ne se contiennent pas eux-mêmes. Ce paradoxe met en évidence la nécessité de limiter les constructions impliquant l’infini.

Face à ces difficultés, plusieurs mathématiciens entreprennent de refonder la théorie des ensembles sur des bases axiomatiques. Ernst Zermelo, puis Abraham Fraenkel, proposent un système d’axiomes destiné à encadrer rigoureusement l’usage de l’infini. Le système ainsi obtenu, connu sous le nom de théorie ZFC, devient le cadre de référence des mathématiques modernes.

Dans ce contexte, l’axiome du choix joue un rôle central et controversé. Bien qu’indispensable pour de nombreux résultats, il conduit à des conséquences fortement contre-intuitives, comme l’existence d’ensembles non mesurables ou le paradoxe de Banach–Tarski. Ces résultats renforcent le sentiment que l’infini possède une nature profondément différente du fini.

Parallèlement, des débats philosophiques intenses opposent différentes conceptions des mathématiques. Certains, comme David Hilbert, défendent une approche formaliste, visant à garantir la cohérence des systèmes axiomatiques. D’autres, comme L.E.J. Brouwer, rejettent l’infini actuel et fondent l’intuitionnisme, qui limite strictement l’usage de l’infini.

Ces confrontations ne conduisent pas à une solution unique, mais à une pluralité de cadres théoriques. L’infini n’est plus un concept homogène : il dépend désormais des axiomes et des principes logiques que l’on choisit d’adopter. Cette situation marque l’entrée des mathématiques dans une ère réflexive, où la question de l’infini est indissociable de celle des fondements.

Étape 7 — L’infini aujourd’hui : pluralité des cadres et perspectives contemporaines

Dans la théorie des ensembles moderne, certains mathématiciens étudient des infinis de plus en plus vastes, appelés grands cardinaux. Ces objets permettent d’explorer la structure profonde de l’infini, mais leur existence ne peut être démontrée à partir des axiomes standards de la théorie des ensembles. Ils illustrent le fait que certaines formes d’infini relèvent désormais de choix axiomatiques.

Parallèlement, des approches plus restrictives se développent. Le constructivisme et l’intuitionnisme, héritiers des idées de Brouwer, refusent l’infini actuel non constructible et privilégient les processus effectifs. Dans ces cadres, l’infini existe principalement comme une activité potentielle, jamais comme une totalité achevée indépendante de l’esprit.

L’infini joue également un rôle central en informatique théorique. Les modèles de calcul font souvent intervenir des ensembles infinis, des suites infinies ou des processus non bornés, tout en imposant des contraintes strictes sur ce qui est effectivement calculable. Les travaux d’Alan Turing montrent que certaines tâches sont impossibles à accomplir, même avec un temps ou une mémoire illimités, révélant une nouvelle frontière entre fini et infini.

En philosophie, la notion d’infini continue de susciter des débats. Certains y voient une construction purement formelle, d’autres une réalité mathématique indépendante, et d’autres encore un outil linguistique commode. L’infini se situe désormais à l’intersection de la logique, des mathématiques, de l’informatique et de la métaphysique.

Ainsi, loin d’être résolue, la question de l’infini demeure ouverte. Elle ne cesse de se reformuler à mesure que les mathématiques évoluent, témoignant de la capacité de cette notion à interroger les limites de la raison humaine et les fondements mêmes de la connaissance.