Concept information
Término preferido
nombre réel calculable
Definición
-
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)
Concepto genérico
En otras lenguas
-
inglés
-
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}}