title: Canton d'Ahun

text: Un nouveau découpage territorial de la Creuse entre en vigueur à l'occasion des élections départementales de mars 2015, défini par le décret du , en application des lois du (loi organique 2013-402 et loi 2013-403). Les conseillers départementaux sont, à compter de ces élections, élus au scrutin majoritaire binominal mixte. Les électeurs de chaque canton élisent au Conseil départemental, nouvelle appellation du Conseil général, deux membres de sexe différent, qui se présentent en binôme de candidats. Les conseillers départementaux sont élus pour au scrutin binominal majoritaire à deux tours, l'accès au second tour nécessitant 12,5 % des inscrits au tour. En outre la totalité des conseillers départementaux est renouvelée. Ce nouveau mode de scrutin nécessite un redécoupage des cantons dont le nombre est divisé par deux avec arrondi à l'unité impaire supérieure si ce nombre n'est pas entier impair, assorti de conditions de seuils minimaux. Dans la Creuse, le nombre de cantons passe ainsi de 27 à 15. Le nombre de communes du canton d'Ahun passe de 11 à 27.


title: Canton d'Ahun

text: Le nouveau canton d'Ahun est formé de communes des anciens cantons d'Ahun (8 communes), de Saint-Sulpice-les-Champs (10 communes) et de Pontarion (9 communes). Avec ce redécoupage administratif, le territoire du canton s'affranchit des limites d'arrondissements, avec 17 communes incluses dans l'arrondissement de Guéret et 10 dans l'arrondissement d'Aubusson. Le bureau centralisateur est situé à Ahun.


title: Canton d'Ahun

text: Ce canton est organisé autour d'Ahun dans les arrondissements d'Aubusson et de Guéret. Son altitude varie de 320 m (Pionnat) à 685 m (Maisonnisses) pour une altitude moyenne de 493 m.


title: Canton d'Ahun

text: Le canton d'Ahun est dans l'arrondissement de Guéret d'un point de vue administratif et dans la circonscription électorale d'Aubusson ou circonscription pour le découpage électoral.Il y a donc eu ballottage.


title: Canton d'Ahun

text: À l'issue du tour des élections départementales de 2015, trois binômes sont en ballottage : Catherine Defemme et Thierry Gaillard (Union de la Droite, 33,56 %), Céline Fouchet et Jacquy Guillon (PS, 30,85 %) et Jean-Marie Berthe et Diane De La Chapelle (FN, 21,15 %). Le taux de participation est de 62,71 % ( sur ) contre 58,65 % au niveau départemental et 50,17 % au niveau national.


title: Canton d'Ahun

text: Au second tour, Catherine Defemme et Thierry Gaillard (Union de la Droite) sont élus avec 43,82 % des suffrages exprimés et un taux de participation de 67,15 % ( pour et ).


title: Canton d'Ahun

text: Le 2 avril 2015, Catherine Defemme est devenue vice-présidente chargée des ressources humaines et Thierry Gaillard est devenu huitième vice-président chargé de l'environnement, de l'eau et de l'assainissement et de la gestion des déchets.


title: Canton d'Ahun

text: Le premier tour des élections départementales de 2021 est marqué par un très faible taux de participation (33,26 % au niveau national). Dans le canton d'Ahun, ce taux de participation est de 45,87 % ( sur ) contre 39,51 % au niveau départemental. À l'issue de ce premier tour, deux binômes sont en ballottage : Catherine Defemme et Thierry Gaillard (DVD, 48,58 %) et Thierry Cotiche et Patricia Laplanche (DVG, 37,89 %).


title: Canton d'Ahun

text: Le second tour des élections est marqué une nouvelle fois par une abstention massive équivalente au premier tour. Les taux de participation sont de 34,3 % au niveau national, 40,97 % dans le département et 47,57 % dans le canton d'Ahun. Catherine Defemme et Thierry Gaillard (DVD) sont élus avec 58,17 % des suffrages exprimés ( pour et ).


title: Canton d'Ahun

text: Le canton d'Ahun regroupait onze communes. Le nouveau canton d'Ahun comprend vingt-sept communes entières.


title: Politique au Sénégal

text: Le Sénégal est une république à régime présidentiel multipartite où le Président exerce la charge de chef de l'État et le Premier ministre, la fonction de chef du gouvernement. Le pouvoir exécutif est aux mains du président tandis que le pouvoir législatif est partagé entre le gouvernement et le parlement. Le pouvoir judiciaire est indépendant des deux premiers. Le Sénégal est l'un des rares pays d’Afrique à n'avoir jamais vécu de coup d'État. Léopold Senghor, premier président après l'indépendance, a abdiqué en faveur de son Premier ministre, Abdou Diouf, en 1981. Le président actuel, Macky Sall, a été élu démocratiquement en mars 2012.


