Voir la source de Infini

{{voir homonymes}}
[[Fichier:Infinite.svg|thumb|∞ : le [[Infini (symbole)|symbole infini]].]]
Le mot « '''infini''' » ('''-e, -s''') est un [[adjectif]] servant à qualifier quelque chose qui n'a pas de limite en nombre ou en taille. Il vient du latin ''[[Wikt:infinitus|infīnītus]]'', dérivé de ''[[Wikt:finitus|fīnītus]]'' « limité » (avec ''in-'', préfixe négatif), issu lui-même du verbe ''fīnĭo, fīnīre'' (« délimiter », mais aussi : « préciser », « déterminer », et intransitivement « finir »), et du nom ''[[Wikt:finis|fīnis]]'' (souvent au pluriel, ''fīnes'' : « bornes, limites d'un champ », « frontières d'un pays ») ; il signifie donc, littéralement « qui est sans borne »<ref>{{Ouvrage|langue=fr|nom1=Paul Robert, Alain Rey, Josette Rey-Debove ''et alii''|titre=Le Petit Robert 1, entrée "infini, ie [I]"|éditeur=[[Dictionnaires Le Robert]]|année=1990|pages totales=2175|passage=page 999|isbn=2-85036-066-X}}.</ref>, mais aussi « indéterminé » et « indéfini »<ref>Consulter en ligne le [[Dictionnaire illustré 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/latin/gaffiot.php?q=infinitus|passage=814}} ; → {{Lien web|titre=''fīnĭo, fīnis''|année=1934 |url=https://www.lexilogos.com/latin/gaffiot.php?q=finio|site=lexilogos.com|consulté le= 04/02/2022|passage=668 }} </ref>.
Lorsqu'il est [[Substantivation|substantivé]], l'infini désigne fondamentalement une [[Ensemble infini|notion mathématique]], ainsi qu'un [[Concept (philosophie)|concept philosophique]], [[métaphysique]] ou [[Conceptions de Dieu|théologique]], dont les paradoxes ont nourri depuis longtemps et nourrissent encore l'[[Histoire des idées|histoire de la pensée]] dans le monde entier.

Le [[Infini (symbole)|symbole de l'infini]], en mathématiques et au-delà des mathématiques, est « {{math|∞}} », inventé par le mathématicien [[John Wallis]] au {{s-|XVII}}<ref> {{article|langue=fr|périodique=Pour la Science|numéro=278 |auteur=Maria Reményi|titre=Histoire d'infini|année=2000 |mois=12 |jour=01 |url=https://www.pourlascience.fr/sd/histoire-sciences/histoire-d-infini-4185.php |passage=§ introductif |consulté le=04/02/2022}}.</ref>, signe dont l'origine est controversée et dont la forme peut évoquer un « 8 » horizontal (mais ce n'est pas en référence au chiffre 8 que ce signe fut choisi) ; cette forme a été rapprochée de celles de la [[lemniscate de Bernoulli]] ou du [[ruban de Möbius]]. Celles-ci sont d'ailleurs aussi des figurations possibles de l'infini ou de l'inaccessible [[mouvement perpétuel]], mais figurations « à la limite » justement, pour un concept qui est par définition ou par nature impossible à figurer.

La notion d'infini a fortement marqué l'histoire de la [[philosophie occidentale]] au moins depuis l'[[Philosophie en Grèce antique|antiquité grecque]], notamment dans la tentative de concilier la [[théologie chrétienne]] (dans ses réflexions sur le caractère à la fois infini ''et'' réel ou « [[Infini potentiel|actuel]] » de la [[Dieu|nature divine]]) avec la [[Néoplatonisme|pensée néoplatonicienne]] et l'[[aristotélisme]], et singulièrement avec la distinction conceptuelle d'[[Aristote]] entre {{Citation|''l'[[infini en acte]]'', effectif et concret, qui ne peut se réaliser dans la nature, et ''l'[[infini potentiel|infini en puissance]]'', celui que peuvent imaginer les hommes, le seul à exister}}<ref name="Delbecq">Voir sur ce sujet, dans le numéro spécial 202 consacré à ''L'Infini'' de la revue ''[[Sciences et Avenir]]'', l'article de {{article|langue=fr|périodique=Sciences et Avenir|auteur=Denis Delbecq|titre=Deux mille cinq cents ans pour approcher l'inconcevable|année=2020|mois=juillet/septembre| passage=26-31 |consulté le=04/02/2022}}.</ref>, mais seulement en tant que concept abstrait et potentialité. Les grandes étapes de cette réflexion ont probablement été, depuis le mystérieux ''[[Livre des XXIV philosophes]]'', du {{s-|IV}} au {{s-|XV}}, les œuvres de : [[Marius Victorinus]], [[Boèce]], [[Jean Damascène]], [[Thomas d'Aquin]], [[Raymond Lulle]], [[Jean Duns Scot]], [[Nicole Oresme]], et surtout [[Nicolas de Cues]] (voir la section « [[Nicolas de Cues#Une avancée vers l'Infini|Une avancée vers l'Infini]] » de l'article consacré à ce dernier)<ref name="Delbecq"/>. Sans oublier que c'est entre autres sa vision d'un univers infini constitué d'une infinité de mondes finis chantant tous la gloire de Dieu présent partout (au risque, pour l'[[Inquisition]] de confondre le Créateur avec sa création) qui a valu le [[bûcher]] à [[Giordano Bruno]], à l'orée du {{s-|XVII}}<ref> {{Harvsp|Delbecq|2020|p=28}}, « Giordano Bruno, prophète de l'infini, brûlé vif par l'Église ».</ref>.

