Auteur Message
Administrateur
Avatar de l’utilisateur
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).
Profil
Compte gelé
Avatar de l’utilisateur
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 !
Profil
Administrateur
Avatar de l’utilisateur
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.
Profil
Administrateur
Avatar de l’utilisateur
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.
Profil
Administrateur
Avatar de l’utilisateur
Un article sur les dangers de faire des comparaisons entre deux nombre « réels » flottants, en Anglais : Comparing floating point numbers (cygnus-software.com), par Bruce Dawson. D’autres articles sur le même thème, ici : Floating Point (randomascii.wordpress.com).
Profil
Administrateur
Avatar de l’utilisateur
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.
Profil
Administrateur
Avatar de l’utilisateur
Sur les pièges de la comparaison des nombres flottants : Comparing floating point numbers (randomascii.wordpress.com), 2012.
Profil