ANALYSE NON STANDARD
Article modifié le
Une nouvelle conception du continu
D'un tout autre point de vue, l'analyse non standard a apporté un élément de philosophie des mathématiques essentiel, une nouvelle vision du continu mathématique. Avec les moyens non standards – quelle que soit la formalisation particulière que l'on utilise – il apparaît que l'on peut « identifier » le continu à un ensemble hyperfini discret de rationnels, à un réseau de rationnels dont le pas est l'inverse d'un entier infiniment grand (non standard). C'est le modèle que Harthong et Reeb ont appelé modèle du « continu-discret », soulignant le paradoxe : chacun de « nos » réels est représenté par un paquet de rationnels infiniment proches. La tentative de déployer les objets et les résultats de l'analyse dans un tel cadre engendre une tout autre manière d'habiter le continu, et de le concevoir dans sa relation à ce que les calculs informatiques montrent. De la sorte, l'analyse non standard témoigne – à côté d'autres approches, par exemple, celle de John Horton Conway (1937-2020) qui a défini les nombres surréels ou nombres de Conway, dont la collection excède strictement celle des nombres réels –, de ce que le continu reste, plus de deux mille ans après Aristote, le nom d'une énigme au sujet de laquelle l'humanité mathématicienne n'a pas fini d'imaginer des réponses en forme de théories.
Ainsi, l'analyse non standard, plaçant le mathématicien dans la posture stratégique du choix du cadre – arithmétique ou ensembliste – permet de retrouver l'effervescence et l'incertitude du débat du début du xxe siècle, résultant de la prise en compte simultanée des trois soucis d'efficacité dans la mathématique, de légitimation au plan des fondements et de fidélité à l'intuition du continu.
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Jean-Michel SALANSKIS : professeur de philosophie des sciences, logique et épistémologie à l'université de Paris-X-Nanterre
Classification
Autres références
-
MODÈLES THÉORIE DES
- Écrit par Daniel ANDLER , Daniel LASCAR et Gabriel SABBAGH
- 7 801 mots
– Analyse non standard. En considérant une ultrapuissance convenable du corps des nombres réelsR, on obtient un corps réel fermé non archimédien élémentairement équivalent à R. On est parvenu en raffinant cette construction à fonder le calcul différentiel classique sur les infinitésimaux.... -
RÉELS NOMBRES
- Écrit par Jean DHOMBRES
- 14 916 mots
Notre dernier exemple se réfère à l'analyse non standard. On se contentera ici d'une indication en renvoyant à l'article analyse non standard. On va, cette fois, mettre de côté l'axiome d'Archimède pour rendre compte des phénomènes rencontrés par Leibniz au début du calcul infinitésimal.... -
ROBINSON ABRAHAM (1918-1974)
- Écrit par Daniel ANDLER
- 1 127 mots
Mathématicien et logicien américain d'origine allemande.
Né à Waldenburg, en Allemagne (l'actuelle Walbrzych polonaise), dans une famille intellectuelle sioniste, Abraham Robinson émigre en Palestine avec sa famille en 1933. Tout en gagnant sa vie et en suivant l'entraînement militaire...
