On Thu, Jun 28, 2018 at 4:13 AM, Bruno Marchal <marc...@ulb.ac.be> wrote:
> >> > >> nobody around here has provided even a hint of how pure numbers could do >> the same thing. > > > *T>hat is done in all (good) textbook in mathematical logic or > computability theory.* Ah yes, that wonderful textbook you keep talking about, the magical book that can perform calculations that Intel has somehow never heard of. John K Clark -- 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 post to this group, send email to everything-list@googlegroups.com. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