title: Politique au Sénégal

text: Le Président est élu au suffrage universel pour un mandat de 5 ans renouvelable une fois depuis la révision constitutionnelle de 2016. Le Parlement, redevenu bicaméral en , est composé d'une Assemblée nationale réunissant 150 députés. Le Parti socialiste était majoritaire au parlement jusqu'aux élections d'avril 2001, date à laquelle la coalition du Président Wade remporta la majorité (89 sièges). La Cour de cassation, plus haute cour d'appel, et le Conseil constitutionnel, dont les juges sont nommés par le Président, constituent les plus hautes instances judiciaires du pays. Le Sénégal est divisé en 14 régions administratives avec à leur tête un gouverneur nommé par le Président. La loi sur la décentralisation entrée en vigueur en a attribué aux assemblées régionales un certain nombre de compétences jusque-là réservées au gouvernement central.


title: Politique au Sénégal

text: Le Parti socialiste perdit la majorité qu'il avait conservée pendant 40 ans lorsque Wade, président du Parti démocratique sénégalais (PDS) et chef de file de l'opposition depuis 25 ans, remporta l’élection présidentielle. La révision de la Constitution intervenue en 2001 ramène la durée du mandat présidentiel de sept à cinq ans et instaure une limite de deux mandats. Wade sera le dernier président élu pour une période de sept ans.


title: Politique au Sénégal

text: Abdoulaye Wade mène une politique libérale, avec un certain nombre de privatisations et d'autres mesures d'ouverture des marchés. Il entend donner davantage de poids au Sénégal au niveau régional et international. Les moyens restent cependant limités et le rythme de la libéralisation de l'économie est faible. Le pays joue un rôle significatif au sein d'organisations régionales et internationales. Wade a fait des relations avec les États-Unis une priorité.


title: Politique au Sénégal

text: La réputation de démocrate de Wade s'est ternie à la fin de son premier mandat lorsque son opposant principal au sein de son parti, Idrissa Seck, fut arrêté et accusé de malversations financières et d'atteinte à la sécurité nationale. Wade refusa la tenue des élections, prévues en 2006, avançant des arguments économiques plaidant pour la tenue simultanée des élections présidentielle et législatives en 2007. De nombreuses formations, qui soutenaient initialement le PDS, ont maintenant rejoint le PS dans les rangs de l'opposition.Le président de la République est élu au suffrage universel pour une période de cinq ans depuis la révision constitutionnelle de 2001. Il est chef de l'État et du gouvernement à la suite de la suppression du poste de Premier ministre le en application de la loi constitutionnelle du même jour.


title: Politique au Sénégal

text: Le Parlement est constitué d'une Assemblée nationale, qui compte désormais 150 membres élus à la proportionnelle pour une période de cinq ans.


title: Politique au Sénégal

text: Les élections législatives sont dissociées de l'élection présidentielle.


title: Politique au Sénégal

text: Le Sénat sénégalais, supprimé en 2012, comprenait 100 sénateurs dont 65 étaient nommés par le président de la République et 35 élus au suffrage universel indirect par les maires, conseillers municipaux... Le Sénat assurait la représentation des collectivités locales de la République et des Sénégalais établis hors du Sénégal.


title: Politique au Sénégal

text: Le Conseil constitutionnel et la Cour de justice constituent les plus hautes instances judiciaires du Sénégal. Leurs membres sont nommés par le Président.


title: Politique au Sénégal

text: Liste des principaux partis politiques :


title: Canton d'Aubusson

text: Le canton d'Aubusson est une circonscription électorale française située dans le département de la Creuse et la région Nouvelle-Aquitaine. À la suite du redécoupage cantonal de 2014, les limites territoriales du canton sont remaniées. Le nombre de communes du canton passe de 10 à 21.


title: Canton d'Aubusson

text: Un nouveau découpage territorial de la Creuse entre en vigueur à l'occasion des élections départementales de mars 2015, défini par le décret du , en application des lois du (loi organique 2013-402 et loi 2013-403). Les conseillers départementaux sont, à compter de ces élections, élus au scrutin majoritaire binominal mixte. Les électeurs de chaque canton élisent au Conseil départemental, nouvelle appellation du Conseil général, deux membres de sexe différent, qui se présentent en binôme de candidats. Les conseillers départementaux sont élus pour au scrutin binominal majoritaire à deux tours, l'accès au second tour nécessitant 12,5 % des inscrits au . En outre la totalité des conseillers départementaux est renouvelée. Ce nouveau mode de scrutin nécessite un redécoupage des cantons dont le nombre est divisé par deux avec arrondi à l'unité impaire supérieure si ce nombre n'est pas entier impair, assorti de conditions de seuils minimaux. Dans la Creuse, le nombre de cantons passe ainsi de 27 à 15. Le nombre de communes du canton d'Aubusson passe de 10 à 21.


