> On 27 Jul 2019, at 13:21, Philip Thrift <cloudver...@gmail.com> 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 everything-list+unsubscr...@googlegroups.com > <mailto:everything-list+unsubscr...@googlegroups.com>. > 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 everything-list+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/C7D3164D-D615-4194-B9C1-CBC51945DF98%40ulb.ac.be.