Cette partie du forum n’est pas compatible avec les bloqueurs publicitaires
Félicitations à vous, de préférer les accès payants plutôt que la gratuité par la publicité, c’est honnorable et cohérent de votre part. Malheureusement, l’accès payant par micropaiement (qui serait d’environ 1 cent pour 20 pages consultées) n’est pour l’instant pas encore mis en place, et l’accès gratuit sans publicité, est réservé aux membres actif(ve)s du forum. En attendant, si vous souhaitez poursuivre votre visite chez nous, vous pouvez ajouter le site à votre liste blanche, ou encore mieux, désactiver le bloqueur partout. Pour ajouter le site à votre liste blanche, pour Firefox (similaire pour les autres navigateurs), rendez‑vous en bas à gauche de la fenêtre de votre navigateur, et cliquez sur le menu comme dans l’exemple de l’image ci‑dessous, puis rechargez la page, en appuyant sur F5.
|
|
Auteur | Message |
---|---|
Administrateur
|
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). Hibou57 « La perversion de la cité commence par la fraude des mots » [Platon] |
|
|
Compte gelé
|
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 ! Si vous avez les yeux plus gros que le ventre, vous ne risquez pas de trouver une paire de lunettes. (Pierre Dac) |
Administrateur
|
T’as droit à une bonne note pour avoir compris tout le problème
En plus tu es arrivé assez vite sur la solution en parlant de machine de Turing. Hibou57 « La perversion de la cité commence par la fraude des mots » [Platon] |
Administrateur
|
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. Hibou57 « La perversion de la cité commence par la fraude des mots » [Platon] |
Administrateur
|
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).
Hibou57 « La perversion de la cité commence par la fraude des mots » [Platon] |
Administrateur
|
L’image a écrit : i: be rational Traduction a écrit : i : soit rationnel 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. Hibou57 « La perversion de la cité commence par la fraude des mots » [Platon] |
Administrateur
|
Sur les pièges de la comparaison des nombres flottants : Comparing floating point numbers (randomascii.wordpress.com), 2012.
Hibou57 « La perversion de la cité commence par la fraude des mots » [Platon] |
|