title: Canton d'Aubusson

text: Le nouveau canton d'Aubusson est formé de communes des anciens cantons d'Aubusson(10 communes), de Bellegarde-en-Marche (9 communes), de Saint-Sulpice-les-Champs (1 commune) et de Chénérailles (1 commune). Le canton est entièrement inclus dans l'arrondissement d'Aubusson. Le bureau centralisateur est situé à Aubusson.


title: Canton d'Aubusson

text: Ce canton est organisé autour d'Aubusson dans l'arrondissement d'Aubusson. Son altitude varie de 396 m (Alleyrat) à 715 m (Saint-Marc-à-Frongier) pour une altitude moyenne de 538 m.


title: Canton d'Aubusson

text: Il y a donc eu ballottage.


title: Canton d'Aubusson

text: À la suite d'un recours déposé par Michel Moine, le tribunal administratif de Limoges a annulé l'élection cantonale d'Aubusson. Une nouvelle élection, a eu lieu le 25 septembre. Jean-Marie Massias a été réélu à une forte majorité (55,95 % contre 44,15 % à son adversaire, avec une participation en hausse par rapport à l'élection précédente).


title: Canton d'Aubusson

text: À l'issue du des élections départementales de 2015, deux binômes sont en ballottage : Jean-Baptiste Dumontant et Nicole Pallier (PS, 44,44 %) et Christine Chagot et Jean-Marie Massias (DVD, 27,37 %). Le taux de participation est de 56,8 % ( sur ) contre 58,65 % au niveau départemental et 50,17 % au niveau national.


title: Canton d'Aubusson

text: Au second tour, Jean-Baptiste Dumontant et Nicole Pallier (PS) sont élus avec 54,33 % des suffrages exprimés et un taux de participation de 60,45 % ( pour et ).


title: Canton d'Aubusson

text: Le premier tour des élections départementales de 2021 est marqué par un très faible taux de participation (33,26 % au niveau national). Dans le canton d'Aubusson, ce taux de participation est de 40,31 % ( sur ) contre 39,51 % au niveau départemental. À l'issue de ce premier tour, deux binômes sont en ballottage : Laurence Chevreux et Valéry Martin (DVD, 52,3 %) et Michel Gomy et Isabelle Laycuras-Pisani (DVG, 20,25 %).


title: Canton d'Aubusson

text: Le second tour des élections est marqué une nouvelle fois par une abstention massive équivalente au premier tour. Les taux de participation sont de 34,3 % au niveau national, 40,97 % dans le département et 42,82 % dans le canton d'Aubusson. Laurence Chevreux et Valéry Martin (DVD) sont élus avec 64,86 % des suffrages exprimés ( pour et ).


title: Canton d'Aubusson

text: Le canton d'Aubusson regroupait dix communes. Le nouveau canton d'Aubusson comprend vingt et une communes entières.


title: Fonction récursive primitive

text: En théorie de la calculabilité, une fonction récursive primitive est une fonction construite à partir de la fonction nulle, de la fonction successeur, des fonctions projections et des schémas primitifs de récursion et de composition. Ces fonctions constituent un sous-ensemble strict des fonctions récursives.


title: Fonction récursive primitive

text: Elles ont été initialement analysées par la mathématicienne Rózsa Péter.


title: Fonction récursive primitive

text: On s'intéresse aux fonctions définies sur l'ensemble formula_1 des entiers naturels, ou sur les ensembles formula_2 des formula_3-uplets d'entiers naturels, et à valeurs dans formula_1.


title: Fonction récursive primitive

text: On construit les fonctions récursives primitives par induction en partant des trois fonctions de base :


title: Fonction récursive primitive

text: et en itérant les deux constructions suivantes : Les fonctions récursives primitives se programment dans la plupart des langages de programmation, à l'aide d'une simple instruction itérative "for" :


title: Fonction récursive primitive

text: Il n'y a pas de boucles qui s'exécutent tant qu'une condition de sortie n'est pas vérifiée (boucle "tant que", en anglais "while"), et le calcul des fonctions récursives primitives se termine toujours.


title: Fonction récursive primitive

text: predecesseur(0) = 0


title: Fonction récursive primitive

