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 @philipthrift -- 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/986400a3-1eaa-46be-be70-5362e0d5b45c%40googlegroups.com.
