Propriétés décideables des réels calculables

cs.stackexchange https://cs.stackexchange.com/questions/77487

Question

Le "théorème de Rice pour les réels calculables" - c'est-à-dire aucune propriété non triviale du nombre représenté par un réel calculable donné n'est décideable - vrai?

Cela correspond-il d'une manière directe à la connectivité des réels?

Pas de solution correcte

Licencié sous: CC-BY-SA avec attribution
Non affilié à cs.stackexchange
scroll top