Timeline for Buchi's conditional proof of the non-existence of finite algorithm to decide solubility of system of diagonal quadratic form equations in integers
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 4 at 16:33 | comment | added | Stanley Yao Xiao | @GerryMyerson Hi, I haven't had much chance to look during the holidays. I will take a look in the next few days. Thanks for the suggestion! | |
| Jan 4 at 14:48 | comment | added | Gerry Myerson | Not interested? | |
| Dec 25, 2023 at 13:51 | comment | added | Gerry Myerson | Find anything helpful at Vidaux' site? If not, you could try writing to him. I suppose it's possible Buchi never formally published a proof. | |
| Dec 22, 2023 at 17:20 | comment | added | Gerry Myerson | Xavier Vidaux has several papers that mention Buchi, maybe one of them gives the citation you want. See www2.udec.cl/~xvidaux/publi.html | |
| Dec 22, 2023 at 3:29 | history | edited | Sam Hopkins | CC BY-SA 4.0 |
added 2 characters in body
|
| Dec 22, 2023 at 1:11 | history | asked | Stanley Yao Xiao | CC BY-SA 4.0 |