Timeline for List of proofs where existence through probabilistic method has not been constructivised
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 16, 2023 at 9:52 | comment | added | James E Hanson | That's not my point. My point is just that we do know computable examples of absolutely normal numbers. This was just the first paper I found. Are these not 'specific' enough? | |
| Aug 15, 2023 at 21:57 | comment | added | Fedor Petrov | @JamesHanson this is interesting, but I would not say that polynomial algorithm is "explicit" while double exponential "implicit". | |
| Aug 15, 2023 at 20:28 | comment | added | James E Hanson | Is the number constructed in this paper not a specific example of an absolutely normal number? | |
| S Dec 30, 2015 at 4:51 | history | answered | Fedor Petrov | CC BY-SA 3.0 | |
| S Dec 30, 2015 at 4:51 | history | made wiki | Post Made Community Wiki by Fedor Petrov |