text: predecesseur(Succ(x)) = x


title: Fonction récursive primitive

text: On utilise ici la définition récursive de predecesseur en prenant "n"=0, "g" la fonction identiquement nulle, "h(x,y)" = "x" projection sur la première composante.


title: Fonction récursive primitive

text: somme(0,y) = y


title: Fonction récursive primitive

text: somme(Succ(x),y) = Succ(somme(x,y))


title: Fonction récursive primitive

text: On utilise ici la définition récursive de somme en prenant "n"=1, "g(y)" = "y", "h(x,z,y)" = Succ("z"), composée de la fonction Successeur et de la projection sur la deuxième composante.


title: Fonction récursive primitive

text: Plus généralement, si formula_23 est une fonction récursive primitive de formula_24, alors formula_25 est une fonction récursive primitive de formula_26.


title: Fonction récursive primitive

text: produit(0,y) = 0


title: Fonction récursive primitive

text: produit(Succ(x),y) = somme(y,produit(x,y))


title: Fonction récursive primitive

text: On utilise ici la définition récursive de produit en prenant "n"=1, "g" identiquement nulle, "h"("x","z","y") = somme("y","z"), composée de la fonction somme déjà définie et de deux projections.


title: Fonction récursive primitive

text: Plus généralement, si formula_23 est une fonction récursive primitive de formula_24, alors formula_29 est une fonction récursive primitive de formula_26.


title: Fonction récursive primitive

text: Il s'agit de la fonction valant 0 pour "x" = 0 et 1 pour "x" > 0.


title: Fonction récursive primitive

text: sg(0) = 0


title: Fonction récursive primitive

text: sg(Succ(x)) = 1


title: Fonction récursive primitive

text: On a pris "n" = 0, "g" nulle, "h" égale à la constante 1.


title: Fonction récursive primitive

text: La différence tronquée de "y" par "x" vaut "y"-"x" si "x" < "y" et 0 sinon.


title: Fonction récursive primitive

text: soustrait(0,y) = y


title: Fonction récursive primitive

text: soustrait(Succ(x),y) = predecesseur(soustrait(x,y))


title: Fonction récursive primitive

text: On a pris "g"("y") = "y" et pour "h" la fonction predecesseur déjà définie appliquée sur sa deuxième composante.


title: Fonction récursive primitive

text: Il en résulte que la valeur absolue | "x" - "y" | = soustrait("x","y") + soustrait("y","x") est également récursive primitive.


title: Fonction récursive primitive

text: Il en est de même de max("x","y") = "x" + soustrait("x","y") et de min("x","y") = soustrait(max("x","y"),"x"+"y").


title: Fonction récursive primitive

text: À tout prédicat défini sur formula_2, on peut associer sa fonction caractéristique :


title: Fonction récursive primitive

text: On dira que le prédicat P est récursif primitif lorsque sa fonction caractéristique est récursive primitive.


title: Fonction récursive primitive

text: On peut montrer que, si deux prédicats P et Q sont récursifs primitifs, il en est de même des prédicats (non P), (P et Q), (P ou Q), (P implique Q).


title: Fonction récursive primitive

text: Le prédicat "x" < "y" est récursif primitif, puisque sa fonction caractéristique est égale à sg(soustrait("x","y")), qui est une fonction récursive primitive.


title: Fonction récursive primitive

text: Sont également récursifs primitifs les prédicats suivants :


title: Fonction récursive primitive

text: Si formula_34 est un prédicat récursif primitif de formula_35, alors les deux prédicats suivants sont des prédicats récursifs primitifs de formula_36 : En effet, si formula_39 est la fonction caractéristique associée à formula_34, alors les fonctions caractéristiques associées aux deux prédicats de quantification bornée précédents sont respectivement :


title: Fonction récursive primitive

text: Il est très important de borner la quantification par un nombre "n". En effet, les prédicats formula_43 et formula_44 ne sont pas récursifs primitifs.


title: Fonction récursive primitive

text: Ainsi, le prédicat « il existe un nombre parfait impair inférieur à "n" » est récursif primitif, mais pas le prédicat « il existe un nombre parfait impair ». On ignore d'ailleurs (en 2015) la valeur de vérité de ce dernier prédicat.


title: Fonction récursive primitive

text: Si formula_34 est un prédicat récursif primitif de formula_35, alors la fonction définie par : est récursive primitive.


title: Fonction récursive primitive

text: En effet, si formula_50 est la fonction caractéristique associée à formula_34, alors "f" est définie comme suit :


title: Fonction récursive primitive

text: Là aussi, il est important de borner la recherche du minimum. La fonction cherchant le plus petit "x" vérifiant formula_34 n'est plus récursive primitive en général.


