Re:The weird and wonderful world of constructive mathematics...
by Dylan16807 on Friday November 09, 2018 @05:40PM
(#18418653)
Chaitin's omega number? I can give you an exact but incomplete equation for it, and tell you how it starts. Not every non-computable number is "pretend you could choose a random normal number, somehow".
I'm not sure if this answer is relevant, but might as well mention it.
I'm not sure if this answer is relevant, but might as well mention it.