Timeline for What is the geometry of an undecidable diophantine equation?
Current License: CC BY-SA 3.0
19 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 29, 2017 at 1:16 | comment | added | user6976 | @WillSawin: the set of undecidable Diophantine equations is very large and there is an easy procedure to get many of those once you have one. So geometrically these equations vary a lot. A more interesting question would be, given some geometric property, find out if there exists an undecidable equation or a system of equations satisfying that property. As far as I know nobody studied that problem seriously which is a pity. | |
| S Jun 28, 2017 at 20:13 | history | suggested | Matthieu FG |
Added logic tag
|
|
| Jun 28, 2017 at 19:37 | review | Suggested edits | |||
| S Jun 28, 2017 at 20:13 | |||||
| Dec 9, 2012 at 23:10 | comment | added | Will Sawin | I wasn't planning to make it a habit. | |
| Dec 9, 2012 at 22:16 | comment | added | user9072 | Thanks for the reply. I do not know about a meta thread, for 'other discussion' see mathoverflow.net/questions/104889/… (check the edit history to see the 'problematic' tags as they are gone now). As I said there while I prefer if it does not happen at all it is not a 'big problem' for me if it stays very rare. So, if you really want to keep it on this one occassion, well, then please keep it. If you however intend to make this a habit then yes likely you or I should start a meta thread. | |
| Dec 9, 2012 at 18:02 | comment | added | Will Sawin | Is there a meta thread or other discussion about this? I would like to hear the view of the wider MO community. | |
| Dec 9, 2012 at 12:18 | comment | added | user9072 | I consider personalized tags as against the spirit of the site. Thus I would like to ask you to remove it. | |
| Dec 6, 2012 at 7:14 | history | edited | KConrad | CC BY-SA 3.0 |
added 1 characters in body
|
| Dec 5, 2012 at 15:52 | comment | added | Felipe Voloch | @Joël See mathoverflow.net/questions/60617/… | |
| Dec 5, 2012 at 4:00 | answer | added | Misha | timeline score: 16 | |
| Dec 5, 2012 at 2:13 | comment | added | Joël | And Minhyong, while you're here, I remember reading in one of your survey something that I liked, and that seems related to the question: the hope that the question of which algebraic curves over $\mathbb Q$ has a rational solution might be decidable -- even if for general variety, it is probably not (though we don't know it for sure yet). | |
| Dec 5, 2012 at 0:17 | comment | added | Minhyong Kim | I never checked this myself, but Mazur told a number of us many years ago that he had looked at Matiyasevich's equations, and found that they all had plenty of rational solutions. Someone should ask him about this. Alternatively, you could look at the equations yourself. This doesn't answer your question, but it's a start. | |
| Dec 4, 2012 at 22:39 | comment | added | Will Sawin | If I go add ask-noam to 50 questions where it would be appropriate, do I get the taxonomist badge? | |
| Dec 4, 2012 at 22:38 | history | edited | Will Sawin |
edited tags
|
|
| Dec 4, 2012 at 20:17 | answer | added | Timothy Chow | timeline score: 25 | |
| Dec 4, 2012 at 19:27 | comment | added | Todd Trimble | Maybe we need a Noam Elkies tag as well? :-) | |
| Dec 4, 2012 at 18:41 | answer | added | Charles Matthews | timeline score: 9 | |
| Dec 4, 2012 at 18:32 | comment | added | R Hahn | Title should be "The geometry of undecidable diophantine equations: WWNED?" | |
| Dec 4, 2012 at 18:20 | history | asked | Will Sawin | CC BY-SA 3.0 |