title: Fonction récursive primitive

text: Ainsi, la fonction cherchant le plus petit nombre parfait impair inférieur à "n" (ou "n"+1 s'il n'existe pas) est une fonction récursive primitive de "n". Mais la fonction donnant le plus petit nombre parfait impair supérieur à "n" n'est pas récursive primitive.


title: Fonction récursive primitive

text: Une première limitation de la récursion primitive intervient dans les algorithmes susceptibles de ne pas se terminer. Tel est le cas de la quantification non bornée ou de la minimisation non bornée, vues précédemment.


title: Fonction récursive primitive

text: Mais il ne suffit pas qu'une fonction soit définie récursivement, et par un procédé se terminant pour toute valeur des données, pour que la fonction soit récursive primitive. L'ensemble des fonctions récursives primitives n'est en effet qu'une partie de l'ensemble des fonctions récursives. Ainsi, la fonction d'Ackermann définie par


title: Fonction récursive primitive

text: n'est pas "récursive primitive" car la récursion se fait sur deux entiers simultanément. Pourtant la définition doublement récursive de cette fonction permet en théorie de calculer sa valeur pour tout couple ("n","p") d'entiers.


title: Fonction récursive primitive

text: Cet exemple montre que la notion de calculabilité introduite par la récursivité primitive n'est pas la notion de calculabilité la plus générale, à savoir celle atteinte avec un grand succès par la thèse de Church. Les fonctions récursives primitives constituent, par suite, un exemple épistémologiquement intéressant de système de calcul non équivalent à ceux de Church et Turing. Il rappelle, si nécessaire — au vu du succès de cette thèse — que la thèse de Church ne dit pas que tout système de calcul est équivalent aux machines de Turing. Il existe des systèmes de calculs, qui semblent pourtant généralistes et puissants, et qui effectivement permettent de définir la plupart des fonctions usuelles, mais qui ne sont pas équivalents aux machines de Turing. Par effet de bord, c'est une médaille de plus à mettre au crédit de la machine de Turing et du lambda-calcul.


title: Fonction récursive primitive

text: Le même problème se pose si on veut utiliser cet algorithme du minimum :


title: Fonction récursive primitive

text: Bien que la fonction minimum soit récursive primitive, ce n'est pas la définition précédente qui permet de le montrer.


title: Fonction récursive primitive

text: Pour pouvoir réaliser ces algorithmes on doit passer par un système plus puissant, comme le Système T de Gödel par exemple.


title: Fonction récursive primitive

text: Nous avons vu, dans le paragraphe Limites de la récursion primitive, deux exemples d'algorithmes non récursifs primitifs qui définissent des fonctions :


title: Fonction récursive primitive

text: Se pose alors la question suivante. Étant donnée une fonction, définie récursivement (par un algorithme quelconque) est-il possible de déterminer par un processus automatique si cette fonction est récursive primitive ? Est-il possible de savoir si sa définition peut être modifiée pour ne faire appel qu'à la récursion primitive ? La réponse à cette question est négative. Il n'existe aucune procédure permettant de dire si une fonction récursive est récursive primitive ou non. On dit que la détermination du caractère récursif primitif d'une fonction définie par un algorithme est indécidable. C'est un cas particulier du théorème de Rice, qui définit toute une classe de questions indécidables.


title: Fonction récursive primitive

text: Nous pouvons donner schématiquement le raisonnement conduisant à cette conclusion. Les fonctions définies par un algorithme peuvent être numérotées par ordre croissant, au moyen d'un codage numérique de l'algorithme ou de la machine de Turing qui les définit. On appellera formula_54 la "n"-ème fonction ainsi définie.


title: Fonction récursive primitive

