Nombre Réel Calculable

concept

réel pour lequel il existe un algorithme ou une machine de Turing permettant d'énumérer la suite de ses chiffres (éventuellement infinie)

Propriétés

p279_labels
nombre réel définissable, Q135457975