Énigme : les nombres réels, n’existent pas

Auteur Message
harratch a écrit : 
Je te signale toutefois qu'en utilisant, avec du C par exemple, le kernel d'un logiciel de calcul symbolique, comme Mathématica, on peut atteindre une précision aussi grande que l'on le désire. Mais bien entendu, qui dit précision infinie, sous entend, hélas aussi, temps de calcul infini....

Il y a aussi les librairies BigNum et cie.

On pourrait parler des rationnels aussi, qui sont inclus dans l’ensemble des réels et qui peuvent être traités autrement, mais ça deviendrait ennuyeux pour les gens qui passent et que ça n’intéresse pas forcément (sauf si des gens montrent un intérêt ici un jour).
Mais,enfin, je ne t'accorde pas une très bonne note pour ta question. Parce que l'ambiguïté provient de ce que les programmeurs ont un jour commis l'erreur de nommer "real" un certain format de données de variables et que ce "real" ressemble aussi au réel des mathématiciens. Mais bien sûr, rien de commun entre les deux.
Tout ça c'est la faute aux geeks !
T’as droit à une bonne note pour avoir compris tout le problème Grand sourire

En plus tu es arrivé assez vite sur la solution en parlant de machine de Turing.
La définition du langage SML réfute l’idée d’égalité entre deux nombres réels dans le domaine informatique.

EqualityType (mlton.org)

Le lien a écrit : 
Notably, exn and real are not equality types.
Image

L’image a écrit : 
i: be rational
pi: get real


Traduction a écrit : 
i : soit rationnel
pi : devient réaliste


C’est un jeux, pas exactement traduisible. En Anglais, l’expression utilisée pour dire « devient réaliste », utilise le même mot que celui utilisé pour désigner un nombre réel (“real”).

Le Pi, tout le monde connait, normalement ; le i, c’est celui des nombres imaginaires.