text: Raisonnons par l'absurde et supposons qu'il existe une procédure RP s'appliquant à l'algorithme définissant une fonction "f" (ou à l'entier "n" tel que formula_55) et qui vaut 1 si "f" est récursive primitive et 0 sinon. Notons RP("f") cette valeur 0 ou 1. Considérons alors, pour chaque entier "n" la fonction formula_56 de formula_57 définie par : Si l'algorithme de la fonction formula_54 se termine par une valeur quelconque lorsqu'on l'applique à l'entier "n" lui-même, alors formula_56 est identiquement nulle. Elle est alors récursive primitive, et formula_61 = 1. Par contre, si l'algorithme de la fonction formula_54 se met à boucler indéfiniment lorsqu'on l'applique à l'entier "n" lui-même, alors le calcul de formula_63 ne se termine pas. formula_56 n'est pas récursive primitive, et formula_61 = 0. On a donc : Considérons enfin la fonction C définie par l'algorithme suivant : La fonction C fonctionne comme suit : si formula_69, alors C("n") retourne la valeur 0. Mais si formula_70, alors C("n") entre dans une boucle dont elle ne ressort pas, et l'algorithme ne se termine pas. Autrement dit : C étant défini par algorithme possède un rang "c" tel que formula_73. L'équivalence ci-dessus s'écrit alors :


title: Fonction récursive primitive

text: Que se passe-t-il lorsqu'on donne à "n" la valeur "c" ? L'équivalence devient : ce qui est absurde.


title: Fonction récursive primitive

text: Aboutissant à une contradiction, on en conclut que la procédure RP ne peut exister.


title: Fonction récursive primitive

text: Considérons la fonction définie comme suit, pour "n">0 : On ignore si, pour tout "n", la boucle "while" se termine ou si, au contraire, il existe un entier "n" pour lequel le programme boucle indéfiniment. La conjecture de Syracuse postule que c'est le premier cas qui se produit. Il en résulterait alors que la fonction Collatz est la fonction constante égale à 1, et donc récursive primitive. Mais on est actuellement dans l'incapacité de prouver cette assertion.


title: Fonction récursive primitive

text: La récursion primitive est un langage de programmation théorique qui a la propriété que tous les programmes écrits dans ce langage terminent. Pour pouvoir écrire des programmes dans ce langage on peut utiliser différents formalismes.


title: Fonction récursive primitive

text: Les termes de Martin-Löf sont soit :


title: Fonction récursive primitive

text: Dans la récursion, "t" est un terme sur lequel on fait la récursion, "b" est le cas de base et "s" l'étape de récurrence. Dans l'étape de récurrence, la variable "x" représente le prédécesseur de l'entier sur lequel on fait la récurrence et le "y" est l'étape de récurrence.


title: Fonction récursive primitive

text: L'addition de "n" et "p" s'écrit "Rec(n,p,(x,y)Succ(y))".


title: Fonction récursive primitive

text: Kleene a introduit les combinateurs qui sont une autre manière de représenter les fonctions récursives primitives. Les combinateurs sont munis d'arité, c'est-à-dire qu'ils ont un nombre de paramètres défini (sauf dans un cas particulier).


title: Fonction récursive primitive

text: Un combinateur est :


title: Fonction récursive primitive

text: L'addition se programme ainsi : "Rec"(π, "S"("Succ", π))


title: Infini

text: 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 "", dérivé de "" « 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 "" (souvent au pluriel, "fīnes" : « bornes, limites d'un champ », « frontières d'un pays ») ; il signifie donc, littéralement « qui est sans borne », mais aussi « indéterminé » et « indéfini ».  Lorsqu'il est substantivé, l'infini désigne fondamentalement une notion mathématique, ainsi qu'un concept philosophique, métaphysique ou théologique, dont les paradoxes ont nourri depuis longtemps et nourrissent encore l'histoire de la pensée dans le monde entier.


title: Infini

text: Le symbole de l'infini, en mathématiques et au-delà des mathématiques, est « », inventé par le mathématicien John Wallis au , 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.


title: Infini

text: La notion d'infini a fortement marqué l'histoire de la philosophie occidentale au moins depuis l'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 "actuel" de la nature divine) avec la pensée néoplatonicienne et l'aristotélisme, et singulièrement avec la distinction conceptuelle d'Aristote entre , 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 au , 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 « Une avancée vers l'Infini » de l'article consacré à ce dernier). 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 .


title: Infini

text: Toutefois, cette notion d'infini a connu depuis le dans la pensée occidentale, ainsi que dans l'histoire des mathématiques et des sciences, un rebond spectaculaire, notamment à partir du développement du calcul infinitésimal par Fermat, Leibniz et Newton (et déjà dans les œuvres de Descartes, de Pascal et de Spinoza). 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 principes premiers de la raison philosophique et scientifique ».


title: Infini

text: Dans la religion égyptienne antique, Noun était le nom du dieu d'un océan infini existant avant la création du monde.


title: Infini

text: 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 confucianistes et taoïstes 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.


title: Infini

text: Le "Yajur-Veda" documente la plus ancienne utilisation connue de nombres allant jusqu'à cent mille billions ("parārdha" en sanskrit). 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".


title: Infini

text: La Bible fait référence à l'infini en trois endroits du texte - dans le Livre de Job, chapitre 22, verset 5, dans Psaumes 147 : 5 et au livre de Nahum, chapitre 3, verset 9.


title: Infini

text: 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è)", 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)".