Toutefois, cette notion d'infini a connu depuis le {{s-|XVII}} dans la [[Philosophie#La_philosophie_occidentale|pensée occidentale]], ainsi que dans l'[[histoire des mathématiques]] et des [[Histoire des sciences|sciences]], un rebond spectaculaire, notamment à partir du développement du [[calcul infinitésimal]] par [[Pierre de Fermat|Fermat]], [[Gottfried Wilhelm Leibniz|Leibniz]] et [[Isaac Newton|Newton]] (et déjà dans les œuvres de [[René Descartes|Descartes]]<ref>Surtout dans la troisième ''[[Méditations métaphysiques|Méditation métaphysique]]'', selon le philosophe [[Emmanuel Levinas|Emmanuel Lévinas]], dans son article de l'''[[Encyclopædia Universalis]]'' sur : {{Lien web|langue=fr|titre=INFINI, philosophie|url=https://www.universalis.fr/encyclopedie/infini-philosophie/|site=universalis.fr|consulté le= 7/02/2022|passage=Introduction}}. </ref>, de [[Blaise Pascal|Pascal]] et de [[Baruch Spinoza|Spinoza]]<ref>Ainsi, selon le philosophe des mathématiques [[Jean-Toussaint Desanti]], {{Citation|on trouve chez Spinoza, dans la première partie de [[L'Éthique]], l'expression achevée [...] d'un concept philosophique pleinement élaboré de l'infini }}. Lire en ligne, dans l'''[[Encyclopædia Universalis]]'' : {{Lien web|langue=fr|auteur=Jean Toussaint Desanti |titre=INFINI, mathématiques|url=https://www.universalis.fr/encyclopedie/infini-mathematiques/ |site=universalis.fr |consulté le= 7/02/2022|passage=Introduction }}. </ref>). Ces innovations en mathématiques (mais aussi en physique) ont induit un changement radical de perspectives : ainsi, [[Alexandre Koyré]] affirme que « la substitution d'un univers infini et homogène au cosmos fini et hiérarchiquement ordonné de la pensée antique et médiévale implique et nécessite la refonte des [[Premier principe|principes premiers]] de la raison philosophique et scientifique »<ref>{{Ouvrage|langue=fr|nom1=Alexandre Koyré|titre=Études d'histoire de la pensée scientifique|éditeur=[[Éditions Gallimard|Gallimard]]|collection=Tel|année=1985|pages totales=420|passage=avant-propos|isbn=978-2070703357|isbn2=2070703355|présentation en ligne=https://www.worldcat.org/title/etudes-dhistoire-de-la-pensee-scientifique/oclc/781648966&referer=brief_results|lire en ligne=https://www.amazon.fr/Études-dhistoire-pensée-scientifique-Alexandre/dp/2070703355/?_encoding=UTF8&pd_rd_w=kxEYc&pf_rd_p=a9c3ca7b-abff-498c-b615-9ad21542bafe&pf_rd_r=8GAAT3A7C9DNNM9D33HJ&pd_rd_r=b7826e37-b695-48b4-8e79-9d8bc02000b4&pd_rd_wg=Zm730&ref_=pd_gw_ci_mcx_mr_hp_atf_m&asin=2070703355&revisionId=&format=4&depth=1}}. Voir aussi la réédition en 2014 chez Gallimard, dans la « Bibliothèque des idées » : [https://www.worldcat.org/title/etudes-dhistoire-de-la-pense-scientifique/oclc/1038708343&referer=brief_results].</ref>.

== Historique ==
=== L'infini dans les cultures orientales ===
{{...}}

==== Religion égyptienne ====
Dans la [[Religion de l'Égypte antique|religion égyptienne antique]], [[Noun#Le_Noun|Noun]] était le nom du dieu d'un océan infini existant avant la création du monde<ref>[[James Peter Allen|James P. Allen]] - [https://books.google.co.uk/books?id=lF78Max-h8MC Middle Egyptian: An Introduction to the Language and Culture of Hieroglyphs] - [https://books.google.co.uk/books?id=lF78Max-h8MC&pg=PA130 {{p.|130}}] [[Cambridge University Press]], 15 April 2010 {{ISBN|1139486357}}  November 28th, 2017.</ref>{{,}}<ref>Ana Ruiz - [https://books.google.co.uk/books?id=QR-T557Pw3AC&pg The Spirit of Ancient Egypt] - [https://books.google.co.uk/books?id=QR-T557Pw3AC&pg=PA122 {{p.|121-122}}] Algora Publishing, 2001 {{ISBN|1892941694}} Accessed December {{10th}}, 2017 (search criteria at pages, taken from Thomas Lombardo, Ph.D. {{ISBN|1467805912}}).</ref>{{,}}<ref>Barbara Mendoza - [https://books.google.co.uk/books?id=aE83DwAAQBAJ&pg=PA210 from Ancient Egypt] [[ABC-CLIO]], 31 October 2017 {{ISBN|1440844011}} Accessed December {{3rd}}, 2017.</ref>{{,}}<ref>Françoise Dunand, Christiane Zivie-Coche, [https://books.google.co.uk/books?id=2Fe9yVzshx4C&pg ''Gods and Men in Egypt: 3000 BCE to 395 BCE''], [[université Cornell]], 2004, [https://books.google.co.uk/books?id=2Fe9yVzshx4C&pg=PA46 {{p.|46}}] {{ISBN|9780801488535}}.
</ref>{{,}}<ref>[[Maulana Karenga]] (2004) - [https://books.google.co.uk/books?id=ams2OPbmHMUC&pg Maat, the Moral Ideal in Ancient Egypt: A Study in Classical African Ethics] - [https://books.google.co.uk/books?id=ams2OPbmHMUC&pg=PA177 {{p.|177}}] Psychology Press, 2004 {{ISBN|0415947537}} - Volume 70 of ''[http://poj.peeters-leuven.be/content.php?url=journal&journal_code=olp Orientalia Lovaniensia analecta]'', ISSN 0777-978X Accessed December 3, 2017.</ref>.

==== Chine ====
Une théorie de l'infini a été développée par le [[moïsme]], une des « cent écoles » de philosophie nées en [[Chine]] au cours de la [[période des Royaumes combattants]], qui remettait en cause les enseignements [[Confucianisme|confucianistes]] et [[Taoïsme|taoïstes]]<ref>{{Ouvrage|langue=en|prénom1=Jean-Paul|nom1=Reding|titre=Comparative essays in early Greek and Chinese rational thinking|traduction titre=Essais comparatifs de la pensée rationnelle en Grèce et en Chine anciennes|lieu=Londres|éditeur=Routledge, Taylor & Francis Group|année=2016|pages totales=238|passage=page 99|isbn=1351950061|présentation en ligne=https://www.worldcat.org/title/comparative-essays-in-early-greek-and-chinese-rational-thinking/oclc/974711349&referer=brief_results|lire en ligne=https://books.google.co.uk/books?id=vDAlDwAAQBAJ&pg=PA99}}. Première édition par Graham éditeur en 1978.</ref> aux environs de [[300 av. J.-C.]] Cette théorie a été publiée dans le texte fondateur de cette école, qui est un recueil des paroles et des pensées de son maître : [[Mozi]]<ref>{{Ouvrage|langue=en|nom1=Julius Thomas Fraser; Nathaniel Morris Lawrence; Francis C. Haber; International Society for the Study of Time|titre=Zhang Yinzhi : Time, Science, and Society in China and the West|traduction titre=Zhang Yinzhi : Le Temps, la Science et la Société en Chine et en Occident|lieu=Amherst (Massachusetts)|éditeur=[[Macmillan Publishers]]/[[University of Massachusetts Press]]|collection=The study of time, 0001|année=1986|pages totales=262|passage=page 206|isbn=0870234951|présentation en ligne=https://www.worldcat.org/title/time-science-and-society-in-china-and-the-west/oclc/848475383&referer=brief_results|lire en ligne=https://books.google.co.uk/books?id=BOzpgwmYhRIC&pg=PA206}}.</ref>.

==== Mathématiques indiennes ====
{{article détaillé|Yajur-Véda|Mathématiques indiennes#Mathématiques de l'époque védique (-1500 à -400)}}
Le ''[[Yajur-Véda]]'' documente la plus ancienne utilisation connue de nombres allant jusqu'à cent mille billions (''parārdha'' en [[sanskrit]]<ref>{{Source Huet}}.</ref>). Il utilise aussi le concept d'infinité numérique (''pūrṇa''), établissant que si on soustrait ''pūrṇa'' de ''pūrṇa'', il reste toujours ''pūrṇa''<ref>[http://home.ica.net/~roymanju/Infinity.htm Zero, One, two, Three...Infinity].</ref>.

==== Judaïsme ====
La  [[Bible]] fait référence à l'infini en trois endroits du texte - dans le [[Livre de Job]], chapitre 22, verset 5, dans [[Psaume|Psaumes]] 147 : 5 et au [[Nahum | livre de Nahum]], chapitre 3, verset 9<ref>[https://www.biblestudytools.com/dictionary/infinite-infinitude/ Dictionnaire (''en anglais'')] ''Outils d'étude biblique'' - 25 décembre 2017.</ref>.

=== L'infini et les Présocratiques ===
{{Section à sourcer|date=février 2018}}
Les [[philosophes présocratiques]] étaient en fait les premiers physiciens ''(phusikoi)''. En effet, étant les premiers à avoir osé étudier la nature pour elle-même, ils en sont venus à instaurer une méthode d'analyse, de recherche et de réflexion qui deviendra plus tard celle des scientifiques et des philosophes. À cet effet, une grande partie du jargon scientifique encore utilisé à l'heure actuelle a été introduite par ces penseurs et avait à l'origine comme fonction d'exprimer les concepts indispensables pour faire progresser l'étude de la nature. Univers ''(kosmos)'', principe ''(archè)''<ref group=alpha>La phusis se présente comme la constitution interne des choses et se dévoile donc comme un principe (archè). Il faut ici préciser que le terme archè était ambigu dans la langue courante des anciens car il pouvait aussi bien signifier « gouvernement » que « commencement ». Il faut en comprendre que dans l’identification de la nature comme un principe, les phusikoi entendaient rechercher non seulement l’origine du monde mais aussi ce qui continue de le gérer. L’archè est donc un point de départ et ce qui détermine le développement de la chose à laquelle il se rattache.</ref>, raison ''(logos)'', nature ''(phusis)'' sont autant d'outils avancés pour pénétrer au cœur des choses et en découvrir le mécanisme ; les fonctions traditionnelles des divinités, jusqu'alors conçues comme interventions externes, sont de ce fait naturalisées. Ces penseurs avaient donc comme objectif d'internaliser les principes gérant le fonctionnement du monde, et ainsi de trouver des explications inhérentes à la nature elle-même. À travers cet objectif, ils utiliseront directement ou indirectement le concept d'infini ''([[apeiron]])''<ref>Voir notamment :
*{{Ouvrage|auteur1=Aristote|titre=Physique|titre volume=Livre III|lieu=Paris|éditeur=[[Les Belles Lettres]]|année=2002|passage=84-108|isbn=}} ;
* {{Ouvrage|prénom1=Jean-Pierre|nom1=Bernard|titre=L'univers d'Héraclite|éditeur=[[Éditions Belin|Belin]]|collection=L'Extrême Contemporain|année=1998|pages totales=317|passage=77-109|isbn=978-2-7011-2055-3}} ;
* {{Ouvrage|prénom1=Catherine|nom1=Collobert|titre=L'être de Parménide ou le refus du temps|lieu=Paris|éditeur=[[Éditions Kimé|Kimé]]|année=1993|pages totales=326|passage=155-193|isbn=978-2-908212-71-6}} ;
* {{Ouvrage|prénom1=Jabel|nom1=Jeannière|titre=Les Présocratiques|lieu=Paris|éditeur=[[Éditions du Seuil|Seuil]]|année=1996|passage=63-160|isbn=}} ;
* {{Ouvrage|prénom1=Robert|nom1=Lahaye|titre=La philosophie ionienne|lieu=Paris|éditeur=Éditions du Cèdre|année=1966|passage=47-67}} ;
* {{Ouvrage|prénom1=Gérard|nom1=Legrand|titre=La pensée des présocratiques|lieu=Paris|éditeur=[[Éditions Bordas|Bordas]]|collection=Pour connaître|numéro dans collection=34|année=1970|passage=25-129|isbn=}} ;
* {{Ouvrage|prénom1=Monique|nom1=Anto-Sperber|directeur1=oui|titre=Philosophie grecque|lieu=Vendôme|éditeur=[[PUF]]|année=1998|passage=3-84|isbn=}}.</ref>.

==== Les acceptions générales du concept de l'infini chez les présocratiques ====

Il ne reste que quelques fragments de leurs écrits, ce qui rend la recherche difficile. C'est pourquoi, afin de savoir ce que disent les présocratiques quant au concept de l'infini, il faut consulter [[Aristote]] qui fut le premier à recenser leurs thèses. Sur l'infini, c'est dans le livre III de sa ''[[Physique (Aristote)|Physique]]'' qu'il énumère les points communs entre les pensées de ses prédécesseurs et les raisons qui les ont poussés à croire en l'existence de l'infini.

===== Quelques points d’accords sur l’infini =====

; Les présocratiques font de l’infini un principe.

Ils ne croient pas que l’infini existe en vain, non plus qu’il ait une autre valeur que celle de principe. Pour eux, tout est principe ou provient d’un principe, or, l’infini ne provient pas d’un principe du fait même qu’il en est un.

; L’infini est non engendré et non corruptible en tant que principe.

L’infini est principe de toute chose, il les dirige toutes. C’est que toute chose provient d’un principe ou est elle-même principe. D’une part, l’infini en tant que principe n’a lui-même pas de principe qui l’engendre, sa limite est celle de ne pas en avoir et il est donc non engendré. D'autre part, toute génération reçoit une fin et toute corruption a un terme. Or, non engendré, l’infini ne reçoit pas de fin et il est donc incorruptible.

; Immortel et impérissable, l’infini apparaît être la divinité<ref group=alpha>Aristote lui-même n’étaye pas vraiment ce point, il semble qu’il s’agisse simplement d’un constat découlant des propriétés énoncées antérieurement.</ref>.

==== Cinq raisons qui ont poussé à la croyance de l’infini ====

; Premièrement, l'infini est dans la division des grandeurs.

Les mathématiciens aussi utilisent l'infini, et ce par la division. Par exemple, la formule de l'aire du cercle π.r{{exp|2}} est corroborée par la division du cercle en un nombre infini de triangles.

; Deuxièmement, il y a infinité de la source.

En effet, la destruction et la génération ne s'épuisent pas, ce ne peut être que grâce à l’infinité de la source d’où tout est engendré.

; Troisièmement, le temps est infini.

Toute génération reçoit une fin, mais la source n'a pas de principe qui l'engendre et ainsi elle n'a pas non plus de fin. Ainsi, le mouvement de la génération et de la corruption s'inscrit dans le temps et il est dû à une source inengendrée et incorruptible. C’est dire que le temps lui-même est infini.

; Quatrièmement, il n'y a pas de limite en soi.

Ce qui est limité ne l'est que par autre chose, de sorte que rien ne sera limite puisque la limitation est toujours entre deux termes. L'infini est cette absence de limite en soi.

; Cinquièmement, la représentation de l'infini ne l'épuise pas.

Aristote donne pour exemple les grandeurs mathématiques et ce qui est hors du ciel. Les quantités et les étendues ne peuvent pas circonscrire l'infini par représentation. Autrement dit, on ne peut pas cerner l'infini dans son ensemble, car l'infini est toujours plus grand que ce qu'on aura cerné.

Il est toutefois possible, à partir des fragments et des commentaires, de distinguer la pensée de chacun des présocratiques et de la comprendre pour elle-même.

==== L'infini à travers quelques théories présocratiques ====

===== Anaximandre =====
[[Fichier:Perspective de l'Univers d'Anaximander.png|thumb|Schémas du modèle de l'univers d'Anaximandre. À gauche, le jour en été ; à droite, la nuit en hiver.]]
{{Article détaillé|Apeiron}}

Le concept d'infini (apeiron) fut pour la première fois introduit dans la pensée du philosophe [[Anaximandre]]  (vers -610 Milet – vers -546), élève de [[Thalès]]. Sous son influence, il voulut se pencher sur le fondement de l'univers, et c'est ainsi qu'il en vint à postuler l'infini comme principe et comme substrat des choses qui existent. En effet, le rôle de substrat ne peut être assigné à l'un des quatre éléments (l'eau pour [[Thalès]], l'air pour [[Anaximène]], le feu pour [[Héraclite]]), car ils sont changeants, dépendent les uns des autres et aucun ne peut être privilégié. Il faut donc, au-delà des éléments, une autre nature qui agit comme substrat d'où sont engendrés tous les mondes. Ce substrat, c'est l'infini, le principe qui engendre l'univers sous l'influence d'un mouvement éternel. Le mouvement éternel est en constante production, il s'agit en ce sens d’un « retour générique ». Ce retour a besoin d’un principe matériel qui doit être inépuisable afin de tout produire éternellement. C’est celui de l’apeiron et c’est en ce sens que l’infini est aussi mouvement éternel chez [[Anaximandre]].

===== L'école pythagoricienne =====

Parmi ses doctrines, l'école avance celle de l'éternel retour : les choses seront de nouveau les mêmes. Si pour d'autres philosophes, comme Anaximandre ou Héraclite, un retour générique peut être observé, chez certains pythagoriciens il existe un retour individuel qui peut se reproduire à l'infini. En effet, s'il y a 1) un nombre fini d'événements possibles, 2) si chaque événement possède une cause et que 3) une même cause doit toujours produire un semblable effet, il en résulte qu'au sein d'un temps infini les événements reviennent nécessairement<ref>[[Jean-Paul Dumont (philosophe)|Jean-Paul Dumont]], ''Les Écoles présocratiques'', « Folio-Essais », Gallimard, Paris, 1991, B XXXIV, {{p.|316}}</ref>. Dans l'''[[Éthique à Nicomaque]]'', Aristote  dit que pour les Pythagoriciens le mal relève de l'infini.

===== Héraclite =====
Pour [[Héraclite]] (seconde moitié du {{-s-|VI}}, vers 544-541 av. J.-C  Éphèse), le feu est le principe de l'univers : toute chose est convertible en feu et le feu en toute chose. D'une part, l'infini s'y retrouve à travers la génération car pour lui, toute chose advient par le conflit et la nécessité (toute chose est mue vers son contraire). Mais le feu, en tant qu'unité fondamentale de cette pluralité contradictoire, n'est jamais épuisé par ces tensions dynamiques, par ces transformations. D'autre part, l'infini caractérise le temps car pour Héraclite, l'univers n'a ni commencement ni fin. Le cosmos était, est et sera toujours feu éternel.

===== Parménide =====

Quant à [[Parménide]] (fin du {{-s-|VI}} Élée - milieu du {{-s-|V}}), la conception de l'infini inhérente à sa pensée se retrouve dans l'explication de l'immobilité et de l'éternité de l'être, et ce contrairement à Héraclite. En effet, Parménide considère que l'être ne peut pas changer, sinon il ne serait pas. Ainsi, il doit être immobile. De plus, la génération et la corruption sont également des formes de changement, et c'est pourquoi l'être doit être éternel, c'est-à-dire qu'il est inengendré et impérissable. L'infini est donc nécessaire à l'existence d'un être éternellement identique.

==== Mélissos ====

[[Mélissos]], élève de [[Parménide]], considère que ce qui existe, ou plutôt ce qui est, doit être unique : il n'existe qu'une seule chose. Fondé sur les dires de son maître, il affirme qu'une chose qui existe, existe toujours, mais il ajoute qu'elle doit également toujours être infinie en grandeur. L'argument prend comme point de départ l'impossibilité du vide. Par exemple, s'il n'y a rien entre plancher et plafond, c'est dire que le plancher et le plafond sont contigus, et qu'il n'y aurait pas de séparation entre ces deux termes. Le vide ainsi expulsé, s'il y a de l'être, il n'y a que de l'être. Ensuite, toute chose doit être dans un espace et il n'y a qu'un espace, or ce dernier est occupé pleinement par l'être et par un être qui est unique. En effet, nul ne peut dire de l'être qu'il est et qu'il n'est pas, ni dire qu'un être est à certains endroits et pas à d'autres. C'est pourquoi l'être est infini en grandeur, c'est-à-dire qu'il n'y a pas de limite à l'être.

===== Démocrite =====

En ce qui concerne [[Démocrite]]  (460 av. J.-C. Abdère - 370), la nature est constituée de petites substances illimitées en nombre qui se trouvent dans un lieu qu'il nomme l'infini. Cette infinité de petites substances qui nagent dans un vide infini et éternel parfois s'agglomèrent et forment les corps visibles à travers leur mouvement. L'infini se retrouve donc dans une division des corps en une infinité de substances, ce qui constitue la première théorie atomiste.

D'autres penseurs présocratiques ont également utilisé le concept d'infini dans leurs recherches, tels que [[Anaximène]], [[Alcméon de Crotone]], [[Xénophane]] et [[Zénon d'Élée]].

=== Les paradoxes de Zénon ===
{{Article détaillé|Paradoxes de Zénon}}
[[Fichier:Zeno of Elea Tibaldi or Carducci Escorial.jpg|thumb|upright=1.6|''Zénon d’Élée montrant à ses disciples la porte du Vrai et celle du Faux'', fresque de l'[[Escurial]], Madrid, fin du {{s-|XVI|e}}.]]
[[Zénon d’Élée|Zénon]] est un philosophe grec de l’Antiquité (environ 400 av. J.C.). Habitant d’Élée, il avait comme maître [[Parménide]] qui défendait le fait que la réalité est immuable. Zénon ne traite pas directement du sujet de l’infini. Il se sert plutôt de la notion d’infini pour montrer que la manière de décrire un problème peut conduire à l'impossibilité de traiter celui-ci. La méthode de Zénon consistait à utiliser des prémisses admises par tous et d’en déduire des conclusions absurdes ou contraires. Il montrait ainsi non que le mouvement n’est qu’une illusion, ce que nul ne pouvait soutenir, mais que le décrire sans précaution menait à des contradictions. On doit de nombreux paradoxes à Zénon (au moins une quarantaine), mais seuls quelques-uns sont connus, à travers les écrits d’Aristote. Des quatre paradoxes sur le mouvement cités par Aristote, deux utilisent l’infini pour prouver que les prémisses affirmant la possibilité du mouvement aboutissent à l’absurde.

Dans les deux paradoxes qui suivent, Zénon utilise la prémisse selon laquelle l’espace peut être divisible à l’infini pour montrer que si tel était le cas certaines façons de le décrire interdiraient de l'explorer. La portée philosophique de Zénon est incontestable ; selon Aristote, il aurait été l’inventeur de la [[dialectique]].

==== La  dichotomie ====
Si le mouvement existe, un corps en mouvement doit se déplacer sur une certaine distance en un temps fini ; mais avant d’avoir parcouru toute la distance, le corps doit d’abord en avoir parcouru la moitié ; et avant d’en avoir parcouru la moitié, il doit avoir parcouru la moitié de cette moitié. Puisque toute distance est divisible en moitiés, et ce, à l’infini, et puisqu’il est impossible de parcourir un nombre infini de positions en un temps fini, le mouvement n’existe donc pas.

==== Achille et la tortue ====
{{Article détaillé|Paradoxe d'Achille et de la tortue}}
[[Achille]], héros de la [[mythologie grecque]], ne peut rattraper la [[tortue]] qu’il poursuit ; en effet, avant de la rattraper, il doit d’abord atteindre le point d’où celle-ci est partie au début de la course. Mais pendant ce temps, la tortue continue d’avancer d’une certaine distance ; même si cette distance est moins grande que celle parcourue par Achille (car la tortue est plus lente), elle avance quand même, elle n’est pas immobile. Ainsi, durant le temps qu’il faut à Achille pour parcourir cette deuxième distance, la tortue a encore parcouru une certaine distance. Donc, même si cette distance diminue à chaque étape, la tortue ne sera jamais rattrapée par Achille<ref>{{en}} H.D.P. Lee, ''Zeno of Elea'', [[Cambridge University Press|CUP]], 1936</ref>{{,}}<ref>{{en}} J.A. Faris, ''The Paradoxes of Zeno'', Aldershot, Ashgate Publishing Limited, 1996</ref>.

=== Les néoplatoniciens ===
[[Plotin]] (205 - 270 ap. J.-C.) déclare : {{citation|Il ne faut pas redouter l'illimitation dans l'intelligible}} (''Ennéades'', V.7.1). Plotin affirme l'infinité de l'Un, ''apeiria''. Alors qu'auparavant l’infini, ''apeiron'', représente le degré inférieur de l’existence, ou même un pur non-être, pour Plotin, l’essence de la matière reste infinie dans ce sens négatif, elle devient un attribut positif des trois hypostases (l’Un, l’Intelligence, l’Âme universelle). ''Ennéades'' II.4.15 : {{citation|Comment l'illimité peut-il donc exister là-bas [dans l'intelligible] et ici [dans la matière] ? C'est qu'il y a deux illimités. Et en quoi diffèrent-ils ? Comme un archétype et une image. L'illimité d'ici est donc moins illimité ? Il l'est davantage, car plus une image fuit l'être et le vrai, et plus elle est illimitée. En effet, l'illimitation est plus importante dans ce qui est moins défini, car le moins dans le bien est un plus dans le mal. Ainsi donc, ce qui est là-bas, parce qu'il est davantage être, est illimité seulement en tant qu'image, alors que ce qui est ici, parce qu'il est moins être, dans la mesure où il fuit l'être et le vrai, tiré qu'il est vers la nature de l'image, est véritablement illimité.}}<ref>Plotin, ''Traités 7-21'', trad. Luc Brisson et Jean-François Pradeau, G.F., 2003, {{p.|259}}. Note {{p.|279}} : D'après Aristote, Platon pose l'illimité à la fois dans les choses sensibles et dans les Idées (''Physique'', III, 4, 203a9-10).</ref>

=== Avicenne ===
[[Fichier:Avicenna TajikistanP17-20Somoni-1999 (cropped).png|thumb|right|Avicenne - portrait sur un billet de banque au Tadjikistan]]

==== Avicenne reprend Aristote ====

[[Avicenne]] (980 Afshéna, près de Boukhara, dans la province de Grand Khorasan - 1037), pour établir sa métaphysique, a repris celle établie par [[Aristote]], mais lue à travers [[Al-Fârâbî]] et le néoplatonisme<ref>H. Corbin, ''Histoire de la philosophie islamique'', Paris, Gallimard, 1986, coll. « folio essais », {{p.|365}}</ref>. C’est-à-dire qu’il va comprendre des notions aristotéliciennes, mais dans un contexte théologique. Ainsi, il reprend l’idée du monde éternel, mais dans une métaphysique créationniste<ref>{{harvsp|Goodman|1992|p=63}}</ref>. Dans le cadre de l’infini, il est évident que l’existence d’un Dieu viendra donner un sens nouveau à la métaphysique d’Aristote car Dieu amène des notions d’infini qui ne sont pas présentes chez Aristote. Avant de poursuivre, il faut définir certains concepts afin de montrer comment Avicenne les utilise.

==== La distinction entre acte et puissance ====
{{loupe|infini potentiel}}

La puissance est définie comme étant : « toute disposition se trouvant dans une chose et étant principe de changement »<ref>{{harvsp|Avicenne|1978-1985|p=282}}</ref>, tandis que l’acte (ou l’actualisation) étant ce passage de l’état de repos à l’état actif, une chose changeant d’état passerait de la puissance à l’acte. On peut prendre par exemple, la graine qui détiendrait l’arbre en puissance et qui deviendrait acte une fois celui-ci poussé. À ce sujet Aristote accepte l’[[infini potentiel|infini en puissance]] (sous forme d’infini par division et par addition), mais rejette l’[[infini en acte]]. Avicenne va rajouter une sous-division entre actualité forte/faible et potentialité forte/faible<ref name="ADAMSON">{{harvsp|Adamson|Taylor|2004|p=299}}</ref>.

=== L’infini dans le monde supralunaire ===

Notons tout d’abord que Dieu est par définition infini et c’est le principe premier d’où tout émane<ref>{{harvsp|Avicenne|1978-1985|p=343}}</ref>, mais Dieu n’est pas le seul être infini ; il y a une dépendance ontologique des intelligences célestes (qui sont au nombre de dix) envers le premier principe, dépendance traduite par le désir de se rapprocher de la perfection de Dieu. Le désir comme principe de motion étant le fait de vouloir atteindre Dieu, lui ressembler. Ce désir de perfection, serait le principe de tout mouvement selon Avicenne<ref>Avicenne, ''Psychologie'', d’après son œuvre ''Aš-Šifāۥ II'', trad. J. Bakoš, Prague, Éditions de l’Académie tchécoslovaque des sciences, 1956, {{p.|28}}</ref>. Ainsi, les intelligences céleste en désirant le premier principe feraient mouvoir les sphères leurs correspondant dans un mouvement infini.

Avant de poursuivre, il faut préciser que le mouvement en question dans le monde supralunaire est différent de celui dans le monde sublunaire<ref>{{harvsp|Adamson|Taylor|2004|p=297}}</ref>. Dans le premier cas, le mouvement est constant ; il a toujours la même vitesse. C’est pourquoi on peut dire qu’il y a un infini présupposé pour les intelligences célestes. Cependant, dans le monde sublunaire, le mouvement est sujet à la décélération et l’accélération.

Pour conclure sur ce point, il faut nommer une autre preuve abondant dans le sens de la présence de l’infini chez les intelligences célestes, c’est-à-dire, le passage où Avicenne dit que même ce qui est infini (et nécessaire) requiert une cause<ref>{{harvsp|Goodman|1992|p=66}}</ref>. Enfin, notons que si Avicenne parle de l’infini dans le monde supralunaire, il ne le classifie pas comme il va le faire pour l’infini présent dans le monde sublunaire. Probablement parce que l’infini métaphysique ne présente pas ''a priori'' autant de problèmes que l’infini dans un monde limité (physique).

==== L’infini dans le monde sublunaire ====

Tout d’abord, l’infini en acte est amené par la théologie ; les âmes (des hommes) étant immortelles, il y en a donc une infinité dans un monde éternel<ref>{{harvsp|Adamson|Taylor|2004|p=298}}</ref>. C’est d'ailleurs ce qui caractérise l’infini en acte fort dans l’avicennisme.

L’infini en acte faible étant quant à lui défini par les évènements et les années passés<ref name="ADAMSON"/>. Pour bien comprendre ce type d’infini, il faut maintenant s’attarder au concept de causalité. Car, selon Avicenne, il y aurait des causes accidentelles (ou adjuvantes) en nombre infini. En d’autres termes, il y a une succession infinie de causes préparatrices. Ici entre en jeu la distinction entre causes essentielles et causes adjuvantes. Les causes essentielles (ou vraies) étant liées au mouvement, au continu, car elles demeurent avec l’effet. Les causes vraies « empêchent la non-existence de la chose »<ref>{{harvsp|Avicenne|1978-1985|p=265}}</ref>. Les causes adjuvantes sont secondaires car elles sont antérieures à la chose. Celles-ci seraient en nombre infini selon Avicenne. On peut penser à la relation père/fils qui remonterait de génération en génération pour expliciter ce fait. Car, dans le contexte d’un monde éternel, il y a une infinité de relations filiales. En effet, « […] ce qui va ad infinitum c’est un individu qui vient après un autre […] »<ref>{{harvsp|Avicenne|1978-1985|p=290}}</ref>.

En ce qui concerne l’infini en puissance fort, il est toujours le même que l’infini en puissance d’Aristote, à savoir l’infini par division et par addition. C’est pourquoi il ne sera pas plus détaillé dans cet article. En effet, comme dans les paradoxes de Zénon, on peut facilement imaginer la division d’une ligne en quatre parties, la division de chacune de ces parties en quatre et ainsi de suite, à l'infini.

Concernant l’infini en puissance faible, il se trouve dans le mouvement. Tel que mentionné précédemment, ce mouvement ne correspond pas à celui des sphères célestes. En effet, celui-ci, n’est pas réellement continu et peut se regarder de différentes façons. On peut déjà le voir comme le mouvement général d’un corps. Cependant, cette définition du mouvement ne sera pas celle important dans le cas de l'infini en puissance faible ; l’impulsion concrète d’un corps à un instant précis étant plutôt la définition à retenir<ref name="ADAMSON"/>. En d'autres termes, le passage d’un temps A à B serait un mouvement constitué d’une infinité de temps. On peut penser à une addition infinie de points mis bout à bout pour former une ligne. Cette ligne, comme le mouvement, serait d’apparence continue mais serait en réalité constituée de plusieurs points intermédiaires<ref>{{harvsp|Adamson|Taylor|2004|p=301}}</ref>.

=== Jean Duns Scot ===
[[Fichier:JohnDunsScotus.jpg|thumb|John Duns Scot]]

==== Un apport à l'infini mathématique ====

Dans une démonstration du mouvement continu des anges au Livre II de l'''Ordinatio'', [[Jean Duns Scot|Scot]]  (1266 Duns - 1308) soulève deux [[paradoxe]]s qui entreront dans la postérité. Dans sa défense, il voudra réfuter la thèse selon laquelle le continu est formé d'indivisibles. Chez [[Aristote]], dans Le Livre VI de la ''[[Physique (Aristote)|Physique]]'', il est clair qu'« il est impossible qu'un continu soit formé d'indivisibles, par exemple qu'une ligne soit formée de points, s'il est vrai que la ligne est un continu et le point un indivisible »<ref>Aristote, ''Physique'', VI, 1, 231 a 24-25, tel que rapporté dans {{harvsp|Sondag|2005|p=114}}</ref>, mais cette preuve inspirée de l'autorité du Philosophe ne lui suffit pas. Il proposera deux problèmes géométriques du même esprit montrant tout le contradictoire d'une telle théorie.

Dans l'une des deux, on trace deux cercles concentriques à partir d'un centre ''a''. Le petit, noté ''D'' et le plus grand, noté ''B''. [[Jean Duns Scot|Scot]] dira que puisque, selon cette théorie, la circonférence du grand cercle est formée de points, il est possible d'en identifier deux, ''b'' et ''c''. Du point ''a'', traçons une ligne droite le joignant à chacune de ces deux points de manière que les deux droites formées coupent le petit cercle ''D''. La question : les droites ''ab'' et ''ac'' coupent-elles ''D'' en un seul point ou en deux points distincts ? S'il s'agit du même point, l'une des deux droites ne sera plus droite (mais courbe) ce qui entre en contradiction avec la prémisse du départ. Dans le cas contraire, ''B'' et ''D'' incluraient le même nombre de points, pourtant, fait remarquer [[Jean Duns Scot|Scot]], il est impossible à deux cercles '''inégaux''' d'être composés d'un '''nombre égal de parties égales'''. Il en découle qu'un continu, ici représenté par la ligne, ne peut être composé d'un nombre de points discrets<ref>{{en}} Richard Cross, « The Physics of Duns Scotus », dans ''The Scientific Context of a Theological Vision'', Clarendon Press, Oxford, 1998, {{p.|122-123}}</ref>.

[[Fichier:Scot cercles.png|thumb|center|upright=0.6|Le paradoxe des cercles]]

Bien que [[Jean Duns Scot|Scot]] lui-même n'ait pas explicité la chose dans ces termes, pour sa postérité, il s'est retrouvé à illustrer à l'aide de ces figures géométriques, en germe, certaines des découvertes les plus importantes concernant l'infini mathématique se retrouvant entre autres chez [[Georg Cantor]]. Les rayons issus du centre créant entre les points des deux cercles une [[Bijection|correspondance biunivoque]], le paradoxe soulève la possibilité pour deux ensembles infinis d'indivisibles d'être égaux malgré leurs tailles manifestement inégales<ref>Jean-Louis Gardies, ''Pascal entre Eudoxe et Cantor'', « Problèmes et controverses », Vrin, Paris, 1984, {{p.|44}}</ref>.

D'ailleurs, dans une autre démonstration, [[Jean Duns Scot|Duns Scot]] se frottera à de pareils débats quant à la grandeur des infinis. [[Jean Duns Scot|Scot]] à la question 3 du livre II, distinction 1 de l'''Ordinatio'' rabat l'objection selon laquelle il serait impossible pour Dieu de produire quelque chose d'autre que lui-même sans que cette production ait un commencement<ref>{{harvsp|Sondag, ''Duns Scot : la métaphysique de la singularité''|p=111}}</ref>. Selon cette objection, si la création est ''ab aeterno sine principio'', l'infini qui a mené jusqu'à hier est équivalent à l'infini qui s'est écoulé jusqu'à aujourd'hui ce qui va à l'encontre de l'axiome d'[[Euclide]] voulant que la partie soit toujours plus petite que le tout. À cela, dans un premier temps, le Docteur répondra que ces deux dernières caractérisations ne sont applicables qu'aux grandeurs finies puisque les choses se divisent en fini et infini avant que « plus grand » ou « plus petit » ne s'appliquent. Cependant, ses adversaires soulèvent le problème qu'une création de toute éternité produirait une quantité infinie d'âmes en acte, or, une telle chose est impossible selon le Philosophe. Devant cette objection, Scot développe davantage : « Tout ce qui ne peut pas être fait par Dieu en un jour, parce que « cela implique contradiction » ne pourrait, pour la même raison, être fait par lui au cours d’un temps d’une durée infinie. »<ref name="Vatic">Édition vaticane (1950) VII, 86, dans {{harvsp|Sondag, ''Duns Scot : la métaphysique de la singularité''|p=112}}</ref> Il en vient à cette conclusion : « Il apparaît donc, que les instants de ce jour – voire de cette heure – ont une infinité égale à celle des instants infinis de ces jours infinis. »<ref name="Vatic"/> Cette intuition se verra, entre autres, confirmée par [[Richard Dedekind]] dans sa définition d’un ensemble infini qui se caractérise justement par l'équivalence entre le dit ensemble infini et une de ses parties propres de ce point de vue<ref>Jean-Louis Gardies, « Les antécédents scolastiques de la théorie des ensembles », Revue de métaphysique et de morale, vol. 91, numéro 4, octobre-décembre 1986, {{p.|499}}</ref>.

==== De l'infini mathématique à l'infini théologique ====

Il n’en demeure pas moins que le fondement de l’affirmation par [[Jean Duns Scot|Scot]] qu’il existe quelque chose comme un infini en acte est théologique. [[Jean Duns Scot]] refuse qu’il soit impossible pour Dieu de créer spontanément une infinité en acte. En effet, selon Aristote une grandeur ne peut être infinie qu’en puissance. Or, voulant construire l'idée d'une nature infinie intensivement (selon la qualité), [[Jean Duns Scot|Scot]] fait un passage obligé par la démonstration d'une grandeur extensivement (selon la quantité) infinie en acte<ref>{{harvsp|Sondag|2005|p=118}}</ref>. Selon la définition d’Aristote au Livre III de la ''Physique'', l’ « infini est ce qui est tel que lorsqu’on en prend une quantité, c’est-à-dire quelque grande que soit la quantité qu’on prend, il reste toujours quelque chose à prendre »<ref>Aristote, ''Physique'', III, 6, 206 b 32-207 a 15[207 a 7-8], dans {{harvsp|Sondag|2005|p=119}}</ref>, donc un tout infini n’est qu’une réalité potentielle et par cela, conclut Scot, imparfaite. Pour remédier à une telle situation, le médiéval imagina à partir de cet infini potentiel ce qu’il serait en acte :

:::Pour notre propos, dit Duns Scot, transformons la notion d’[[infini potentiel]] dans la quantité en la notion de l’infini en acte dans la quantité en supposant qu’il puisse être en acte dans la quantité. Nécessairement, la quantité croîtrait toujours, en prenant une partie après l’autre, mais si nous imaginons que toutes les parties qui peuvent être prises successivement le sont simultanément, alors nous aurons une quantité infinie en acte, puisqu’elle sera aussi grande en acte qu’elle l’est en puissance. Si donc toutes les parties étaient conçues comme présentes en acte simultanément, l’infini ainsi imaginé serait véritablement un tout et serait véritablement parfait, car il n’y aurait rien au dehors. Bien plus, nulle quantité ne pourrait lui être ajoutée, car alors il pourrait être excédé. »<ref>Quodlibet V (Olms, {{p.|118}}) dans {{harvsp|Sondag|2005|p=120}}</ref>

Par ce passage, Jean Duns Scot fait de l’infini non pas ce qui laisse toujours quelque chose derrière, mais bien ce qui excède le fini selon toute proportion déterminée ou déterminable<ref>Quolibet V (Olms, {{p.|118}}) dans {{harvsp|Sondag, ''Duns Scot : la métaphysique de la singularité''|p=107}}</ref>.

Le passage de l'infini en quantité à l'infini sous le mode de la qualité ne se fait pas non plus sans Aristote. Bien que chez ce dernier l'infini ne s'applique qu'aux grandeurs, il ouvre une porte au livre V de sa ''[[Métaphysique (Aristote)|Métaphysique]]'' admettant la transposition de notions quantitatives à d'autres objets « par extension »<ref>Aristote, ''Métaphysique'', livre V, c.13, 1020a dans {{harvsp|Sondag, ''Duns Scot : la métaphysique de la singularité''|p=114}}</ref>. À la question 6 du [[Quodlibet]], Scot commente ce dernier passage et montre que des termes quantitatifs comme petit, grand, moins, plus, sont applicables à tous les êtres, peu importe leur genre. La transposition de la physique à la métaphysique est, par là, possible. Toutefois, Scot voudra faire de l'infini non un accident mais une ''quantité d'être'' ou ''quantité de perfection''. Il tire de l’océan d'être infini de l'essence divine de [[Jean Damascène|Jean de Damas]] le concept de l'infinité comme mode d'être intrinsèque d'une nature infinie: « de même que l'océan ne serait l'océan sans l'immensité de sa masse, de même l'essence divine ne serait pas l'essence qu'elle est sans la magnitude qui est la sienne. »<ref>{{harvsp|Sondag, ''Duns Scot : la métaphysique de la singularité''|p=115}}</ref> Dans la mesure où nous concevons un être infini actuel en entité, explique Scot, il se doit d'être pensé sous le mode d'une quantité infinie actuelle, c'est-à-dire qu'aucun autre ne saura le dépasser en entité. En cela, il « sera véritablement un tout, et un tout parfait »<ref>Reprint de Wadding, Hildesheim, 1968, XII, {{p.|118}} dans {{harvsp|Sondag, ''Duns Scot : la métaphysique de la singularité''|p=119}}</ref>.

==== L’infini dans la métaphysique et la théologie scotiennes ====

Dans la métaphysique de [[Jean Duns Scot]], le concept d'infini est assimilé aux [[transcendantaux]]. Les transcendantaux, outre l'étant, sont des attributs qui peuvent être, chez le Docteur Subtil soit : des attributs disjonctifs (infini/fini, possible/nécessaire, en acte/en puissance, etc.) ; des attributs convertibles (l'un, le vrai, le bien…) qui sont directement coextensifs avec l'étant ; des ''perfectiones simpliciter'' (i.e. un prédicat qui n'admet pas de limite telle que l'intelligence divine par exemple)<ref>{{harvsp|Williams|2003}} et Olivier Boulnois, « Introduction », ''Sur la connaissance de Dieu et l'univocité de l'étant'', Paris, PUF, 1988</ref>.
 
Le couple d'attributs disjonctifs infini/fini permet d'établir une mesure de l'être, non plus au sens strictement quantitatif, mais plutôt au sens d'un ''degré'' d'excellence de l'être. Il s'agit d'une différence strictement modale – plutôt que formelle – entre les êtres : Dieu ''est'' sur le mode de l'infini, alors que l'homme ''est'' sur le mode de la finitude. Cette précision – qui ne s'inscrit pas seulement dans la métaphysique scotienne, mais aussi dans le cadre d'un argument théologique portant sur l'existence de Dieu infère que la différence entre un être fini et un être infini n'est pas une différence générique ce qui, au sein du raisonnement du Docteur Subtil, permet de sauvegarder la simplicité divine<ref>{{en}} Peter King, « Scotus on Metaphysics », dans {{harvsp|Adamson|Taylor|2004|p=15-68}}</ref>.

En vertu de la théologie naturelle scotienne et, plus largement, de sa théorie cognitive, il est possible pour l’homme de connaître à l’aune de son expérience sensible. Ainsi, si la connaissance essentielle de Dieu n'est pas accessible ici-bas faute de pouvoir faire l'expérience de ce dernier, il est cependant possible de prédiquer à Dieu des attributs partagés avec lui (comme l'intelligence) en vertu de la théorie scotienne de la prédication univoque<ref>{{harvsp|Williams|2003}} et {{en}} William E. Mann, « Duns Scotus on Natural and Supernatural Knowledge of God », dans {{harvsp|Adamson|Taylor|2004|p=249-252}}</ref>. Par exemple, s'il est possible de prédiquer l'intelligence à Marie, de même peut-on attribuer l'intelligence à Dieu, mais pas sous le même mode que celui de la créature finie. Pour Dieu, il s'agira d'une perfectiones simpliciter. Il s'agit du même concept d'intelligence, mais qui n'est pas donné sous le même mode chez la créature finie et chez Dieu, être infini.

De plus, la créature finie sera aussi en mesure de parvenir à la caractérisation la plus parfaite et la plus simple du Premier principe. Comme vu plus haut, on parvient précisément à cette caractérisation positive avec le concept d'infini, sous-tendant tous les attributs que l'on peut prédiquer à Dieu<ref>" [L]'infini est le concept à la fois le plus parfait et le plus simple qu'il soit possible d'avoir : il est en effet plus simple que le concept d'être bon ou d'être vrai ou de tout autre concept similaire ; parce que l'infinité n'est pas un attribut ou une passion de l'être, ou bien de ce dont elle est le prédicat, mais elle exprime le mode d'être intrinsèque de cette entité ; de telle sorte que quand je dis « être infini » ; je n'ai pas un concept dérivé comme par accident de l'être ou de la passion, mais un concept par soi-même pertinent d'un sujet existant avec un certain degré de perfection" Ordinatio, I, 2, {{p.|1}}, q. 2 ; III, 40, 58 cité dans A. Ghisalberti, « Jean Duns Scot et la théologie rationnelle d'Aristote », dans ''Revues des sciences philosophiques et théologiques'', tome 83, numéro 1 (janvier 1999), {{p.|6}}</ref>. Scot renverse ici l'infini en tant que concept négatif pour en faire un concept positif. En effet, on pourrait défendre la négativité du concept d'infini sur le plan étymologique par la présence du préfixe ''in'' qui implique une négation. Considéré comme tel, il serait alors contradictoire de parler de l'infini comme une caractérisation positive de Dieu. On peut analyser un tel renversement d'un point de vue logique en affirmant que, la finitude étant en soi concept impliquant une limite négative, l'ajout du préfixe ''in'', la double négation fait naître (sur le plan logique et formel du moins) un concept positif. Cependant, pour [[Jean Duns Scot|Scot]], la nature de la distinction du couple fini/infini est métaphysique et non formelle ou linguistique<ref>{{en}} John F. Ross et Todd Bates, « Natural and Supernatural Knowledge of God », dans {{harvsp|Adamson|Taylor|2004|p=249-250}}</ref>. Ainsi, défendre la positivité ou la négativité du concept à partir de la sphère de la logique ou, plus simplement, de l'étymologie est inutile dans l'optique scotienne ; il faut plutôt admettre sa positivité comme un présupposé métaphysique.
=== Thomas Bradwardine ===
[[Thomas Bradwardine|Bradwardine]] (c. 1300 – 1349) a proposé l'idée d'un espace infini autour de la terre (en dehors du "[[Wikt: firmament | firmament]]"), en réponse à  {{Lien|langue=en|trad=Condemnations of 1210–1277|fr=l'impératif de l'église catholique de 1277}}, afin de résoudre les conflits de pensée et de doctrine chrétiennes résultant de la compréhension de la philosophie et de la théologie aristotéliciennes<ref>Olaf Pedersen (2012) - [https://books.google.co.uk/books?id=145fBgAAQBAJ&pg Science and Religion: One World — Changing Perspectives on Reality] - [https://books.google.co.uk/books?id=145fBgAAQBAJ&pg=PA151&dq=Nicole+Oresme+infinity&hl=en&sa=X&ved=0ahUKEwij3v27u4XYAhVsLcAKHVrMAfg4HhDoAQgpMAA#v=onepage&q=Nicole%20Oresme%20infinity&f=false {{p.|151}}] Springer Science & Business Media, 6 December 2012 {{ISBN|9400920210}} Accessed December {{12th}}, 2017</ref>, 
par la synthèse de [[géométrie euclidienne]] dans la compréhension chrétienne<ref>Edith Wilks Dolnikowski (1995) - [https://books.google.co.uk/books?id=X80ap2CPoN0C&printsec=frontcover&dq Thomas Bradwardine: A View of Time and a Vision of Eternity in Fourteenth Century Thought] - [https://books.google.co.uk/books?id=X80ap2CPoN0C&printsec=frontcover&dq=Thomas+Bradwardine&hl=en&sa=X&ved=0ahUKEwjVlaX_xYXYAhWQC-wKHTQYDXkQ6AEIKjAA#v=onepage&q=Thomas%20Bradwardine&f=false front cover] BRILL, 1995 {{ISBN|9004102264}}  Accessed December {{12th}}, 2017</ref>. C'est ce qu'il a fait spécifiquement pour réconcilier Aristote conceptualisant l'infini avec la notion chrétienne d'un «infini de Dieu» en possession d'un pouvoir infini<ref>Olaf Pedersen (2012) - [https://books.google.co.uk/books?id=145fBgAAQBAJ&pg Science and Religion: One World — Changing Perspectives on Reality] - [https://books.google.co.uk/books?id=145fBgAAQBAJ&pg=PA151&dq=Nicole+Oresme+infinity&hl=en&sa=X&ved=0ahUKEwij3v27u4XYAhVsLcAKHVrMAfg4HhDoAQgpMAA#v=onepage&q=Nicole%20Oresme%20infinity&f=false] Springer Science & Business Media, 6 December 2012 {{ISBN|9400920210}} Accessed December {{12th}}, 2017</ref>.

=== Nicolas Oresme ===
[[Nicole Oresme|Oresme]] (c.1320 Allemagnes (ancien nom de Fleury-sur-Orne)- 1382)<ref>http://classes.bnf.fr/dossitsm/b-oresme.htm#Ouvrages [[Bibliothèque nationale de France]] Accessed December 23, 2017</ref> 
a commencé à penser à l'infini, en partie après l'écriture de [[Aristote]]<ref name=JLB>[[John Lane Bell#Publications|John Lane Bell]] (2005) - [https://books.google.co.uk/books?id=Eq8ZualfMRkC&pg Le continu et l'infiniment petit en mathématiques et en philosophie (en anglais)] - [https://books.google.co.uk/books?id=Eq8ZualfMRkC&pg=PA63&dq=Infinitesimals+%26+philosophy&hl=en&sa=X&ved=0ahUKEwjavOz0uYXYAhWpB8AKHTlVDgkQ6AEIJjAA#v=onepage&q&f=false {{p.|59}}, {{p.|61}}] Polimetrica s.a.s., 2005 {{ISBN|8876990151}} accédé en décembre 12, 2017</ref>  
et son travail [[Physique (Aristote) | Physique]]. Dans ''Questions sur la géométrie d'Euclide'', Oresme a démontré la possibilité du concept de "série infini", dans sa considération, dans la continuité (et la transcendance), de l'idée de division infinie proposée par Aristote (" en division en parties, la division est elle-même divisible "<ref name=JLB/>)<ref>MA Coppo - [http://www-math.unice.fr/publis/coppo_Zenon-Euler.pdf ''Une historie des series infinies  d'Oresme à Euler'' ({{p.|2}})], [[université Nice-Sophia-Antipolis]] accédé en décembre 23, 2017</ref>.

=== Galilée ===

[[Galilée (savant)|Galilée]] (1564 Pise - 1642)  remarque qu'il y a une correspondance biunivoque entre les nombres et leurs carrés, d'où il déduit que l'assertion commune « le tout est plus grand que la partie » ne se vérifie pas lorsqu'on parle de quantités infinies<ref>{{it}} Galileo Galilei, ''Opere'', Ristampa della Edizione Nazionale, Barbara Firenze 129-39, t. 8, {{p.|78-80}}</ref>. Cependant, loin d'y trouver une motivation pour l'étude des ensembles infinis, il y voit la preuve du caractère non opérationnel de tels ensembles, position approuvée plus de deux siècles plus tard par [[Augustin Louis Cauchy|Cauchy]]<ref name="Bourbaki_58">{{Bourbaki-Ensembles}} pp. E.IV 57-58</ref>. Ainsi donc, jusqu'à une période assez avancée dans l'époque moderne, les mathématiciens s'interdisaient d'utiliser directement les ensembles infinis et préféraient raisonner « en compréhension » sur les propriétés de leurs éléments. Ils se contentaient alors de la possibilité d'augmenter toute grandeur donnée, ou de la diminuer s'il s'agit d'une grandeur continue<ref name="Bourbaki_58"/>.

=== Descartes ===

==== L’infini dans la pensée métaphysique de Descartes<ref>{{Article|langue=français|auteur1=ARBIB Dan|titre=Descartes et l'infini : le concept en question|périodique=Laval théologique et philosophique|numéro=69|année=2013|lire en ligne=|pages=}}</ref>{{,}}<ref>{{Ouvrage|langue=fr|auteur1=[[Dan Arbib]]|titre=Descartes, la métaphysique et l'infini|lieu=Paris|éditeur=[[Presses universitaires de France|PUF]]|année=2017|pages totales=368|isbn=|lire en ligne=https://www.puf.com/content/Descartes_la_m%C3%A9taphysique_et_linfini}}</ref> ====

===== Dieu en tant qu’unique infini =====

Dans la pensée [[métaphysique]] de [[René Descartes|Descartes]] (1596 La Haye-en-Touraine - 1650), seul [[Dieu]] peut être qualifié d’infini. La ''[[Méditations métaphysiques|Méditation III]]'' offre une définition de ce dernier : « Par le nom de Dieu j’entends une substance infinie, éternelle, immuable, indépendante, toute connaissante, toute puissante, et par laquelle moi-même, et toutes les autres choses qui sont ont été créées et produites. »<ref name="AT IX, 36">{{harvsp|Adam|Tannery|1897-1913|p=36}}</ref> La notion d’infini réel ou en acte est strictement réservée à Dieu ; seul Dieu est infini car il est l’être infini lui-même. Il est donc question chez Descartes d’un infini d’ordre qualitatif ; d’une perfection infinie qui existe uniquement chez l’être parfait, chez Dieu - « il n’y a rien que je nomme proprement infini, sinon ce en quoi de toutes parts je ne rencontre point de limites, auquel sens Dieu seul est infini. »<ref>{{harvsp|Adam|Tannery|1897-1913|p=89}}</ref>

===== L’idée de l’infini dans la pensée de l’homme =====

La notion d’infini a toutefois aussi une place dans l’homme, dans sa pensée. Elle s’y trouve contenue en lui en tant qu’idée qui lui est innée ; l’homme possède une idée de l’infini, il est capable de concevoir, à sa manière limitée, l’infini. C’est précisément cette idée de l’infini que [[Descartes]] assimile à l’idée de Dieu en l'homme ; « la notion de l’infini […] c’est-à-dire de Dieu. »<ref name="AT IX, 36"/> Il s’agit simplement de la conception que l'on est capable de se faire d’un être infini et parfait, en d’autres termes de notre idée de la divinité. Bien qu’il ne s’agisse pas de l’infini véritable, qui lui ne se trouve qu’en Dieu lui-même, l’idée de l’infini (ou de Dieu) que l’on retrouve dans la pensée de l’homme occupe une place importante dans la métaphysique cartésienne car elle est ce à partir de quoi Descartes infère l’existence effective et réelle de Dieu (hors du [[Cogito ergo sum|cogito]]). C’est la preuve de l’existence de Dieu dite « par l’infini », que l’on retrouve dans la ''[[Méditations métaphysiques|Méditation III]]''.

===== La preuve par l’infini de la Méditation III =====

L’idée de l’infini témoigne de la finitude de [[Cogito ergo sum|l’ego cartésien]], du ''je'' qui pense cet infini. Le degré de perfection du contenu que représente cette idée est d’une telle ampleur qu’il rend manifeste la finitude du ''je'' dans lequel loge cette idée même. Ultimement, [[Descartes]] veut montrer qu’il est impossible que cette idée, dont le contenu possède un tel degré de perfection, puisse être la création du ''je'' qui pense, puisse être causée par lui de quelconque manière<ref>{{harvsp|Adam|Tannery|1897-1913|p=33}}</ref>. Cela étant, elle ne peut être « imprimée »<ref name="AT IX, 41">{{harvsp|Adam|Tannery|1897-1913|p=41}}</ref> ou se trouver dans ce même ''je'' qu’en vertu d’un être qui lui soit externe, c’est-à-dire autre que le ''je'', et qui possède formellement ou en acte suffisamment de perfection afin de pouvoir être l’auteur ou la cause du contenu de notre idée de l’infini. Pour Descartes, il ne peut s’agir que de Dieu, d'un être possédant réellement en lui l'infinité et la perfection que l’ego ne peut qu’à peine et de manière bien limitée concevoir. Descartes dira, de manière métaphorique, que l’« on ne doit pas trouver étrange que Dieu, en me créant, ait mis en moi cette idée pour être comme la marque de l’ouvrier empreinte sur son ouvrage. »<ref name="AT IX, 37">{{harvsp|Adam|Tannery|1897-1913|p=37}}</ref>

Bien que l’homme soit donc capable de penser l’infini, il ne peut le faire qu’avec ses capacités limitées, celles de l’être fini qu’il est. Bien qu’il tende à le comprendre, et s’aime à le contempler, il ne pourra jamais saisir cet infini dans sa totalité, dans sa perfection. De son idée de l’infini qu’il trouve en lui, l’homme doit donc se contenter de la simple certitude qu’elle lui permet d’acquérir de l’existence effective, extérieure à sa pensée, de cet infini et que ce dernier soit non seulement la cause de cette idée mais aussi bien de l’existence de l’homme ainsi que de toute chose qui ''est''<ref name="AT IX, 41"/>. « Et toute la force de l’argument dont j’ai usé ici consiste en ce que je reconnais qu’il ne serait pas possible que ma nature fût telle qu’elle est, c’est-à-dire que j’eusse en moi l’idée d’un Dieu, si Dieu n’existait véritablement ; ce même Dieu, dis-je, duquel l’idée est en moi, c’est-à-dire qui possède toutes ces hautes perfections, dont notre esprit peut bien avoir quelque idée sans pourtant les comprendre toutes, qui n’est sujet à aucun défaut, et qui n’a rien de toutes les choses qui manquent quelque perfection. »<ref name="AT IX, 41"/>
 
L’infini dans l’homme, sous forme d’idée innée, permet donc de connaître que cet infini existe actuellement hors de l’homme mais ne peut néanmoins propulser l’homme vers une connaissance absolue de cet infini. Ce serait là une contradiction avec la notion même de ce que signifie l’infini chez Descartes. En effet, l’infini ne pourrait, par sa nature, jamais être compris par le fini. Descartes dira qu’« il est de la nature de l’infini, que ma nature, qui est finie et bornée, ne le puisse comprendre. »<ref name="AT IX, 37"/> Le créateur ne saura jamais être compris par sa créature.
 
Notre conception de l’infini nous permet donc non seulement de constater notre propre finitude, mais également d’inférer avec certitude qu’un tel être infini doit nécessairement exister hors de nous-mêmes, bien qu’on ne puisse jamais espérer le comprendre entièrement. Descartes nomme cet être [[Dieu]]<ref>{{en}} Mary-Ann Crumplin, « Descartes: God as the Idea of Infinity », dans ''International Journal of Systematic Theology'', vol. 10, {{n°|1}}, 2008, {{p.|3-20}}</ref>.

==== L'infini et l'indéfini ====

===== La distinction entre infini et indéfini =====

Alors que l'infini se dit de [[Dieu]], l'indéfini se dit du [[physique|monde physique]] et des [[mathématiques]]. L'indéfini désigne ce dont on ne peut prouver les bornes. Sa véritable nature est l'indétermination, puisque ni fini, ni infini. Tout ce qui est [[Ontologie (philosophie)|ontologiquement]] second à Dieu est seulement indéfini, c'est-à-dire qu'il traduit l'ignorance du sujet. Pourtant, Dieu lui-même échappe à l'homme. L'essence de l'infini déborde toute tentative dicible. Il y a inadéquation entre l'idée de l'infini en moi et l'infini, puisque vouloir dire l'infini, l'écrire ou le définir excède toujours la compréhension qu'on peut en avoir. L'idée de l'infini, se présente comme un paradoxe: c'est à la fois l'idée la plus claire et distincte, et l'idée la plus incompréhensible. En affirmant qu'il est faux de concevoir l'infini en niant le fini, [[René Descartes|Descartes]] suggère que l'on doit se contenter de se servir d'expressions négatives tout en les refusant sur le plan du sens, non seulement parce que l'essence de l'infini déborde toute tentative de le renfermer dans le langage, mais aussi que la mesure dans la positivité est essentielle à l'infini<ref name="p. 503-515">Jean-Baptiste Jeangene Vilmer, « La véritable nature de l'indéfini cartésien », dans ''Revue de métaphysique et de morale'', {{n°|4}}, 2008, {{p.|503-515}} et « Le paradoxe de l'infini cartésien », dans ''Archives de philosophie'' (Paris), vol. 72, {{n°|3}}, 2009, {{p.|497-521}}</ref>.

===== Descartes, héritier d'Aristote ? =====

La tradition a plutôt interprété l'indéfini cartésien comme un infini en extension ou infini spatial. Ce qui est présupposé dans cette interprétation est que Descartes reprend le couple infini en acte et infini potentiel d'[[Aristote]]. [[Jean-Baptiste Jeangène Vilmer]]<ref name="p. 503-515"/> suggère de mettre en cause cette interprétation et considérer plutôt une interprétation littérale de la notion d'indéfini dans la pensée de Descartes ; c'est-à-dire indéfini comme in-défini ou non défini. Notons qu'il y a des raisons métaphysiques pour refuser de considérer que l'indéfini soit un infini en son genre, dont le genre serait l'étendue. Ontologiquement, l'infinie positivité de Dieu implique nécessairement l'existence d'un seul infini. Aussi, l'étendue étant la marque du corps, cela constitue un défaut. On ne peut donc pas la prédiquer à Dieu, qui est infinie perfection. Enfin, puisque l'infini de Descartes n'est pas un infini de quantité, mais un infini de qualité - la perfection - on doit voir une différence de nature et non de degré entre infini et indéfini.

===== Métaphysique et physique =====

Cette distinction entre infini et indéfini s'explique aussi par le rapport de subordination qu'il y a entre [[métaphysique]] et [[Théories scientifiques de Descartes|physique chez Descartes]]. La métaphysique est la science des sciences, celle qui permet d'atteindre les principes de base et d'expliquer les fondements du savoir. Plus encore, les évidences des sciences ont besoin d'être ultimement garanties par l'existence de Dieu. La preuve de Dieu étant le fondement de l'ontologie, pour Descartes « un athée ne peut être géomètre », elle assure la validité des vérités éternelles<ref>Jean-Baptiste Jeangene Vilmer, « La prudence de Descartes face à la question de l'infini en mathématiques », dans ''Philosophiques'', vol. 34, {{n°|2}}, 2007, {{p.|295-316}} et « Descartes et les bornes de l'univers : l'indéfini physique », dans ''Philosophiques'', vol. 37, {{n°|2}}, 2010, {{p.|299-323}}</ref>.

==== Rôle de la volonté ====

===== Volonté comme marque divine =====

On a noté que l'idée de l'infini se présente comme un paradoxe. La clarté de la notion d'infini, vient de l'idée innée d'infini. Dieu ayant fait l'homme à son image, il y a forcément un rapport de ressemblance entre les deux. C'est la [[Volonté (philosophie)|volonté]] qui a pour [[Descartes]] un rôle d'image ou de marque divine. On ne peut concevoir cette ressemblance que par la même faculté par laquelle on se conçoit soi-même. Cette faculté est la volonté, soit le pouvoir d'affirmer ou de nier sans qu'une force extérieure nous y contraigne, c'est-à-dire porter un jugement qui lie des idées entre elles. On ne parle jamais de son caractère infini, mais seulement de son infinitude parce qu'elle est précisée seulement semblable<ref name="pp. 287-312">Jean-Baptiste Jeangene Vilmer, « Descartes : l'infinitude de ma volonté ou comment Dieu m'a fait à son image », dans ''Revue des sciences philosophiques et théologiques'', vol. 92, {{n°|2}}, 2008, {{p.|287-312}}</ref>.

===== L'infinitude de la volonté =====

Cette infinitude est le but, l'aspiration naturelle ou le désir que l'homme a pour l'infini. Pour éviter que l'infini soit objet et donc vienne contredire l'idée d'infini, il est nécessaire que l'infini soit l'origine et le but de l'homme. Ainsi, l'infini est origine puisque l'homme est marqué par lui en ayant l'idée innée de l'infini. Et l'infini est aspiration naturelle, puisque c'est la manifestation du refus du fini. L'idée de l'infini qui est en moi, c'est-à-dire en tant qu'idée innée, est le point de départ pour dépasser le [[solipsisme]] et de démontrer l'existence de l'infini. On doit ensuite remarquer que dans la conception de la [[Volonté (philosophie)|volonté]] de Descartes, volonté et liberté sont liées, voire confondues. Il définit la liberté comme l'amplitude de notre volonté. Alors, poser que la volonté est infinie c'est dire que son amplitude est infinie, et ainsi l'homme a une infinie liberté. Si on peut affirmer son infinitude, c'est parce que la volonté porte les signes de l'infini: soit la positivité et l'incompréhensibilité. La positivité de la volonté se traduit par l'évidence du libre arbitre, alors que son incompréhensibilité réside dans le paradoxe de la finitude de mon entendement et de l'infinie volonté<ref name="pp. 287-312"/>.

===== Infinitude comme cause de l'erreur =====

On peut aussi voir la cause de l'erreur dans l'infinitude de la [[Volonté (philosophie)|volonté]] ; l'erreur est une imperfection dont Dieu ne peut être responsable, étant infiniment bon et parfait. La cause se situe donc nécessairement au niveau de l'esprit humain, dans l'usage de ses facultés. On définit l'esprit humain comme cette chose qui pense, composée de l'[[entendement]] et de la [[Volonté (philosophie)|volonté]]. D'abord, l'entendement est une faculté passive qui reçoit les idées. Bien que l'entendement humain soit fini, il ne peut être la cause de l'erreur puisqu'une idée ne peut pas être plus ou moins vraie, seulement plus ou moins claire et distincte. Ensuite, la faculté de la volonté est active. Elle lie les idées ensemble pour former des jugements. Les relations ne peuvent pas être erronées en soi. Elle ne peut donc pas être seule cause de l'erreur. Descartes montre que l'erreur se produit lorsque la volonté dépasse les limites de l'entendement et pose des relations entre des idées qui ne sont pas claires et distinctes. Tel est l'effet de l'infinitude de la volonté<ref> Voir notamment : 
* Henri Gouhier, ''La pensée métaphysique de Descartes'', Paris, Vrin, 1987, {{p.|195-214}}
* Jean-Luc Marion, « Le paradigme cartésien de la métaphysique », dans ''Laval théologique et philosophique'', vol. 3, 1997, {{p.|785-791}}
* Thérèse Nadeau-Lacour, « Levinas, lecteur de Descartes ou l'idée d'infini comme événement éthique », dans ''Laval théologique et philosophique'', vol. 58, {{n°|1}}, 2002, {{p.|155-164}}
* {{en}} Jill LeBlanc, « A difficulty in Descartes's Notion of the Infinite in the third meditation », dans ''International Philosophical Quarterly'', vol. 38, {{n°|3}}, 1998, {{p.|275-283}}
* {{en}} Adam Drozdek, « Descartes: mathematics and sacredness of infinity », dans ''Laval théologique et philosophique'', vol. 52, {{n°|1}}, 1996, {{p.|167-178}}</ref>.

=== Bonaventura Cavalieri ===
En 1635<ref>Alexander, Amir (2014) - [https://www.pourlascience.fr/sd/histoire-sciences/guldin-et-les-indivisibles-de-cavalieri-7937.php Guldin et les indivisibles de Cavalieri] ''pour le science.fr'' - 10 décembre, 2018</ref> 
Cavalieri (1598 Milan - 1647) propose une nouvelle idée de la géométrie dans laquelle les corps sont composés de surfaces infinies et les surfaces de corps de lignes infinies<ref>Savérien (M., Alexandre) 1773 - [https://books.google.co.uk/books?id=YHyfhwo7_7cC&pg=PR25&dq=Tycho+Brahe+infini&hl=en&sa=X&ved=0ahUKEwi3j_eAjJbfAhWuRxUIHRcvB6kQ6AEIKDAA#v=onepage&q&f=false Histoire des philosophes modernes: Copernic. Viete. Tycho-Brahé. Galilée. Keple. Fermat. Cassni. Hughens. La Hire. Varignon] pp.xxv-xxvj Brunet - 10 décembre, 2018</ref>. Il appelle son idée de l'infiniment petit en géométrie ''les indivisibles''<ref>Volken, H [https://books.google.co.uk/books?id=OEN-wJGLerkC&pg=PA83&lpg=PA83&dq=Bonaventura+Cavalieri+infini&source=bl&ots=vyCRuXfJWk&sig=ccEupXrYDq4Asbl9mIoPj9b5W6E&hl=en&sa=X&ved=2ahUKEwj5wsm4kZbfAhWYSxUIHf0VB1k4ChDoATAHegQICBAB#v=onepage&q&f=false Devant la loi : {{XIe}} séminaire interdisciplinaire du Groupe d'étude "Raison et rationalités" : actes] {{p.|83}} Librairie Droz, 2006 {{ISBN|2600009590}} - 10 décembre, 2018</ref>. La méthode des indivisibles est publiée dans ''Geometria indivisilibus continuorum nova quadam ratione promota'' (1635). Cavalieri conçoit cette idée pour la première fois en 1629<ref>Seidengart, Jean (6 Julliet 2015) - [https://books.google.co.uk/books?id=U00aCgAAQBAJ&pg=PT531&lpg=PT531&dq=Bonaventura+Cavalieri+infini&source=bl&ots=zSM0JUnbuC&sig=0xuMwgVtRjnFXcgjasK70750610&hl=en&sa=X&ved=2ahUKEwidroezkJbfAhXKTBUIHYgSCgUQ6AEwB3oECAQQAQ#v=onepage&q=Bonaventura%20Cavalieri%20infini&f=false Dieu, l'univers et la sphère infinie: Penser l'infinité cosmique à l'aube de la science classique] nota 115, Albin Michel, - 10 décembre, 2018</ref>{{,}}<ref>Ross, André [http://cll.qc.ca/Professeurs/Mathematiques/Rossa/DOSSIERS/Cavalier.pdf] [[Cégep de Lévis-Lauzon]] - 10 décembre, 2018</ref>.

=== Blaise Pascal ===
[[Blaise Pascal|Pascal]]<ref>Pascal, Blaise (Descotes, D; Proust, G) - [http://www.penseesdepascal.fr/Transition/Transition2-moderne.php  ''Misère'' 17] [[Bibliothèque nationale de France]], [[Universités à Clermont-Ferrand]] - 8 décembre 2018</ref> (1623  Clermont (aujourd'hui Clermont-Ferrand) - 1662)   connaissait l'infini comme un fait de réalité existant dans toutes les sciences, ce qu'il pensait être vrai en raison du fait que la nature était en réalité « un double infini »<ref>Pascal, Blaise (Descotes, D; Proust, G) - [http://www.penseesdepascal.fr/Transition/Transition2v-moderne.php ''Transition'' 4 (Laf. 199, Sel. 230)] [http://www.penseesdepascal.fr/RO-extraits/RO347-351-355-359.pdf ''texte actuel''] Bibliothèque nationale de France, Universités à Clermont-Ferrand - 8 décembre 2018</ref>. En considérant comment il est impossible de comprendre l'infini  par la contemplation pour des individus, Pascal a montré comment cette impossibilité poussait grandement les individus à la recherche de la vérité dans la nature dans le cadre d'une enquête scientifique, mais il n'y a pas de capacité chez l'humain de connaître l'infini, et donc pas de capacité infinie (comme il en existe dans la nature) chez l'humain, cette seconde capacité d'infini étant nécessaire pour une connaissance correcte de la nature (synonyme de recherche scientifique)<ref>Pascal, Blaise (Descotes, D; Proust, G) - [http://www.penseesdepascal.fr/Transition/Transition4-moderne.php ''Disproportion de l’homme''] Bibliothèque nationale de France, Universités à Clermont-Ferrand "La fin des choses et leurs principes sont pour lui invinciblement cachés dans un secret impénétrable, également incapable de voir le néant d’où il est tiré et l’infini où il est englouti." - "Manque d’avoir contemplé ces infinis, les hommes se sont portés témérairement à la recherche de la nature comme s’ils avaient quelque proportion avec elle." "C’est une chose étrange qu’ils ont voulu comprendre les principes des choses et de là arriver jusqu’à connaître tout, par une présomption aussi infinie que leur objet. Car il est sans doute qu’on ne peut former ce dessein sans une présomption ou sans une capacité infinie, comme la nature" - 8 décembre 2018</ref>.

=== John Locke ===
[[John Locke|Locke]] (août 1632 Wrington (Somerset) - October 1704)<ref name=" Rogers214 ">{{lien web|url=http://www.britannica.com/biography/John-Locke |auteur=G.A.J. Rogers |titre=John Locke, English philosopher |éditeur=Brittanica |date=2015-12-14 |consulté le=2016-04-21 }}</ref> a considéré que dans les considérations sur le sujet de l'éternité, qu'il a classé comme un infini, les humains sont susceptibles de faire des erreurs<ref>[https://books.google.com/books?id=GZkDAAAAQAAJ&pg=PA137&dq=Locke&hl=en&sa=X&ei=5DIXVZa1LtT3ar-qgOgP&redir_esc=y#v=onepage&q=Locke&f=false Philosophical beauties selected from the works of John Locke - {{p.|237}}] T.Hurst 1802 [récupéré 2015-3-28](ed. Locke writes: And hence it is, that in disputes and reasonings concerning eternity, or any other infinite, we are apt to blunder, and involve ourselves in manifest absurdities...)</ref>. Dans ''[[Essai sur l'entendement humain]]'', il a observé comment discussions sur le sujet de l'infini  semblent possibles pour les individus, du fait de la possibilité d'utiliser des mots pour exprimer des quantités d'espace, de durée ou de divisibilité, mais l'idée d'infini est en fait incompréhensible (partie 21). Locke croyait que l'infini était un attribut de Dieu du christianisme (partie 1), mais ne pouvait comprendre la nature d'un être sans commencement, et ne pouvait donc pas compléter sa propre idée d'un "être éternel" (partie 17). Il pensa que comprendre l'infiniment petit était plus facile que l'infiniment grand (partie 18)<ref>John Locke - [https://ebooks.adelaide.edu.au/l/locke/john/l81u/B2.17.html Un Essai Concernant la compréhension humaine, chapitre 17, ''à l'infini''] récupéré 7 décembre 2018</ref>.

=== Leibniz et l'infini ===

==== L'infini en acte ====

C’est avec [[Gottfried Wilhelm Leibniz]] (1646 Leipzig - 1716) que l’actualité de l’infini sera pour la première fois objet d’une véritable analyse, étant donné que cette actualité est affirmée positivement. L’infini joue dans le système leibnizien un rôle essentiel quant à l’existence de toute chose. Cette affirmation s’oppose directement à la pensée aristotélicienne selon laquelle le concept d’infini ne peut être pensé que comme un possible. Selon Leibniz, l’infini en acte est la condition de possibilité de toute opération d’addition et de division, en tant que sa réalité est toujours déjà présupposée<ref>Jacqueline Guichard, ''L’Infini au carrefour de la philosophie et des mathématiques'', Ellipses, 2000 {{ISBN|978-2-72987987-7}}, {{p.|109}} et {{harvsp|Burbage|Chouchan|1993|p=33}}</ref>.

==== Les cinq contextes de l'infini<ref>{{harvsp|Burbage|Chouchan|1993|p=21-32}}</ref> ====

===== Dieu =====

Selon Leibniz, seul Dieu et ses attributs peuvent véritablement être dits « infinis ». En ce sens, tous les autres contextes où l'on trouve l’infini ne sont que des expressions plus ou moins parfaites de l’infinité de Dieu. Cette absolue infinité s’explique par la prémisse selon laquelle Dieu est parfait, la perfection étant ici entendue comme « la grandeur de la réalité positive prise précisément, en mettant à part les limites et bornes dans les choses qui en ont ». Dieu ne pouvant être limité, c’est sa perfection même qui est infinie. De par son infinité, Dieu est d’ailleurs le terme ultime de la série infinie des faits contingents du monde, en tant que raison suffisante dernière<ref>Dominique Berlioz et Frédéric Nef, ''L’actualité de Leibniz : Les deux labyrinthes'', Stuttgart, F. Steiner, 1999, {{p.|581-583}} {{lire en ligne|url=https://books.google.fr/books?id=-RO6YzgF4igC&pg=PA581}}</ref>.

===== Les idées de Dieu =====

C’est dans les idées de Dieu que l’on trouve une infinité de mondes possibles. L’infini y est donc d’abord possible, puis réel. Le passage du possible au réel est régi par le principe de la détermination du meilleur. En effet, la création du meilleur monde possible par Dieu s’effectue selon un calcul qui prend en considération l’infinité des possibles. Par la [[combinatoire]], Dieu compare d’abord l’infinité des possibles, puis également l’infinité des systèmes possibles, pour finalement déterminer le système présentant le plus haut degré de perfection. Il y a donc dans les idées de Dieu infinité d’infinis<ref>André Robinet, ''Architectonique disjonctive, automates systémiques et idéalité transcendantale dans la pensée de Leibniz'', Vrin, 1986, {{p.|184}}</ref>.

===== Les monades =====

L’infini se trouve également dans les réalités individuelles (monades). Les [[monade (philosophie)|monades]] étant par nature perceptives et appétitives, elles rassemblent une multitude de perceptions dans leur unité substantielle. Leur capacité de représentation n’est donc pas limitée à un aspect partiel des choses, mais à la multitude des choses dans l'univers, ce qui pousse Leibniz à affirmer « qu’elles vont toutes confusément à l’infini, au tout » (Monadologie par.60) . Il ne faut cependant pas se méprendre quant à la nature bel et bien finie de la monade. Ce type de réalité est fermée, « sans porte ni fenêtre », mais elle accède par ces états à la multitude des choses de l’univers. La monade est ainsi une réalité finie dont la capacité représentative est infinie. La différence entre l’infinité de Dieu et l’infinité de la monade est dès lors une différence quant à la manière d’être infini.

===== L'univers =====

L’univers accède également à l’infini, mais en un tout autre sens. L’univers n’est ni une totalité, ni une réalité unique et simple. Il est plutôt un « amas d’un nombre infini de substances ». C’est donc que le monde créé, de par l’infinité des substances et la division infinie de la matière, ne peut être unifié. Il est donc ici question d’un agrégat d’une infinité de réalités à quoi l’on ne peut assigner de limite<ref>Jean Seidengart, ''Dieu, l'univers et la sphère infinie : penser l'infinité cosmique à l'aube de la science classique'', Albin Michel, 2006, {{p.|496-498}}</ref>.

===== La divisibilité de la matière =====

La nature est pour Leibniz une structure de corps étendus, ces corps étant divisibles à l’infini. Leibniz compare d’ailleurs la nature à un étang habité par une multitude de créatures, où chaque parcelle de l’étang contient en lui-même une infinité d’étangs. C’est donc que la division de la matière est à comprendre non seulement comme une première division à l’infini, mais également selon une multitude de divisions où chaque partie actuellement divisée est elle-même divisée à l’infini, et ainsi à l’infini. Cette division est d'ailleurs imaginée par Leibniz selon qu'il s'agirait de « plis» qui vont à l'infini. La divisibilité des corps à l'infini doit être représentée non pas comme un nombre infini de grains de sable, mais comme les plis infinis d'une feuille de papier, où l'on ne peut atteindre le pli ultime<ref>{{harvsp|Belaval|1962|p=206 et 222-225}} et {{harvsp|Koyré|1962|p=303}}</ref>.

==== L'infini quantitatif dans le calcul infinitésimal ====

Conceptuellement, la présence de la notion d’infini dans le [[calcul infinitésimal]] est problématique. L’utilisation des expressions « dx » et « dy », qui semble faire référence à une quantité infiniment petite de temps ou d’espace peut en effet être la source de confusion. Leibniz mentionne à cet égard que le calcul infinitésimal est autonome opératoirement quant à sa métaphysique, et que l’écriture infinitésimale possède une valeur strictement instrumentale. Le calcul infinitésimal peut donc être dit indépendant de la métaphysique leibnizienne du point de vue de son fonctionnement. L’infini mathématique, en tant qu’infini quantitatif, s'apparente davantage à un « faux infini », ou à un infini simplement possible ; les différentielles sont des grandeurs qui n’existent pas avant d’être instrumentalement posées<ref>{{harvsp|Burbage|Chouchan|1993|p=89-95}} et {{harvsp|Koyré|1962|p=289}}</ref>.

==== L'infini comme objet de science ====

===== Infini mathématique =====

L’infini actuel et l’infini possible peuvent tous deux être objets d’une science. En ce qui a trait à l’infini mathématique, bien qu’il soit considéré comme un « faux infini » (potentialité), il est clair pour Leibniz qu’il est possible de connaître la loi d’une progression interminable de quantité. En ce sens, la raison suffisante de cette progression est accessible ; nous en avons donc une connaissance.

===== Infini physique et métaphysique =====

Le concept d’infini en acte est une idée innée. En ce sens, l’idée d’infini est évidente par elle-même et donc soumise uniquement au [[principe de non-contradiction]], ce qui la rend rationnelle. Il est également possible d’avoir une idée adéquate de l’infini métaphysique ou véritable, c'est-à-dire qu'il est possible d'en avoir une connaissance ou d'en présenter une définition dont l'on connait distinctement tous les termes. Dieu, de par ses attributs infinis, soit l'[[éternité]] et l'immensité, peut alors être connu. Or les monades sont des réalités finies qui ne peuvent percevoir l’infini que du point de vue dans lequel elles sont placées. C’est donc seulement en Dieu que la compréhension parfaite de l’infini est possible<ref>{{harvsp|Belaval|1962|p=206 et 212-221}} et {{harvsp|Burbage|Chouchan|1993|p=58-67}}</ref>.

=== Kant ===

La première des [[Critique de la raison pure#Les antinomies|quatre antinomies]] de [[Emmanuel Kant|Kant]] (1724 - 1804) est exprimée comme suit dans la ''[[Critique de la raison pure]]''<ref name="Emmanuel Kant">''Critique de la raison pure'' / Partie 2 / Division 2 / Livre 2 / Chapitre 2</ref> :
==== Thèse ====
« Le monde a un commencement dans le temps […], relativement dans l’espace, contenu dans certaines limites » : il serait, en effet, absurde d’admettre une série à la fois infinie et réalisée. La totalité des êtres ou des phénomènes forme un nombre qui dépasse notre imagination, mais qui est un nombre réel, et l’infini dépasse tous les nombres. Le passé contient un nombre d’êtres et de phénomènes auquel chaque instant ajoute. Il est contradictoire de nommer infini ce qui augmente ou peut augmenter. Le même raisonnement réfute l’éternité du passé : l’éternité est infinie, inaugmentable or chaque instant augmente le passé<ref name="Emmanuel Kant"/>.

==== Antithèse ====
« Le monde n’a ni commencement ni limites spatiales mais il est infini [(…) tant par rapport] à l’espace que par rapport au temps » : si le monde n’était éternel et sans mesure, il s’envelopperait donc d’un temps et d’un espace vides. Mais un temps vide ne renferme aucune cause, aucune condition, aucune possibilité de commencement, et rien n’aurait jamais pu commencer. Borner le monde dans le temps, c’est l’annihiler. Et un espace vide n’est rien, en prenant en compte le fait que le « vide » et le « néant » sont des concepts non superposables. Dire qu’un espace vide limite le monde, dire que le monde est limité par rien, c’est dire tout ensemble que le monde est limité et qu’il n’est pas limité<ref name="Emmanuel Kant"/>.

=== Hegel ===

==== Un infini qualitatif ====

Le projet du système hégélien de la dialectique et de l’infini a pour ambition de dépasser les oppositions philosophiques de l’infinité de la substance objective chez Spinoza et de la finitude de l’entendement humain chez [[Emmanuel Kant|Kant]]. C’est à partir de la première antinomie cosmologique du fini et de l’infini dans la ''[[Critique de la raison pure]]'' que [[Georg Wilhelm Friedrich Hegel|Hegel]]  (1770 - 1831) forme sa conception du véritable infini. Pour Kant, tâchons de rappeler que l’absolu n’est jamais donné dans l’intuition, mais il est forgé de toutes pièces par l’esprit en tant que simple concept, comme idée transcendantale. Cette idée de l’infini joue le rôle de pure fiction pour l’homme, fiction utile comme le déclarait [[Gottfried Wilhelm Leibniz|Leibniz]], alors qu’elle devient une idée-limite, une projection trans-empirique, peut-être nécessaire comme outil de développement de la connaissance, mais n’ayant vraisemblablement aucune réalité ontologique<ref name="PUF 2010, p42-48"/>. Selon Hegel, l’erreur de Kant aura été de ne concevoir qu’un infini quantitatif, puisque le concept d’éternité, comme progrès temporel interminable ne prend forme qu’en concevant une droite interminable ou encore une suite infinie de nombres naturels. Il en va de même pour l’infini spatial qui présuppose nécessairement une grandeur inexhaustible dans laquelle la finitude viendrait s’engouffrer ; encore une fois, l’argument est circulaire<ref name="PUF 2010, p42-48">[[Yvon Gauthier]], ''Hegel, Introduction à une lecture critique'', PUF, 2010, {{p.|42-48}}</ref>. Les catégories ''a priori'' de la sensibilité que sont le temps et l’espace chez Kant constituent la solution transcendantale au problème de la première antinomie, mais elles ne peuvent rendre compte pour Hegel de la dialectique interne de l’esprit seule apte à subsumer les antagonismes qu’il porte en son sein même<ref name="PUF 2010, p42-48"/>. Si l’infini hégélien est dit qualitatif, c’est bien parce qu’il ne se résume pas dans l’énumération ou l’itération de séries de nombres ou dans la somme de ces séries, mais bien parce qu’il réside dans le rapport qu’elles entretiennent ensemble.

==== Une méthode à la fois analytique et synthétique ====

Les mathématiques ont pour Hegel, un caractère essentiellement analytique ; non seulement la valeur de vérité des équations mathématiques ne tient pas de l’expérience sensible, mais elle dérive toujours en quelque sorte de sa conformité avec un paradigme au sein duquel sont présupposées des lois et des définitions ''a priori'' (au sens kantien). En ce sens, pour Hegel, le procédé analytique représente, contrairement à Kant, ''« la pure immanence des déterminations à la totalité originelle présente sous la modalité de l’en-soi »''<ref name="Science de la Logique, Chapitre 2, remarque 2">Hegel, ''Science de la Logique'', chap. 2, remarque 2</ref>. Autrement dit, ce n’est pas le nombre comme objet qui déploie de son essence les lois et mécanismes qui caractérisent son intériorité pure, mais elles sont insérées de l’extérieur par l’esprit et deviennent de sorte le miroir du fonctionnement de l’esprit humain et de son organisation intérieure. Ultimement, ''« l’objet, le nombre, n’est que la pensée, et la pensée abstraite de l’extériorité elle-même […] En raison de cette extériorité pure et de cette absence de détermination propre, le penser a dans le nombre une matière déterminable infinie qui n’oppose aucune résistance. »''<ref name="Science de la Logique, Chapitre 2, remarque 2"/>. La vérité pour Hegel, ou plutôt, le déploiement de la connaissance est toujours à la fois un procédé objectif et subjectif, une méthode à la fois analytique et synthétique. La connaissance mathématique partage donc ce caractère analytique avec la connaissance conceptuelle, toutefois, elle se différencie de cette dernière en n’étant qu’analytique, alors que la connaissance du concept est également un procédé synthétique.
Pour Hegel, le véritable infini est dans la relation qualitative qui s’établit dans le rapport entre deux grandeurs quantitatives. Comme Leibniz l’avait remarqué avant lui, ce ne sont pas les quantités infiniment petites ou infiniment grandes qui sont importantes, mais leur différence qui est infinitésimale<ref name="PUF 2010, p42-48"/>. Le passage de la quantité en qualité s’effectue à travers une relation dynamique engendrée par la raison qui résulte en une mesure, une proportion, ce qui pour Hegel signifie l’assimilation mutuelle du déterminant (qualité) et du déterminé (quantité).

==== Un rapport dynamique entre fini et infini ====

La conception de l’infini élaborée chez Hegel n’avait pas de prime abord des prétentions mathématiques ou pratiques, mais essentiellement métaphysiques et c'est bien en ce sens que sa vision de l’infini devenait celle de la dynamique du concept absolu.
Ainsi il faut également prendre en considérations que pour Hegel - axiome fondamental de tout son système qu’il emprunte à Spinoza -, toute détermination est du même coup une négation et par conséquent, la négation de la négation reflète l’automouvement du concept absolu. En résulte que la finitude et l’infini ne sont pas liés de manière externe par opposition l’une à l’autre, mais entretiennent plutôt une relation dynamique internalisée, l’infini absorbe en lui la finitude comme un des moments de son perpétuel déploiement. ''« Pour Hegel, ce devenir processuel est un infini dynamique ou qualitatif, et sa figure est celle du cercle sans point initial et sans point final – et non pas l’image de la droite infinie ou de la suite illimitée des nombres naturels. »''<ref name="PUF 2010, p42-48"/>.
Selon Hegel, l’histoire de l’être est un devenir perpétuel, ''« toute forme donnée est poussée à se dépasser, selon la nécessité d’une poussée, d’une pulsion, immanente, constitutive de la nécessité de sa transcendance. »''<ref>Jean-Pierre Cléro et Alain Niderst, ''Le Végétal'', Publications de l'université de Rouen, 1938, chapitre sur Hegel</ref>. Le mécanisme inhérent à ce mouvement universel est la dialectique, ''« la loi de la pensée et du réel qui, progressant par négations successives, résout les contradictions en accédant à des synthèses elles-mêmes toujours partielles et appelées à être dépassées »''<ref name="Dictionnaire de Philosophie, p 94">Dictionnaire de Philosophie, {{p.|94}}</ref>. Une conception particulière est toujours en elle-même un système positif et cohérent et en ce sens, il contient en lui un fragment du concept absolu qu'il représente de manière incomplète. Une idée dépassée ne disparaît jamais totalement, elle est plutôt submergée dans un nouveau système au sein duquel le fragment de son absolutisme est ratifié et incorporé. La négativité qui est au cœur de la dialectique s’effectue toujours dans un rapport dont elle est le principe médiateur. En d’autres mots, c’est le négatif qui effectue le rapport structurel entre une intériorité idéelle et une extériorité manifeste. En ce sens, le négatif s’apparente à l’essence de la chose, la poussée directrice, le moteur ontologique de l’être. Ce travail du négatif, inscrit au cœur même du devenir, anime pour Hegel toute histoire particulière<ref name="Dictionnaire de Philosophie, p 94"/>. Ce mouvement est pour Hegel un infini abstrait, un mécanisme universel à l’œuvre en toutes choses positives.

Finalement, ce qui est fini, par définition toujours en transition, est toujours en devenir, toujours appelé à être transcendé, dépassé vers l’infini. L’absolu contient donc en lui tous les moments de la finitude, l’absolu s’aliène lui-même à partir de lui-même pour finalement s’extérioriser comme esprit. L’infini chez Hegel est donc esprit absolu, idée absolue ou concept absolu, synonymes de la totalité du système de la philosophie. Si l’esprit ou l’idée est dite infinie chez Hegel, c’est que l’infinité est l’être de ce qui est sursumé et n’est que sursumé<ref>Denis Souche-Dagues, ''Recherches hégéliennes, Infini et Dialectique'', 1994, {{p.|59}}</ref>.

=== Cantor ===
[[Fichier:Georg Cantor 1894.jpg|thumb|right|Georg Cantor en 1894]][[Georg Cantor]] (1845 Saint-Pétersbourg - 1918) – mathématicien de formation – constate, au fil de ses travaux, que l’[[Analyse (mathématiques)|analyse mathématique]] est insuffisante à saisir complètement l’essence de l’infini<ref name="Hilbert91">Hilbert, ''Sur l’Infini'', Göttingen, traduit par [[André Weil]], Paris, 1972, {{p.|91}}</ref>. En fait, il se penche sur la question à travers les ensembles, dont les propriétés n’avaient pas été clairement élucidées avant lui. Celles-ci semblaient triviales pour les ensembles finis, alors que celles des ensembles infinis concernaient plutôt la philosophie. Cantor devient donc le fondateur de la ''[[théorie des ensembles]]'', une méthode « plus rapprochée de la philosophie générale »<ref name="Hilbert91"/> et dont le développement constituera un « achèvement aux conséquences majeures dans l’histoire des mathématiques »<ref>{{harvsp|Belna|2000|p=15}}</ref>. La théorie des ensembles, plus précisément la théorie des ''nombres transfinis'', qui en constitue le noyau<ref name="Hilbert91"/>, servira d’assise à une réflexion sur un éventail d’infinis différents. Cantor distinguera donc trois notions différentes d’infini : l’infiniment grand, qu’il analyse et hiérarchise et pour lequel il est reconnu (sections 1 à 4) ; les infinitésimaux, qu’il nie et rejette (section 5) ; enfin, l’infini absolu, sur lequel il fonde sa métaphysique de l’infini<ref>{{harvsp|Belna|2000|p=153-188}}</ref> (section 6).

Ainsi, l’appareil conceptuel déployé par Cantor se fonde sur des distinctions mathématiques complètement nouvelles, qui font de l’infiniment grand un objet à part, néanmoins analysable, mais qui contredit l’intuition<ref>{{harvsp|Lachièze-Rey|1999|p=54}}</ref>. Cantor croit que l’arithmétisation de l’infini est possible, autrement dit, il pense que l’infiniment grand est une quantité à laquelle doit être attribué un nombre<ref>{{harvsp|Lachièze-Rey|1999|p=122}}</ref>, nombre sur lequel il convient d’appliquer des opérations ordinaires<ref>{{harvsp|Dauben|1979|p=6}}</ref>. Il en vient à penser ainsi à la suite de ses travaux en arithmétique et en trigonométrie ; il ne ''présuppose'' donc pas que l'infini ait différentes valeurs, il le ''découvre''. Comme « des propriétés finies ne peuvent être prédiquées à tous les cas de l’infini »<ref>{{harvsp|Belna|2000|p=13}}</ref>, il faut trouver les propriétés de l’infini. Subséquemment, ces propriétés seront élaborées dans sa théorie des ensembles des nombres transfinis.

==== L’infini dans les ensembles ====

La réflexion de Cantor le mène à fonder les mathématiques sur une théorie des ensembles plutôt que sur l’arithmétique<ref name="Hilbert91"/>. Il s’inspire ainsi de la démarche de [[Bernard Bolzano|Bolzano]]<ref>{{harvsp|Cavaillès|1962|p=66}}</ref> et de sa méthode de la correspondance biunivoque, ou bijection. Cantor considère donc les ensembles comme des objets ayant « une existence en soi indépendamment de nos moyens de l’atteindre »<ref>{{harvsp|Cavaillès|1962|p=67}}</ref> et seulement définis par leur contenu.
Cantor travaillera essentiellement avec les ensembles infinis suivants : 
* l'ensemble des [[Entier naturel|nombres naturels]] ''N'' = {0, 1, 2, 3...} ;
* l'ensemble des [[Nombre rationnel|nombres rationnels]] ''Q'' : les fractions, incluant les éléments de ''N'' ;
* l'ensemble des [[Nombre réel|nombres réels]] ''R'' : ''Q'', ainsi que les nombres avec une infinité de décimales irrégulières comme la [[Racine carrée de deux|racine carrée de 2]], [[Pi|π]] ou [[Fonction exponentielle|e]].
Les nombres réels intéresseront particulièrement Cantor puisqu’ils permettent de localiser n’importe quel point sur une droite, dans un plan, ou dans l'espace.

==== Dénombrement des ensembles : la cardinalité ====

Comme un ensemble se définit par ses éléments, il faut trouver une façon de les compter pour pouvoir les comparer. C’est ici qu’intervient la notion de [[cardinalité (mathématiques)|cardinalité]] : le nombre cardinal d’un ensemble est le nombre d’éléments contenus dans cet ensemble<ref>{{harvsp|Lachièze-Rey|1999|p=53}}</ref> ; ceci « faisant abstraction de la nature des éléments de l’ensemble »<ref name="Delessert122">{{Ouvrage|prénom1=André|nom1=Delessert|titre=Gödel|sous-titre=une révolution en mathématique|lieu=France|éditeur=[[PPUR]]|année=2000|passage=122|isbn=}}</ref>. Ainsi, dans l’ensemble {1..., 100}, la cardinalité est de 100. Dans le cas des nombres infinis, il faudra trouver une façon de les comptabiliser et de leur attribuer un cardinal. Cela sera possible en les comparant entre eux.

On peut ainsi chercher à comparer la cardinalité d'un ensemble avec celle de son [[Ensemble des parties d'un ensemble|ensemble des parties]] : il s'agit de l'ensemble des ensembles possibles, à l'intérieur d'un ensemble. Par exemple, si le cardinal de A = {1, 2, 3} est 3, celui de son ensemble des parties est 2{{exp|3}} = 8, car on peut former 8 ensembles à partir de A : {1}, {2}, {3}, {1,2}, {2,3}, {1,3}, {1,2,3}, ∅.

==== Comparaison des ensembles : la correspondance biunivoque ====

===== Dans les ensembles finis =====

Pour comparer les ensembles finis, il s’agit de les compter, ce qui n’est rien d’autre que les associer un à un à l’ensemble M des nombres {1, 2, 3…, n} où n est le nombre d’éléments dans l’ensemble, autrement dit le nombre cardinal. On cherche à établir entre eux une correspondance biunivoque ou [[bijection]], c’est-à-dire une association de tous les éléments d’un ensemble avec ceux d’un autre, « sans répétition ni omission »<ref>{{harvsp|Belna|2000|p=227}}</ref> ; si une telle correspondance est possible, on dira que les deux ensembles ont la même « puissance », ils sont ''équipotents''<ref name="Delessert122"/>. En des termes plus précis, associer des éléments de l'ensemble D à ceux de l'ensemble E, sans répétition (pour chaque élément de D, il n'y a qu'un élément de E associé), est une simple [[injection (mathématiques)|injection]], alors que les associer, sans oublier d'éléments de D, est une [[surjection]]. Une bijection n'est qu'une relation de deux ensembles qui est à la fois injective et surjective.

==== Dans les ensembles infinis ====

Une telle correspondance peut s’appliquer aux [[Ensemble infini|ensembles infinis]]. De ce fait, l’ensemble de tous les nombres naturels pairs peut être mis en association avec l’ensemble de tous les naturels par la fonction ''y'' = 2''x'', où ''x'' est un élément parmi l’ensemble '''N''' de tous les naturels et ''y'' un élément parmi l’ensemble '''N'''′ de tous les naturels pairs. La cardinalité de '''N''' et de '''N'''′ est donc la même, aussi contre-intuitif que cela puisse paraître.
 
Ainsi, à première vue, il semble y avoir davantage de réels que de rationnels, et de rationnels que de naturels<ref>{{harvsp|Cavaillès|1962|p=73}}</ref> ; or, Cantor montre que les rationnels '''Q''' et les naturels '''N''' peuvent être mis en correspondance biunivoque, et donc qu’ils possèdent le même nombre d’éléments. Cela permettra en fait de ranger les nombres rationnels (considérés comme fractions) de la façon suivante : '''Q'''<sup>+</sup> = {1/1, 2/1, 1/2, 3/1, 1/3, 3/2, 2/3, 4/1, 1/4...} (les fractions négatives ne sont pas incluses ici pour faciliter la compréhension). On remarquera que, dans la suite, les fractions réductibles, et donc répétitives, ont été retirées (2/4 = 1/2, par exemple). Comme les nombres rationnels sont placés dans un ordre qui les réunira tous sans exception, on peut dire qu’ils sont ''dénombrables'', c’est-à-dire qu’on peut associer un nombre ''n'' à chacun d’eux. De manière plus générale, on voit que tout ensemble dénombrable infini a la même cardinalité, et donc le même nombre d’éléments que les naturels.

Les comparaisons entre '''N''' et '''N'''′ ou entre '''Q''' et '''N''' reviennent à envisager une partie comme aussi grande que le tout ; ce qui va à l’encontre de ce que les philosophes ont toujours considéré comme une règle fondamentale<ref>{{harvsp|Lachièze-Rey|1999|p=55}} : Rey parle précisément de Galilée, cependant cet argument remonte à Aristote.</ref>. Cette apparente transgression chez Cantor devient finalement la définition d’un [[ensemble infini]] : la cardinalité d’un ensemble est infinie si et seulement si une ou plusieurs de ses parties est égale à son tout<ref group=alpha>Cette définition, due à [[Richard Dedekind]], ne coïncide avec la définition courante que sous l'hypothèse de l'axiome du choix - voir l'article [[Ensemble infini]].</ref>.

Or, tous les ensembles infinis n’ont pas la même cardinalité comme le montre l’argument de la diagonale, démonstration de l’impossibilité de dresser une bijection entre '''N''' et '''R''', et donc que <math>{\aleph_0} < 2^{\aleph_0}</math>, c'est-à-dire que la cardinalité des réels est strictement supérieure à celle des nombres naturels. En effet, l’ensemble '''R''' des réels n’est pas dénombrable, et Cantor nommera sa cardinalité : ''puissance du continu''. L’ensemble des réels est un ensemble ''continu'' (par opposition à discret) puisqu’il regroupe tous les points d’une droite, d’un plan ou d’un graphique, sans « trous ».

==== Les nombres transfinis ====
{{Article détaillé|nombre cardinal|nombre ordinal}}

===== Aleph 0 et son arithmétisation =====

Les « [[nombres transfinis]] » est l’appellation que donne Cantor aux nombres infinis correspondant aux différentes cardinalités des ensembles infinis en raison de la connotation négative liée au concept d’infini, comme s’il s’agissait d’un « incomplet » ou d’un « indéfini ». Les transfinis cantoriens sont de réels objets mathématiques, ils sont « en acte », étant donné que les ensembles, aussi infinis soient-ils, sont bien réels. Par convention, la cardinalité de '''N''' (qui est aussi celle de '''Z''' et de '''Q''') est nommée Aleph 0, <math>{\aleph_0}</math>, et constitue la plus petite quantité infinie. « Aleph », qui est l'équivalent de la lettre « a » en hébreu, a sans doute été choisi parce que, pour Cantor, les infinis sont justement des entités réelles avec lesquelles on peut développer une nouvelle arithmétique<ref>{{harvsp|Belna|2000|p=126}}</ref>. Mais comment effectuer des calculs arithmétiques à partir de <math>{\aleph_0}</math> ? Cantor démontre<ref>{{harvsp|Belna|2000|p=124}}</ref> que, pour tout entier <math>{n}</math>, « <math>{\aleph_0 + n = \aleph_0}</math> », que « <math>{\aleph_0 + \aleph_0 = \aleph_0}</math> » et que « <math>{\aleph_0 \times \aleph_0 = \aleph_0}</math> » .

Ce dernier résultat est déjà étonnant, car il implique l’assertion que l’ensemble des fractions et celui des entiers ont la même cardinalité. C'est d'ailleurs également le cas de l'ensemble des points d’une droite et de l’ensemble des points d’un plan, qui ont la même cardinalité, qui est cette fois celle du continu. En fait, peu importe le nombre de dimensions de la « zone de travail », le nombre de points qu’elle contient est identique. On a donc c × c = c où c est la cardinalité d’un ensemble transfini. Par conséquent, « les espaces d’un nombre arbitraire de dimensions peuvent être seulement cartographiés sur la ligne unidimensionnelle des réels »<ref>{{harvsp|Dauben|1979|p=47}}</ref>. Dans sa correspondance avec Dedekind, Cantor dira à propos de cette découverte « je le vois, mais je ne le crois pas »<ref>En français dans le texte allemand. {{harvsp|Cavaillès|1962}}, Correspondances Cantor-Dedekind : {{p.|211}}.</ref>.

===== Le cardinal de l'ensemble des parties d'Aleph 0 =====

On pourrait croire, d'après les résultats précédents, qu'il n'y aurait qu'une seule cardinalité infinie. Mais Cantor démontre (voir [[Théorème de Cantor]] pour une analyse détaillée) qu'il n'y a pas de surjection – et donc pas de bijection – entre un ensemble B et son ensemble des parties (''P''(B)). Cela est assez évident pour les ensembles finis, par contre, pour les infinis, il faut opérer une ''reduction ad absurdum'' et une construction (non effectuée ici). Le résultat auquel arrive Cantor est que, la cardinalité de '''N''' < la cardinalité de ''P''('''N''') < celle de ''P''(''P''('''N'''))... la cardinalité de '''N''' est <math>{\aleph_0}</math>, alors que celle de son ensemble des parties est de <math>2^{\aleph_0}</math> etc. Ainsi, <math>\aleph_0 < 2^{\aleph_0} < 2^{2^{\aleph_0}} \ldots</math>

Cependant, Cantor veut faire mieux que de dresser une telle hiérarchie : il veut construire la suite des alephs où chaque nouvel aleph est le successeur immédiat du précédent. Il aura besoin, pour ce faire, des ordinaux.
 
===== La suite des alephs grâce aux ordinaux =====
 
Cantor devra faire appel à la théorie des [[Nombre ordinal|ordinaux]], c'est-à-dire des ensembles en tant qu'ils sont ordonnés (où, contrairement aux cardinaux, la position des termes est primordiale). L'ordinalité ne peut être appliquée qu'à des [[Ensemble bien ordonné|ensembles bien ordonnés]] (qui ont un bon ordre). Cantor réussit ainsi à obtenir, grâce aux ordinaux, un langage plus précis, qui lui permettra d'avoir une arithmétique plus subtile des infinis. Ainsi, l'addition n'est pas commutative avec les ordinaux, par exemple <math>\omega + 1 \neq 1 + \omega</math> (<math>\omega</math> correspondant à l’ordinalité de <math>\mathbb{N}</math>). L'''ordinalité'' permet également de comparer des ensembles avec plus de précision que par la simple comparaison de cardinalité.

Grâce à la notion d'ordinaux, Cantor réussit à définir les alephs : <math>{\aleph_0}</math> est la cardinalité de l'ensemble – infini – de tous les ordinaux finis, alors que <math>{\aleph_1}</math> est celle de tous les ordinaux dénombrables. Et en poursuivant il lui devient possible de construire la suite (elle-même indexée par les ordinaux) : 
:<math>{\aleph_0} < {\aleph_1} < {\aleph_2} < {\aleph_3} < \ldots < {\aleph_\omega} < \ldots</math>.

===== L'hypothèse du continu =====

Le cardinal de l'ensemble des ensembles d'entiers naturels est celui de l'ensemble des réels, et Cantor fait l'hypothèse que ce cardinal est <math>{\aleph_1}</math> : c'est ''l'[[hypothèse du continu]]'' (le continu est [[nombre réel|l'ensemble des réels]], qui n'a pas de « trous »). Cette dernière équivaut donc à soutenir que <math>{\aleph_1}</math> = <math>2^{\aleph_0}</math>, à savoir, que la cardinalité des réels est le successeur de celle de l'ensemble des entiers naturels, c'est-à-dire la « quantité infinie » immédiatement supérieure.

==== Le rejet des infinitésimaux ====
Malgré sa concession pour l’utilité de l’[[infiniment petit]] dans le calcul infinitésimal, Cantor s’oppose à ce que l’infiniment petit soit un véritable infini (en acte), autrement dit, qu’il soit un objet mathématique à part entière, et il le définira plutôt comme un « mode de variabilité »<ref>{{harvsp|Belna|2000|p=157}}</ref> ou un infini simplement potentiel. Il dira qu’il s’agit d’un infini « improprement dit »<ref name="Hilbert91"/>, dont la grandeur est variable, décroissante à volonté, mais toujours finie comme l’est n’importe quel nombre irrationnel (ce n’est pas parce qu’un nombre en particulier a un nombre infini de décimales sans règle qu’il est lui-même infini). Dans le ''Mitteilungen'', Cantor souhaite montrer formellement la contradiction intrinsèque des infinitésimaux, mais il ne fait que réitérer finalement l’axiome d’Archimède (à partir de a et b où a < b, où a et b sont des nombres réels positifs, et où il existe un c tel que a×c > b){{sfn|Belna|2000|p=160}}. Cantor rejettera donc les théories de Du Bois-Reymond et de Thomae Stolz, ainsi que celle de Veronese, car elles échouent toujours à montrer à quel ensemble peuvent référer les infinitésimaux (ou de quels ensembles ils sont obtenus). Si les infinitésimaux étaient des nombres, ils devraient être constitutifs d’un ensemble, et ce dernier serait ''plus continu que l’ensemble des réels''<ref>{{harvsp|Belna|2000|p=166}}</ref>(lui-même « puissance du continu »).

==== L’infini absolu : un fondement théologique ====
 
Abordée dans le ''Mitteilungen'', la question de l’infini absolu de Dieu est pour Cantor d’une importance capitale<ref>{{Article|langue=en|prénom=Ignacio|nom=Jané|titre=The role of the absolute infinite in Cantor's conception of set|journal=Erkenntnis|volume=42|numéro=3|mois=mai|année=1995|p.=375-402|doi=10.1007/BF01129011}}, §3.2</ref>. Même si elle concerne plus directement la théologie spéculative, elle sert tout de même de fondement à la théorie des transfinis<ref>{{harvsp|Belna|2000|p=181-182}}</ref>. C’est une sorte de révélation mystique pour Cantor : « il Lui a plu que je parvienne aux révélations les plus étonnantes et les plus inattendues dans la théorie des ensembles »<ref name="Belna183">{{harvsp|Belna|2000|p=183}}</ref>, écrit-il à propos de ce qu’il considère comme un véritable infini, comme un maximum absolu. Les nombres transfinis sont accessibles à l’homme, mais leur ensemble, c’est-à-dire le système de tous les nombres « Ω »<ref>{{harvsp|Cavaillès|1962|p=220}}</ref>, est incompréhensible.

Comment concilier la diversité mathématique des infinis (aleph 0, 1, la puissance du continu, etc.) avec l’unicité de l’infinitude absolue de Dieu ? Pour Cantor, c’est ce dernier qui garantit l’existence des transfinis, car ''a priori'', ils devraient normalement découler de la nature infinie de Dieu, et qu’''a posteriori'', ils permettent une explication d’un plus grand éventail de phénomènes. Malgré tout, il semble que la théorie cantorienne sur les transfinis puisse se passer de l’hypothèse de Dieu<ref name="Belna183"/>.

=== Russell ===
[[Fichier:Honourable Bertrand Russell.jpg|thumb|Bertrand Russell (1916).]]

L’infini devient un problème pour [[Bertrand Russell|Russell]] (1872  Trellech (Monmouthshire, pays de Galles) - 1970) lui-même au cours de ses recherches avec [[Alfred North Whitehead|Whitehead]] sur la réduction logique des mathématiques dans les ''[[Principia Mathematica]]'' de 1910 à 1913. Il propose peu de temps après une application de la méthode analytico-logique au problème traditionnel de l’infini en philosophie pour en dégager une théorie positive dans ''[[La Méthode scientifique en philosophie]]'' en 1914.

==== Le projet logiciste ====

Le projet logiciste consiste à démontrer logiquement les concepts et les propositions mathématiques. En 1889, [[Giuseppe Peano|Peano]] développe une axiomatique de la théorie des nombres réduisant ainsi les mathématiques à l’arithmétique. Pour que Russell puisse démontrer la réductibilité des mathématiques à la logique pure, tout ce qu’il a à faire, c’est donc de réduire les [[axiomes de Peano]] à la logique<ref>{{harvsp|Vernant|1993|p=399}}</ref>. Pour ce faire, il mobilise les outils conceptuels de Cantor en mathématique et de [[Gottlob Frege|Frege]] en logique. Toutefois, ce projet s’avère être un échec car Russell n’arrive pas à démontrer logiquement l’existence d’une classe infinie d’objets et se voit dès lors obligé de postuler l'infinité d'objets qui la rend possible.

===== La définition du nombre =====

Russell travaille avec la définition frégéenne du nombre avancée dans ''Les fondements de l’arithmétique'' : « la classe de toutes les classes semblables à la classe donnée »<ref>{{harvsp|Russell|1971|p=209}}</ref>. Cette définition du nombre permet à Russell de fournir la démonstration logique de quatre des cinq axiomes de l’arithmétique de Peano. Seul l’axiome qui consiste à postuler que « si deux nombres ont le même successeur, ces deux nombres sont identiques »<ref>{{harvsp|Vernant|1993|p=400}}</ref> est problématique. Le problème vient entre autres de la définition logique du nombre telle que donnée par Frege.

La définition logique du nombre considère celui-ci comme une propriété d’un terme général ou d’une description générale<ref>{{harvsp|Russell|1971|p=207}}</ref>. Selon Russell, dans le cas du nombre, il est possible de remplacer la notion de terme général par celle de classe sans que cela ne pose de problème sur le plan logique. Ainsi, n’importe quel nombre, en tant que prédicat d’un terme général qui dénote quelque chose qui n’existe pas, a pour [[cardinalité (mathématiques)|cardinalité]] la classe nulle, car le nombre ne dénote rien<ref>{{harvsp|Russell|1971|p=206}}</ref>. Par exemple, zéro est un prédicat qui s’applique au terme général « licorne » car aucune licorne n’existe. Étant donné cette caractéristique du nombre, il faut nécessairement qu’il y ait une classe infinie afin qu’il soit possible de démontrer logiquement l'axiome de Peano. Sinon, tout nombre dépassant le dernier nombre qui dénote la quantité de tout ce qui existe a le même cardinal que son successeur, soit la classe nulle. Ces nombres sont donc identiques<ref name="Vernant406">{{harvsp|Vernant|1993|p=406}}</ref>. Si n est le nombre de choses qui existent, son successeur n+1 a une cardinalité de 0, de même que n+2. n+1 a donc pour successeur n+2 tout en lui étant identique, ce qui est une contradiction avec l'axiome de Peano. Afin qu’il n‘y ait pas de contradiction et que cet axiome puisse être démontré, il faut nécessairement qu’il y ait une classe infinie<ref name="Vernant406"/>. Russell considère donc trois possibilités de démontrer l’existence d’une classe infinie.

===== Les démonstrations de la classe infinie =====
 
La première des classes infinies est dérivée d’un argument inspiré de [[Parménide]], considérant l’Être<ref name="Vernant406"/>. La deuxième classe infinie est dérivée d’un argument tenant compte du nombre et de son idée<ref name="Vernant407">{{harvsp|Vernant|1993|p=407}}</ref>. Ces deux démonstrations sont invalides à cause de leur caractère psychologique et du fait que l’être et l’idée du nombre ne peuvent constituer des prémisses mathématiquement démontrables<ref name="Vernant407"/>. La dernière démonstration, contrairement aux deux autres, est dérivée d’un argument qui relève de la logique. L’argument démontre qu'il est possible de construire une classe infinie à partir de la classe nulle. 0 existe à cause de la classe nulle. 1 est le nombre de la classe dont seule la classe nulle est membre ; 2 est le nombre de la classe constiuée de 1 et 0, et ainsi de suite. En suivant ce principe, la classe spécifique à chaque nombre est construite. Le nombre de 0 à n est n+1 et ce dernier est un nombre fini. À cause de la caractéristique héréditaire des nombres, l’existence est une propriété de tous les nombres entiers finis. Ainsi tous les nombres entiers existent et la cardinalité de la suite des nombres finis est infinie. Toutefois, selon ce raisonnement chaque nombre sera d’un type différent que son successeur. Étant donné que cette preuve ne respecte pas la théorie des types, elle n’est pas valide. En n’arrivant pas à démontrer l’existence d’une classe infinie, Russell est forcé de postuler l’infini à titre d’axiome.

===== L’axiome de l’infini =====
{{Article détaillé|Axiome de l'infini}}

Cet axiome suppose l’infinité de l’univers du discours, car seulement ainsi il peut y avoir une classe infinie et une infinité de nombres. Cependant, le fait que cet axiome énonce un prédicat d’existence fait en sorte qu’il ne puisse appartenir à la logique pure<ref>{{harvsp|Vernant|1993|p=421}}</ref>. Malgré le fait qu’il ne peut être démontré logiquement, Russell soutient que seul l’axiome de l’infini peut assurer l’applicabilité de la logique pure au monde empirique. À ce titre, puisque la logique est applicable au monde, l’axiome de l’infini constitue une hypothèse empiriquement vérifiable. Par ailleurs, l’axiome de l’infini semble problématique dans la mesure où il est posé de manière ''ad hoc'' dans la démonstration de Russell. Puisque ce dernier a foi en la vérification empirique de l’axiome, il le présuppose dans l’application de sa méthode analytico-logique en philosophie.

==== Le fondement philosophique de l’infini mathématique ====

Zénon affirme que l’espace et le temps sont indivisibles en points et en instants dans les contextes fini et infini. Selon Russell, si l’espace et le temps consistent en un nombre fini de points et d’instants, alors les arguments de Zénon contre la thèse que l’espace et le temps sont composés de points et d’instants sont tout à fait valables<ref name="Russell179">{{harvsp|Russell|1971|p=179}}</ref>. En mathématique, le [[calcul infinitésimal]] est l’outil fondamental de l’étude des corps en mouvement dans l’espace en fonction du temps. Or, le calcul infinitésimal présuppose que l’espace et le temps ont une structure en points et en instants. Au sens de Zénon, le calcul infinitésimal est donc logiquement infondé. Or, Russell montre que si l’espace et le temps consistent en un nombre infini de points et d’instants, alors les paradoxes de Zénon n’ébranlent plus les mathématiques à cet égard<ref name="Russell179"/>. Le présupposé essentiel du calcul infinitésimal conserve ainsi sa légitimité philosophique. Russell souligne cependant que la tradition a longtemps négligé la thèse selon laquelle le monde est composé d’un nombre infini de points et d’instants à cause des contradictions qu’impliquait une notion naïve de l’infini.

==== La critique de la notion kantienne de l’infini ====

Pour illustrer les effets d’une conception erronée de l’infini, Russell analyse les deux premières antinomies de la raison pure de [[Emmanuel Kant|Kant]] sur l’idée régulatrice de monde<ref>{{harvsp|Russell|1971|p=164-168}}.</ref>.

===== Le problème de la synthèse successive de l’infini =====

Kant caractérise une série infinie par le fait qu’on ne peut jamais la synthétiser successivement au complet. Par extension, c’est affirmer que la série des nombres naturels, à savoir la somme des termes de la suite des entiers positifs à partir de zéro, est infinie parce qu’elle ne peut se compléter dans un temps fini par l'homme, qui est fini. Or, Russell soutient que la notion d’infini « est avant tout une propriété de classes, et n’est que secondairement applicable aux séries »<ref>{{harvsp|Russell|1971|p=165}}</ref>. C'est qu'une série, par définition, tient compte de l’ordre successif des éléments la constituant de sorte qu’il y a toujours au moins un élément qui lui échappe lorsqu’elle est infinie. Au contraire, à la manière d'un concept, une classe renvoie à chacun des éléments la constituant, ce qui permet de capturer l’infini mathématique sans en avoir fait la synthèse. Russell fait ressortir par là l’erreur consistant à comprendre l’infini à partir de notre propre finitude au lieu de le considérer comme le caractère propre du nombre en tant qu’objet logico-mathématique.

===== Le problème de la constitution de l’espace en points =====

Kant plaide en faveur de l’impossibilité d’un espace composé de points en raison de l’absurdité qu’implique la division à l’infini. En fait, Kant suppose que pour obtenir un point, il faudrait arriver au bout d’une opération de découpages successifs, à chaque fois en deux, de l’espace qui par définition est sans fin. Or, pour éviter ce problème, Russell conçoit à l’instar de Frege et de Cantor que « tout comme une classe infinie peut intégralement être donnée par le concept qui la définit, […] de même un groupe infini de points peut être donné intégralement comme formant une ligne, une aire ou un volume, quoiqu’ils ne puissent jamais être atteints par des divisions successives »<ref>{{harvsp|Russell|1971|p=168}}</ref>.

==== Le rejet des infinitésimaux ====

Comme le suggère [[Gottfried Wilhelm Leibniz|Leibniz]], un [[Infiniment petit|infinitésimal]] serait une quantité d’espace ou de temps si petite qu’il n’en existerait pas une inférieure de sorte qu’il serait impossible de la diviser en deux quantités finies. Or, Russell rejette la possibilité en mathématique de manipuler des quantités infinitésimales, à savoir des quantités telles que « toute distance finie quelconque lui soit supérieure »<ref>{{harvsp|Russell|1971|p=146-149}}</ref>. Selon Russell, l’erreur d’imagination menant à la croyance des infinitésimaux consiste à penser que, à la fin de l’opération de découpage en deux de l’espace et du temps, les distances et les périodes ne soient plus divisibles en quantités finies. De là, il existerait des quantités infiniment petites manipulables en mathématique. Or, Russell rappelle que la divisibilité infinie ne permet pas de conclure à l’existence d’un dernier terme dans une opération qui par définition est sans fin<ref name="Russell147">{{harvsp|Russell|1971|p=147}}</ref>.

Russell explicite en ce sens l’erreur logique consistant à interpréter l’énoncé vrai « pour toute distance finie<ref group=alpha>En fait, ici, par « distance finie » on entend un réel strictement positif.</ref>, il y a une distance inférieure » par l’énoncé faux « il y a une distance telle que, quelque distance finie que nous puissions choisir, la distance en question est inférieure »<ref name="Russell147"/>. Du point de vue de la logique formelle, il s’agit là d’une inversion des quantificateurs universel et existentiel opérant dans la proposition. En effet, la proposition fausse veut faire dire « il existe une distance plus petite que toute distance finie », l’infinitésimal, alors que la proposition vraie veut dire « pour toutes distances, il existe une distance finie plus petite », ce qui implique l’impossibilité de l’infinitésimal. Par la méthode analytico-logique, Russell parvient donc à mettre de l’ordre dans la compréhension des infinitésimaux en vue de rejeter leur nécessité pour opérationnaliser le calcul infinitésimal.

== L'infini au {{s-|XXI}} ==
=== En mathématiques ===
Pour la grande majorité des mathématiciens du {{s-|XXI}}, l'infini (dans chacune de ses acceptions) est une notion mathématique comme les autres, possédant une définition explicite, et qui pourrait en principe se ramener aux objets primitifs du langage utilisé (le plus souvent celui de la [[théorie des ensembles de Zermelo-Fraenkel]]). Ainsi, par exemple, un [[ensemble infini|ensemble est infini]] (au sens de [[Richard Dedekind]]) s'il peut être mis en bijection avec un de ses sous-ensembles stricts ; le [[point à l'infini]] d'un espace est un objet formel ajouté à cet espace en suivant des règles précises, etc. Les sections suivantes détaillent les différents usages de cette notion, et précisent d'éventuels points de désaccord.

==== Théorie des ensembles ====
L'un des objectifs de la théorie de Cantor est de donner un sens précis à la phrase « l'ensemble ''E'' contient un nombre infini d'éléments », et permettant en particulier de différencier plusieurs infinis ([[ensemble dénombrable|infini dénombrable]], [[puissance du continu|infini du continu]], etc.). Comme cela a été exposé dans la partie historique, les conceptions de Cantor se sont heurtées, d'une part aux objections de certains mathématiciens, en particulier [[Leopold Kronecker|Kronecker]], refusant l'« infini actuel », d'autre part aux contradictions bien réelles créées par une vision trop naïve de la théorie, en particulier par l'« ensemble de tous les ensembles ». La solution à ces [[antinomie]]s, et à la [[crise des fondements]] qui en résultait, fut apportée par diverses axiomatiques (le plus souvent équivalentes entre elles), dont la plus utilisée est celle de Zermelo-Fraenkel, dite [[Théorie des ensembles de Zermelo-Fraenkel#Théorie de Zermelo-Fraenkel (ZF)|ZF]]. Pour ces axiomatiques, il existe évidemment (au sens intuitif) des « collections d'objets » infinies (par exemple la collection de tous les entiers) ; l'[[axiome de l'infini]] affirme alors que l'une de ces collections au moins est un ensemble (et donc un objet légal de la théorie, contrairement à la collection de tous les ensembles), ce qui revient à affirmer l'existence de l'infini actuel. La hiérarchie d'infinis découverte par Cantor devient alors une simple conséquence de la théorie, et l'existence de [[nombre cardinal|cardinaux]] distincts ne présente plus de difficulté de principe ; cependant la question de leur taille exacte fait depuis cette époque l'objet d'intenses recherches, portant en particulier sur l'[[hypothèse du continu]] et sur les conséquences de l'existence de certains [[grand cardinal|grands cardinaux]]. La définition précise d'un « ensemble de taille infinie » s'avère toutefois dépendre de l'[[axiome du choix]] : en sa présence (c'est-à-dire dans la [[Théorie_des_ensembles_de_Zermelo-Fraenkel#Théorie_de_Zermelo-Fraenkel_avec_axiome_du_choix_(ZFC)|théorie ZFC]]), toutes ces définitions sont équivalentes, mais sinon, il est par exemple possible de construire des ensembles infinis ne contenant aucune suite dénombrable d'objets distincts (ensembles dits [[Ensemble_fini#La_définition_de_Dedekind|finis au sens de Dedekind]]). Enfin, cette théorie permet un véritable « calcul avec l'infini », que ce soit avec les [[nombre cardinal|nombres cardinaux]] mesurant la taille des ensembles, ou avec les [[nombre ordinal|nombres ordinaux]], plus précis, et décrivant, en un certain sens, une façon de « compter » les éléments des ensembles étudiés.

Cependant la théorie classique des ensembles stipule qu'il n'y a pas de suites infinies descendantes <math>... \in x3 \in x2 \in x1 \in x0</math> pour l'appartenance et en particulier qu'il n'y a jamais de boucle pour l'appartenance donc qu'aucun ensemble n'appartient à lui même ; c'est l'[[axiome de fondation]]. En revanche, l'[[axiome d'anti-fondation]] autorise de telles suites infinies descendantes et propose donc une théorie alternative des ensembles.

==== Analyse ====
Le sens à donner à l'infini (infiniment grand ou infiniment petit) en [[Analyse (mathématiques)|analyse]] a amené aux querelles philosophiques du {{s-|XVII}}<ref>En particulier aux célèbres critiques faites par [[George Berkeley|Berkeley]] envers les « quantités évanescentes ».</ref>, puis, après d'impressionnants succès initiaux, à de sérieuses difficultés mathématiques, liées en particulier à l'impossibilité de construire un système rigoureux d'[[Infiniment petit|infinitésimaux]]. Le travail de refondation de [[Augustin Louis Cauchy|Cauchy]] et [[Karl Weierstrass|Weierstrass]] dans la première moitié du {{s-|XIX}} devait amener à remplacer partout des phrases telles que « la [[dérivée]] de ''f'' en zéro  est infiniment proche du quotient <math>f(h)-f(0) \over h</math> lorsque ''h'' est infiniment petit » par <math>f'(0)=\lim_ {h\to 0}{f(h)-f(0) \over h}</math>, la notion de [[limite (mathématiques)|limite]] recevant elle-même une définition parfaitement rigoureuse, et ne faisant plus intervenir que des nombres ordinaires ; dans ce contexte, le symbole <math>\infty</math> dans des notations telles que <math>\lim_ {x\to +\infty}{4x^2+x \over 2x^2-1}=2</math> n'est plus qu'une abréviation. Avec ce choix, les infinis apparaissant en analyse ne sont que des infinis potentiels, ce que montrent bien les définitions classiques de Weierstrass, avec lesquelles la formule précédente se lit « l'expression <math>{4x^2+x \over 2x^2-1}</math> peut être rendue aussi proche que l'on veut de 2 en prenant ''x'' suffisamment grand ».

Un point de vue plus moderne (mais mathématiquement strictement équivalent) consiste à rajouter aux ensembles  de nombres étudiés de nouveaux éléments (comme pour la construction des nombres complexes), obtenant par exemple la [[droite réelle achevée]] {{surligner|ℝ}} <math> =[-\infty,+\infty]</math> ; les nouveaux objets <math>-\infty</math> et <math>+\infty</math> sont munis de règles de calcul, telles que <math>+\infty/2=+\infty</math>, qui reflètent le calcul élémentaire sur les limites.

Des tentatives de redonner un sens aux infinitésimaux et à différents « ordres d'infinis » (pour pouvoir, par exemple, exprimer que le carré de l'infini est beaucoup plus grand que l'infini) ont été effectuées par [[Paul David Gustave du Bois-Reymond|du Bois-Reymond]], [[Godfrey Harold Hardy|Hardy]] et [[Edmund Landau|Landau]] ; elles consistent à introduire des fonctions de référence (les [[Échelle de comparaison|échelles de comparaison]]) et à dire par exemple qu'une quantité varie dans certaines conditions comme un infiniment petit de tel ou tel ordre si elle est équivalente à une des fonctions de l'échelle, elle-même très petite dans les mêmes conditions. Mais ces définitions, bien qu'utiles en pratique, souffrent d'un certain arbitraire, et sont par ailleurs nécessairement incomplètes (il existe toujours des fonctions situées en dehors d'une échelle donnée).

==== Analyse non standard et nombres surréels ====
Les progrès de la [[logique mathématique]] dans la première moitié du {{s-|XX}} ont amené divers théoriciens ([[Edwin Hewitt|Hewitt]], [[Abraham Robinson|Robinson]] et [[Edward Nelson (mathématicien)|Nelson]] en particulier) à envisager de reconstruire une théorie rigoureuse des infinitésimaux en s'appuyant sur la [[théorie des modèles]]. Dans cette approche, on construit par exemple un modèle des nombres réels « non standard », qui contient tous les réels ordinaires (comme <math>\pi</math> ou <math>\sqrt 2</math>) mais aussi de nouveaux  nombres, nécessairement « infiniment grands » ou « infiniment proches » des anciens ; les résultats de la théorie garantissent que ces nouveaux réels ont toutes les propriétés des anciens (les paradoxes apparents, comme celui du plus petit entier non standard, qui avaient amené l'abandon de ces conceptions au {{s-|XIX}}, se résolvant par l'impossibilité d'exprimer certaines propriétés dans le langage précis utilisé).

L'intérêt principal de l'analyse non standard est de redonner un sens précis à de nombreuses formulations anciennes des concepts du calcul infinitésimal (dérivées, intégrales, sommes de séries, produits infinis, etc.), plus intuitives que l'approche moderne par calcul de limites, mais tombées en disgrâce car utilisant des notions d'infini non définies : ainsi, la définition de l'intégrale de Riemann devient simplement « le réel standard le plus proche d'une somme de Riemann ayant un pas infiniment petit ».

Une tout autre approche utilise les [[nombre surréel|nombres surréels]] découverts par [[John Horton Conway]] : il s'agit d'une vaste [[extension de corps|extension]] des nombres réels à l'aide d'une ingénieuse application de la méthode des [[coupure de Dedekind|coupures de Dedekind]], introduisant des nombres infinis tels que les [[nombre ordinal|ordinaux]] (avec ses notations, on a <math>\omega = \left\{ \left\{0,1,2,3,\cdots\right\} | \right\} = \left\{ \mathbb N | \right\}</math>) et permettant ensuite de calculer avec ces nombres comme avec des réels ordinaires, définissant ainsi des infiniment petits tels que <math>\epsilon = \left\{ 0 | \left\{1, {1 \over 2}, {1 \over 3}, \cdots \right\} \right\}=1/\omega</math>, mais aussi des objets bien plus surprenants tels que <math>\omega^{1/\omega}</math>, qui est infiniment grand, mais beaucoup plus petit que <math>\sqrt\omega</math>, par exemple. Il ne semble cependant pas que cette extension, en dépit de sa richesse, permette d'aborder des questions d'analyse non élémentaires.

==== Géométrie et topologie ====
{{...}}
La notion de [[point à l'infini]], apparue avec le développement de la [[géométrie projective]] (elle-même développée en relation avec l'invention de la [[Perspective linéaire|perspective géométrique]]) et ayant pour but de modéliser la phrase bien connue selon laquelle « les parallèles se coupent à l'infini » (ce qui se voit très clairement sur une photographie de lignes parallèles semblant se rejoindre à l'horizon) , est désormais formalisée en géométrie par la construction des [[Espace projectif|espaces projectifs]].

=== En physique ===

Au début du {{s-|XX}}, la physique se trouvait dans l'impossibilité d'expliquer divers phénomènes<ref>Voir {{en}} [[Charles W. Misner|C. W. Misner]], [[Kip Thorne]] & [[John Wheeler]] : ''Gravitation'', Freeman & Co. (San Francisco-1973), chapitre 44.</ref>, dont le fait qu'un corps noir à l'équilibre thermodynamique est censé rayonner un flux infini (voir [[catastrophe ultraviolette]]). Ce problème fut résolu par l'introduction des quanta par Planck, ce qui forme la base de la [[physique quantique]].

Dans le cadre de la [[relativité générale]], le [[Big Bang]] conduit, dans son interprétation naïve, à l'apparition de valeurs infinies (on parle aussi de ''[[singularité gravitationnelle|singularités]]'') à l'origine des temps, apportant ainsi la preuve que nos connaissances physiques actuelles ne sont pas capables de décrire cette époque lointaine de l'histoire de l'Univers.

Dans plusieurs branches de la physique, comme la [[théorie quantique des champs]] ou la [[physique statistique]], les chercheurs ont pu éliminer les divergences indésirables de la théorie à l'aide de techniques mathématiques de [[renormalisation]]. Ces techniques n'ont pu être appliquées pour l'instant à la théorie de la gravitation.

=== En cosmologie ===
{{...}}

== Les notations ==
{{article connexe|Infini (symbole)}}
On attribue, en l'état des connaissances, la première utilisation du [[symbole]] <math>\infin</math>, qui revient fréquemment en analyse, à [[John Wallis]], dans son ouvrage ''De sectionibus conicis'' de 1655<ref>Voir [https://books.google.fr/books?id=03M_AAAAcAAJ&pg=PA4&hl=fr&source=gbs_toc_r&redir_esc=y#v=onepage&q&f=false le scan de la page]</ref>, puis peu après dans l'''Arithmetica Infinitorum'' : 
{{citation bloc|''esto enim {{math|∞}} nota numeri infiniti''<ref>{{en}} [http://jeff560.tripod.com/calculus.html Earliest uses of symbols of calculus]</ref>}}
Trois [[hypothèse]]s existent quant à l'origine de ce choix.
:# La plus communément admise est qu'il s'agit d'une évolution du chiffre désignant '1000' dans la [[numération romaine]] : successivement Ⓧ, puis [[ↀ]] (aussi représenté par les symboles CIƆ), avant de devenir M. L'évolution graphique du deuxième symbole aurait donné <math>\infin</math>. Parallèlement on note l'emploi du mot latin ''millě'' au pluriel (''millia'') pour désigner un nombre arbitrairement grand et inconnu, soit un nombre indéfini parce que trop grand pour être précisé<ref>Cette acception de « nombre indéfini et très grand » pour le mot latin ''millě'' est attestée chez [[Tite-Live]], [[Virgile]] et [[Horace]] selon le [[Dictionnaire illustré latin-français|dictionnaire Gaffiot]] : {{Lien web|langue=la/fr|auteur=Félix Gaffiot|titre=entrée : ''millě''|année=1934|url=https://www.lexilogos.com/latin/gaffiot.php?q=mille |site=lexilogos.com|consulté le= 05/02/2022|passage=p. 976}}.</ref>. On notera l’expression française encore utilisée aujourd’hui « des mille et des cents » rappelant cet usage. Le symbole actuel serait donc simplement l’évolution de la ligature minuscule cıɔ en écriture manuscrite onciale.
:# Une hypothèse concurrente est que le symbole serait issu de la lettre grecque [[ω]], dernière lettre de l'[[alphabet grec]], et métaphore courante pour désigner l'extrémité finale (comme dans l'expression ''l'[[Alpha et oméga|alpha et l'oméga]]''). Depuis [[Georg Cantor]] on utilise d'ailleurs des lettres grecques pour désigner les [[Nombre ordinal|nombres ordinaux]] infinis. Le plus petit [[Nombre ordinal|ordinal]] infini, qui correspond au bon ordre usuel sur les [[entier naturel|entiers naturels]], est noté ω.
:# Enfin, [[Georges Ifrah]], dans son encyclopédie « L'histoire universelle des chiffres », explique que la graphie de l'infini remonte à la civilisation indienne, et plus particulièrement à la mythologie indienne. L'[[Ananta]] (terme sanskrit qui signifie infini), le « serpent infini » du dieu [[Vishnou]], est représenté enroulé sur lui-même à la manière d'un « huit renversé ».

Notons que l'on peut en obtenir un très bel exemplaire en traçant la [[Lemniscate de Bernoulli]], courbe élégante et simple aux multiples propriétés dont celle d'être parcourue infiniment.

== Notes et références ==
=== Notes ===
{{Références| groupe=alpha}}

=== Références ===
{{Références}}

== Voir aussi ==
{{Autres projets| wikt=infini| wikiquote=Infini| commons=Category:Infinity}}

=== Bibliographie ===
* {{Ouvrage|prénom1=Charles|nom1=Adam|prénom2=Paul|nom2=Tannery|titre=Œuvres de Descartes|lieu=Paris|éditeur=Léopold Cerf|année=1897-1913|isbn=|titre chapitre=AT IX}}
* {{Ouvrage|langue=en|prénom1=Peter|nom1=Adamson|prénom2=Richard C.|nom2=Taylor|titre=The Cambridge Companion to Arabic Philosophy|éditeur=[[Cambridge University Press|CUP]]|année=2004|isbn=}}
* [[Dan Arbib]], ''Descartes, la métaphysique et l'infini'', Paris, PUF, 2017, 2e éd. 2019.
* {{Ouvrage|nom1=[[Avicenne]]|titre=La Métaphysique du Shifā|lieu=Paris|éditeur=Vrin|année=1978-1985|isbn=|lire en ligne=https://books.google.fr/books?id=iXxUU94N3s4C}}
* {{Ouvrage|prénom1=Yvon|nom1=Belaval|titre=Leibniz|sous-titre=initiation à sa philosophie|éditeur=Vrin|année=1962}}
* {{Ouvrage|prénom1=Jean-Pierre|nom1=Belna|titre=Cantor|lieu=Paris|éditeur=[[Les Belles Lettres]]|année=2000|pages totales=238|isbn=978-2-251-76024-7}}
* {{Ouvrage|auteur1=[[Franck Burbage]]|prénom2=Nathalie|nom2=Chouchan|titre=Leibniz et l’infini|lieu=Paris|éditeur=[[PUF]]|année=1993|isbn=}}
* {{Ouvrage|prénom1=Jean|nom1=Cavaillès|lien auteur1=Cavaillès|titre=Philosophie mathématique|lieu=Paris|éditeur=[[Hermann (éditions)|Hermann]]|année=1962}}
* {{Ouvrage|langue=en|prénom1=Joseph Warren|nom1=Dauben|titre=Georg Cantor, His Mathematics and Philosophy of Infinite|lieu=Princeton|éditeur=[[Princeton University Press]]|année=1979|isbn=|lire en ligne=https://books.google.fr/books?id=-cpFeTPJXDIC}}
* {{Ouvrage|auteur1=François Evellin|titre=Infini et quantité|sous-titre=Étude sur le concept de l’infini en philosophie et dans les sciences|lieu=Puyméras|éditeur=Éditions localement transcendantes|année=2021|année première édition=1880|pages totales=323|isbn=979-8599664352}}
* {{Ouvrage|langue=en|prénom1=L.E.|nom1=Goodman|titre=Avicenna|éditeur=[[Routledge]]|année=1992|isbn=}}
* {{Ouvrage|prénom1=Alexandre|nom1=Koyré|titre=Du monde clos à l’univers infini|lieu=Paris|éditeur=[[Éditions Gallimard|Gallimard]]|année=1962}}
* {{Ouvrage|prénom1=Marc|nom1=Lachièze-Rey|titre=L'infini|sous-titre=de la philosophie à l'astrophysique|lieu=Paris|éditeur=[[Hatier]]|année=1999|isbn=}}
* {{Ouvrage|prénom1=Marc|nom1=Lachièze-Rey|prénom2=Jean-Pierre|nom2=Luminet|titre=De l'infini : Horizons cosmiques, multivers et vide quantique|lieu=Paris|éditeur=[[Éditions Dunod|Dunod]]|année=2016|isbn=}}
* {{Ouvrage|prénom1=Bertrand|nom1=Russell|titre=[[La Méthode scientifique en philosophie]]|éditeur=[[Payot (éditions)|Payot]]|année=1971|isbn=}}
* {{Article|prénom=Gérard|nom=Sondag|titre=Jean Duns Scot sur l’infini extensif et l’infini intensif|revue=Revue thomiste|volume=105|numéro=1|année=2005}}
* {{Ouvrage|prénom1=Gérard|nom1=Sondag|titre=Duns Scot|sous-titre=la métaphysique de la singularité|lieu=Paris|éditeur=Vrin|collection=Bibliothèque des philosophies|année=2005|isbn=|lire en ligne=https://books.google.fr/books?id=lxeN1D0KemUC|id=Sondag, ''Duns Scot : la métaphysique de la singularité''}}
* {{Ouvrage|prénom1=Denis|nom1=Vernant|lien auteur1=Denis Vernant|titre=La philosophie mathématique de Russell|éditeur=Vrin|année=1993|isbn=|lire en ligne=https://books.google.fr/books?id=pcdpkZQkNEUC}}
* {{Chapitre|langue=en|prénom=Thomas|nom1=Williams|titre=[http://plato.stanford.edu/entries/duns-scotus/ John Duns Scotus]|titre ouvrage=[[Stanford Encyclopedia of Philosophy]]|jour=23|mois=décembre|année=2003}}
* {{Article| langue=fr| titre=Dernières nouvelles de L'INFINI| périodique=[[Pour la science]]| série=hors-série| numéro=125| date=novembre-décembre 2024| pages=6-108| présentation en ligne=https://www.pourlascience.fr/sd/mathematiques/hors-serie-pour-la-science-n125-26835.php}}

=== Articles connexes ===
* [[Axiome de l'infini]]
* [[Hôtel de Hilbert]]
* [[Lampe de Thomson]]
* [[Régression à l'infini]]
* [[Voyages au pays des maths]]
* {{Page h|L'Infini}} (œuvre et revue littéraire)

=== Liens externes ===
{{liens}}

{{Palette|Notion de nombre|Grand nombre}}
{{Portail|mathématiques|logique|philosophie|physique}}

[[Catégorie:Concept philosophique]]
[[Catégorie:Infini]]
[[Catégorie:Mathématiques]]
[[Catégorie:Philosophie naturaliste]]