News for hackers. Stuff that matters.

A comment on The weird and wonderful world of constructive mathematics (2017) [pdf]. Parent comment

Re:The weird and wonderful world of constructive mathematics... by yellowflash on Friday November 09, 2018 @11:08AM (#18415424)
It never says, its all of them (Sort of LEM is working in all of them). It just says, thats all you can work with.
[ Parent | on HN ]
Re:The weird and wonderful world of constructive mathematics... by aeneasmackenzie on Friday November 09, 2018 @03:40PM (#18417793)
It's all of them. You can't give an example of a real number that's not computable.
[ Parent | on HN ]
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.

[ Parent | on HN ]