Concept information
Preferred term
nombre réel calculable
Definition
-
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)
Broader concept
In other languages
-
English
-
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}}