Ben314 a écrit:Pour moi, il n'y a pas le début de la moitié d'une ambiguïté : tu affirme que les hyperréels qui ne sont ni infiniment petits, ni infiniment grands sont "standard" et c'est évidement faux.
Relis alors: j'ai mentionné les nombres appréciables avant d'effectuer l'amalgame résumé pour détailler le bord.
Quand on sait entrevoir les nuances du raisonnement, on sait vérifier quand la frontière est devenue zoomée !
Ben314 a écrit:Et, pour ta gouverne, il n'y a pas le moindre début de rapport (même très lointains) entre le fait que les infinitésimaux (par exemple) ne soient pas une partie interne de *R et les différents théorème de Gödel.
J'ai mon gouvernail et n'ai pas besoin de cet éclairage biaisé. Gödel n'est évoqué que pour la notion d'ensemble.
Comme la plupart des enseignants du primaire, du secondaire et du supérieur, tu es "câblé" en mode séquentiel.
Il est logique de se référer à la théorie corrélée lorsqu'une modélisation se trouve être faite pour un référentiel.
Naturellement, tu lis de travers les associations que, comme quiconque, tu ne captes pas, telle : la sysnesthésie !
Recommandons la mise en place de la cartographie mentale par heuristiques (encore appellée : Mind Mapping)!
Ben314 a écrit:quelle est la partie que j'ai "tronquée" qui, selon toi, est sensée rendre la partie en rouge correcte. ?
Il est possible de partitionner l'ensemble des réels en :
- les infinitésimaux ou infiniment petits, inférieurs en valeur absolue à tout réel standard strictement positif. [..]
- les illimités, supérieur en valeur absolue à tout réel standard. Non standard, leurs inverses sont infinitésimaux.
-
les appréciables.
Les appréciables et les infinitésimaux constituent ce qu'on appelle les réels limités . Cf. l'ANS.