A definable number which cannot be approximated algorithmically — mentioned by moefh

Mon, 10 Apr 2017 21:04:33 GMT

I don't think that argument works. How do you guarantee that you can compute the n-th decimal of the n-th number in the list? In fact, from what I understand, this paper[1] shows how to specify exactly a number can't be computed like that. [1] https://arxiv.org/pdf/1003.0480.pdf

Paper and discussion history. A mention is not an endorsement.

A definable number which cannot be approximated algorithmically · HackerPapers discussions

A definable number which cannot be approximated algorithmically — mentioned by moefh