Timeline for Decision problems for which it is unknown whether they are decidable
Current License: CC BY-SA 4.0
19 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 13, 2023 at 8:51 | vote | accept | Dominic van der Zypen | ||
| Jan 18, 2022 at 14:32 | answer | added | Joel David Hamkins | timeline score: 5 | |
| Jan 18, 2022 at 11:38 | answer | added | Sam Nead | timeline score: 4 | |
| Dec 3, 2019 at 11:29 | history | made wiki | Post Made Community Wiki by Todd Trimble | ||
| Nov 8, 2019 at 10:37 | answer | added | Carl-Fredrik Nyberg Brodda | timeline score: 17 | |
| Nov 7, 2019 at 15:53 | comment | added | Timothy Chow | This question is nearly a duplicate of a question on cstheory.stackexchange.com. (Joseph O'Rourke mentions this fact in his answer below, but it seems worth putting a comment here at the top of the page.) | |
| Nov 7, 2019 at 0:10 | history | became hot network question | |||
| Nov 6, 2019 at 23:35 | answer | added | Joseph O'Rourke | timeline score: 18 | |
| Nov 6, 2019 at 22:49 | history | edited | Bjørn Kjos-Hanssen | CC BY-SA 4.0 |
added 9 characters in body; edited title
|
| S Nov 6, 2019 at 22:49 | history | suggested | Max New |
some relevant tags
|
|
| Nov 6, 2019 at 21:47 | answer | added | Jim Belk | timeline score: 12 | |
| Nov 6, 2019 at 19:27 | review | Suggested edits | |||
| S Nov 6, 2019 at 22:49 | |||||
| Nov 6, 2019 at 19:07 | comment | added | Timothy Chow | There are many ineffective results in number theory that can be converted into an answer to your question. For example, given an elliptic curve defined over $\mathbb Q$, and an integer $r$, is the [rational Mordell-Weil] rank of the elliptic curve equal to $r$? Or how about this: Given a curve of genus at least 2 over $\mathbb Q$ and a list of rational points on the curve, is there any other rational point on the curve? | |
| Nov 6, 2019 at 18:56 | answer | added | Timothy Chow | timeline score: 44 | |
| Nov 6, 2019 at 17:00 | answer | added | Timothy Chow | timeline score: 12 | |
| Nov 6, 2019 at 16:30 | answer | added | Oscar Cunningham | timeline score: 30 | |
| Nov 6, 2019 at 16:09 | comment | added | Gerhard Paseman | My (unpublished) dissertation has an example, see ArXiv 1408.2784 for details. Briefly, given a string representing a hyperidentity (clone equation or restricted second order logic universal equality) and a finite similarity type (set of function symbols), does the logically equivalent infinite set of first order identities have a finite logically equivalent subset? If you restrict the problem by fixing the identity, (e.g. ask just for hyperassociativity and vary the type) the answer is yes, but not uniformly in the hyperidentity. Gerhard "Should Get Back To That" Paseman, 2019.11.06. | |
| Nov 6, 2019 at 16:00 | answer | added | Sam Hopkins | timeline score: 17 | |
| Nov 6, 2019 at 15:57 | history | asked | Dominic van der Zypen | CC BY-SA 4.0 |