title: Infini

text: 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" 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.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 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. Les mathématiciens aussi utilisent l'infini, et ce par la division. Par exemple, la formule de l'aire du cercle π.r est corroborée par la division du cercle en un nombre infini de triangles.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é.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.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.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é.


title: Infini

text: 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.


title: Infini

text: 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.


title: Infini

text: 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. Dans l"'Éthique à Nicomaque", Aristote dit que pour les Pythagoriciens le mal relève de l'infini.


title: Infini

text: Pour Héraclite (seconde moitié du vi siècle av. J.-C., 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.


title: Infini

text: Quant à Parménide (fin du vi siècle av. J.-C. Élée - milieu du v siècle av. J.-C), 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.


title: Infini

text: 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.


title: Infini

text: 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.


title: Infini

text: 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.


title: Infini

text: 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.


title: Infini

text: 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.


title: Infini

text: 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.


title: Infini

text: 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.


title: Infini

text: Plotin (205 - 270 ap. J.-C.) déclare : "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 : "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é."


title: Infini

text: 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. 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. 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.


title: Infini

text: La puissance est définie comme étant : « toute disposition se trouvant dans une chose et étant principe de changement », 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 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.


title: Infini

text: Notons tout d’abord que Dieu est par définition infini et c’est le principe premier d’où tout émane, 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. Ainsi, les intelligences céleste en désirant le premier principe feraient mouvoir les sphères leurs correspondant dans un mouvement infini.


title: Infini

text: 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. 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.


title: Infini

text: 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. 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).


title: Infini

text: 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. C’est d'ailleurs ce qui caractérise l’infini en acte fort dans l’avicennisme.


title: Infini

text: L’infini en acte faible étant quant à lui défini par les évènements et les années passés. 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 ». 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 […] ».


title: Infini

text: 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.


title: Infini

text: 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. 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.


title: Infini

text: Dans une démonstration du mouvement continu des anges au Livre II de l"'Ordinatio", Scot (1266 Duns - 1308) soulève deux paradoxes 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", 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 », 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.


title: Infini

text: 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". 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 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.


title: Infini

text: Bien que 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 correspondance biunivoque, le paradoxe soulève la possibilité pour deux ensembles infinis d'indivisibles d'être égaux malgré leurs tailles manifestement inégales.


title: Infini

text: D'ailleurs, dans une autre démonstration, Duns Scot se frottera à de pareils débats quant à la grandeur des infinis. 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. 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. » 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. » 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.


title: Infini

text: Il n’en demeure pas moins que le fondement de l’affirmation par 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é), Scot fait un passage obligé par la démonstration d'une grandeur extensivement (selon la quantité) infinie en acte. 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 », 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 :


title: Infini

text: 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.


title: Infini

text: 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" admettant la transposition de notions quantitatives à d'autres objets « par extension ». À 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 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. » 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 ».


title: Infini

text: 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). 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.


title: Infini

text: 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. 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.


title: Infini

text: 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. 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 Scot, la nature de la distinction du couple fini/infini est métaphysique et non formelle ou linguistique. 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. Bradwardine (c. 1300 – 1349) a proposé l'idée d'un espace infini autour de la terre (en dehors du ""), en réponse à , 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,  par la synthèse de géométrie euclidienne dans la compréhension chrétienne. 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.


title: Infini

text: Oresme (c.1320 Allemagnes (ancien nom de Fleury-sur-Orne)- 1382)  a commencé à penser à l'infini, en partie après l'écriture de Aristote  et son travail Physique. Dans "Questions sur la géométrie d'Eclide", 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 " ).


title: Infini

text: 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. 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 Cauchy. 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.


title: Infini

text: Dans la pensée métaphysique de Descartes (1596 La Haye-en-Touraine - 1650), seul Dieu peut être qualifié d’infini. La "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. » 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. »


title: Infini

text: 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. » 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). C’est la preuve de l’existence de Dieu dite « par l’infini », que l’on retrouve dans la "Méditation III".


title: Infini

text: L’idée de l’infini témoigne de la finitude de 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. Cela étant, elle ne peut être « imprimée » 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. »


title: Infini

text: 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". « 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. » 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. » 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.


title: Infini

text: Alors que l'infini se dit de Dieu, l'indéfini se dit du 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 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, 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.


title: Infini

text: 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 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.


title: Infini

text: Cette distinction entre infini et indéfini s'explique aussi par le rapport de subordination qu'il y a entre métaphysique et 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.


title: Infini

text: 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é 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.


title: Infini

text: 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é 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é.


title: Infini

text: On peut aussi voir la cause de l'erreur dans l'infinitude de la 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é. 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é.


