Timeline for Can someone explain to a "newbie" of number theory how Matijasevič demonstrated the impossibility of hilbert’s tenth problem?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 14, 2020 at 3:05 | review | First posts | |||
| Sep 14, 2020 at 5:18 | |||||
| Sep 12, 2020 at 0:37 | comment | added | Andrés E. Caicedo | My suggestion is that you state in the body of the problem what your background is. For instance, are you familiar with Turing machines? With first-order logic? In terms of number-theoretic prerequisites, not much is needed. Some familiarity with Pell equations is probably enough. | |
| Sep 12, 2020 at 0:35 | comment | added | Andrés E. Caicedo | For instance, one can state the result as saying that (PA proves that) $\Sigma^0_1=\Sigma_1$. I don't know whether this makes sense to you or, even if it does, whether you see why it is indeed a solution to the tenth problem. | |
| Sep 11, 2020 at 23:50 | comment | added | Andrés E. Caicedo | I don't know your background to know whether a one line description would be meaningful. The books cover all prerequisites as well. | |
| Sep 11, 2020 at 23:40 | comment | added | thatguythatroamsforums | @AndrésE.Caicedo I was looking for something more synthetic, or is the explanation just to big to fit somewhere else than in a book? | |
| Sep 11, 2020 at 23:34 | comment | added | Andrés E. Caicedo | There is also this book. | |
| Sep 11, 2020 at 23:33 | comment | added | Andrés E. Caicedo | This is a very accessible book. It explains the details and provides motivation. | |
| Sep 11, 2020 at 23:26 | history | asked | thatguythatroamsforums | CC BY-SA 4.0 |