Timeline for Object of proven finiteness, yet with no algorithm discovered?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 17 at 23:32 | vote | accept | J.Li | ||
| Jul 17 at 23:31 | vote | accept | J.Li | ||
| Jul 17 at 23:31 | |||||
| Jul 17 at 14:41 | history | edited | LSpice | CC BY-SA 4.0 |
`\label`+`\eqref`
|
| Jul 17 at 12:05 | comment | added | Timothy Chow | Yann Bugeaud's book Approximation by Algebraic Numbers gives many more examples of ineffective results in Diophantine approximation. In terms of irrationality measures, it is known that (for example) the irrationality measure of $\pi$ is at most 7.1032... but we can't say how large $p$ and $q$ have to be in order to be "sufficiently large." | |
| Jul 17 at 11:16 | history | answered | Joe Silverman | CC BY-SA 4.0 |