title: Infini

text: En 1635  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. Il appelle son idée de l'infiniment petit en géométrie "les indivisibles". 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.


title: Infini

text: Pascal (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 ». 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 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).


title: Infini

text: Locke (août 1632 Wrington (Somerset) - October 1704) 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. 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).


title: Infini

text: 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 fondamental 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.


title: Infini

text: 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.


title: Infini

text: 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.


title: Infini

text: L’infini se trouve également dans les réalités individuelles (monades). Les 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.


title: Infini

text: 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.


title: Infini

text: 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.


title: Infini

text: 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.


title: Infini

text: 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.


title: Infini

text: 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.


title: Infini

text: La première des quatre antinomies de Kant (1724 - 1804) est exprimée comme suit dans la "Critique de la raison pure" :


title: Infini

text: 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 Kant. C’est à partir de la première antinomie cosmologique du fini et de l’infini dans la "Critique de la raison pure" que 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 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. 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. 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. 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.


title: Infini

text: 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 »". 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. »". 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. 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é).


title: Infini

text: 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. »". 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. »". 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 »". 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. Ce mouvement est pour Hegel un infini abstrait, un mécanisme universel à l’œuvre en toutes choses positives.


title: Infini

text: 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é.


title: Infini

text: Georg Cantor (1845 Saint-Pétersbourg - 1918) – mathématicien de formation – constate, au fil de ses travaux, que l’analyse mathématique est insuffisante à saisir complètement l’essence de l’infini. 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 » et dont le développement constituera un « achèvement aux conséquences majeures dans l’histoire des mathématiques ». La théorie des ensembles, plus précisément la théorie des "nombres transfinis", qui en constitue le noyau, 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 (section 6).


title: Infini

text: 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. 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, nombre sur lequel il convient d’appliquer des opérations ordinaires. 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 », 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.


title: Infini

text: 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. Il s’inspire ainsi de la démarche de Bolzano 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 » et seulement définis par leur contenu. Cantor travaillera essentiellement avec les ensembles infinis suivants :  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.


title: Infini

text: 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é : le nombre cardinal d’un ensemble est le nombre d’éléments contenus dans cet ensemble ; ceci « faisant abstraction de la nature des éléments de l’ensemble ». Ainsi, dans l’ensemble {2, ..., 101}, 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.


title: Infini

text: On peut ainsi chercher à comparer la cardinalité d'un ensemble avec celle de son 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 = 8, car on peut former 8 ensembles à partir de A : {1}, {2}, {3}, {1,2}, {2,3}, {1,3}, {1,2,3}, ∅.


title: Infini

text: 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 » ; si une telle correspondance est possible, on dira que les deux ensembles ont la même « puissance », ils sont "équipotents". 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, 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.


title: Infini

text: Une telle correspondance peut s’appliquer aux 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 ; 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 = {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.


title: Infini

text: 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. 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.


title: Infini

text: 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 formula_1, 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 ».


title: Infini

text: 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, formula_2, 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. Mais comment effectuer des calculs arithmétiques à partir de formula_2 ? Cantor démontre que, pour tout entier formula_4, « formula_5 », que « formula_6 » et que « formula_7 » .


title: Infini

text: 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 ». Dans sa correspondance avec Dedekind, Cantor dira à propos de cette découverte « je le vois, mais je ne le crois pas ».


title: Infini

text: 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 formula_2, alors que celle de son ensemble des parties est de formula_9 etc. Ainsi, formula_10


title: Infini

text: 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. Cantor devra faire appel à la théorie des 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 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 formula_11 (formula_12 correspondant à l’ordinalité de formula_13). L"'ordinalité" permet également de comparer des ensembles avec plus de précision que par la simple comparaison de cardinalité.


title: Infini

text: Grâce à la notion d'ordinaux, Cantor réussit à définir les alephs : formula_2 est la cardinalité de l'ensemble – infini – de tous les ordinaux finis, alors que formula_15 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) :


title: Infini

text: 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 formula_15 : c'est "l'hypothèse du continu" (le continu est l'ensemble des réels, qui n'a pas de « trous »). Cette dernière équivaut donc à soutenir que formula_15 = formula_9, à 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.


title: Infini

text: 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é » ou un infini simplement potentiel. Il dira qu’il s’agit d’un infini « improprement dit », 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). 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"(lui-même « puissance du continu »).


title: Infini

text: Abordée dans le "Mitteilungen", la question de l’infini absolu de Dieu est pour Cantor d’une importance capitale. 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. 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 », é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 « Ω », est incompréhensible.


title: Infini

text: 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.