On Thursday, June 13, 2019 at 8:53:40 AM UTC-5, Bruno Marchal wrote: > > > *"Most theories in science are implicitly second order theory, which, unless restricted in some way, are usually not “Turing decidable” or “Turing emulable".*
What current scientific theory is not Turing-emulable? Everything I know of what computational physicists, chemists, biologists do they do with standard programming (FORTRAN, C, Python, ...) on conventional computers. They simulate the dozens of different black hole theories on supercomputers. They make simulations of critters (OpenWorm). *Current** theories* of science (actually written down in articles in TeX:Math) are all Turing-emulable, as far as I know. They are all "replicated" in programs on conventional computers. @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 everything-list+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/72c23ea9-5e22-478e-a27e-562f4f3deaa8%40googlegroups.com.
