> On 27 Jul 2019, at 13:21, Philip Thrift <[email protected]> wrote: > > > > On Saturday, July 27, 2019 at 5:37:27 AM UTC-5, Bruno Marchal wrote: > > > Arithmetic is a Turing universal system, even RA, or even just the > diophantine polynomials. It emulates all universal systems. > > See Matiyasevic book on the 10th Hilbert problem to see an explicit emulation > of all Turing machines by one diophantine polynomial equation. (Section 5.5, > “Diophantine simulation of Turing machines, page 85-92). > > Bruno > > > > > Diophantine machines > Yuri Matiyasevich > https://www.newton.ac.uk/files/seminar/20120111170017302-152989.pdf > <https://www.newton.ac.uk/files/seminar/20120111170017302-152989.pdf> > > @philipthrift >
You can also download the chapter 5 of Matiyasevic book, which is relevant here, from https://logic.pdmi.ras.ru/~yumat/H10Pbook/chap_5.htm With a commentary which is even more relevant, here: https://logic.pdmi.ras.ru/~yumat/H10Pbook/commch_5.htm Bruno > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/986400a3-1eaa-46be-be70-5362e0d5b45c%40googlegroups.com > > <https://groups.google.com/d/msgid/everything-list/986400a3-1eaa-46be-be70-5362e0d5b45c%40googlegroups.com?utm_medium=email&utm_source=footer>. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/C7D3164D-D615-4194-B9C1-CBC51945DF98%40ulb.ac.be.
