Timeline for Object of proven finiteness, yet with no algorithm discovered?
Current License: CC BY-SA 4.0
23 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 19 at 14:21 | history | edited | darij grinberg | CC BY-SA 4.0 |
making the title grammatical
|
| S Jul 19 at 14:20 | history | suggested | Amazon Dies In Darkness | CC BY-SA 4.0 |
Fixed the title
|
| Jul 19 at 7:43 | review | Suggested edits | |||
| S Jul 19 at 14:20 | |||||
| Jul 18 at 7:20 | answer | added | Antoine de Saint Germain | timeline score: 5 | |
| Jul 18 at 6:51 | answer | added | Woett | timeline score: 11 | |
| Jul 18 at 3:33 | answer | added | Timothy Chow | timeline score: 12 | |
| Jul 18 at 3:10 | answer | added | user21820 | timeline score: 9 | |
| Jul 18 at 0:40 | answer | added | Stanley Yao Xiao | timeline score: 11 | |
| S Jul 17 at 23:32 | vote | accept | J.Li | ||
| S Jul 17 at 23:31 | vote | accept | J.Li | ||
| S Jul 17 at 23:32 | |||||
| Jul 17 at 23:31 | vote | accept | J.Li | ||
| S Jul 17 at 23:31 | |||||
| Jul 17 at 18:30 | comment | added | Anixx | Dimensions and measures of many fractals are unknown as well. | |
| Jul 17 at 18:28 | comment | added | Anixx | Regularized values of many divergent series and integrals are finite yet unknown. Particularly, those related to prime numbers. | |
| Jul 17 at 17:16 | comment | added | Sam Hopkins | It is a highly nontrivial result that the set of dimensions for which the smooth Poincaré conjecture fails is finite. But there is no known algorithm which will output this set. (Yes I know that there is a logic trick where you can say "oh but there's an algorithm which outputs $\varnothing$ and an algorithm which outputs $\{4\}$ so there is..." But there is not one single known algorithm which outputs the set of counterexamples to smooth Poincaré.) | |
| S Jul 17 at 15:53 | history | suggested | J. W. Tanner | CC BY-SA 4.0 |
Corrected spelling
|
| Jul 17 at 15:38 | history | became hot network question | |||
| Jul 17 at 15:03 | review | Suggested edits | |||
| S Jul 17 at 15:53 | |||||
| Jul 17 at 12:20 | comment | added | Timothy Chow | Somewhat related: What's the earliest result (outside of logic) that cannot be proven constructively? | |
| Jul 17 at 12:17 | answer | added | Timothy Chow | timeline score: 17 | |
| Jul 17 at 11:26 | answer | added | JoshuaZ | timeline score: 6 | |
| Jul 17 at 11:16 | answer | added | Joe Silverman | timeline score: 29 | |
| Jul 17 at 10:26 | comment | added | user347489 | Finding the generators of the Cox ring of a Mori dream space is an incredibly hard problem. Algorithms exist, but there are no known general bounds for its termination. | |
| Jul 17 at 7:37 | history | asked | J.Li | CC BY-SA 4.0 |