Decidable properties of computable reals
-
04-11-2019 - |
문제
Is "Rice's theorem for the computable reals" -- that is, no nontrivial property of the number represented by a given computable real is decidable -- true?
Does this correspond in some direct way to the connectedness of the reals?
올바른 솔루션이 없습니다
제휴하지 않습니다 cs.stackexchange