Concept information
Terme préférentiel
nombre réel calculable
Définition(s)
-
En informatique et algorithmique, un nombre réel calculable est un réel pour lequel il existe un algorithme ou une machine de Turing permettant d'énumérer la suite de ses chiffres (éventuellement infinie), ou plus généralement des symboles de son écriture sous forme de chaîne de caractères. De manière plus générale, et équivalente, un nombre réel est calculable si on peut en calculer une approximation aussi précise que l'on veut, avec une précision connue.
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Nombre_r%C3%A9el_calculable)
Concept(s) générique(s)
Traductions
-
anglais
-
computable real
-
effective number
-
recursive number
-
recursive real
URI
http://data.loterre.fr/ark:/67375/PSR-SPX44C8G-0
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}