On Wednesday, February 5, 2014 4:37:39 AM UTC-5, Bruno Marchal wrote: > > > On 04 Feb 2014, at 18:07, Craig Weinberg wrote: > > Numbers can be derived from sensible physics > > > That is a claim often done, but nobody has ever succeed without assuming > Turing universality (and thus the numbers) in their description of physics. >
Turing universality can just be a property of physics, like density or mass. Just as Comp does a brute appropriation of qualia under 1p uncertainty, physics can do a brute appropriation of arithmetic under material topology. It would explain why Turing universality does not apply to gases and empty space. Computers require object-like properties to control and measure digitally. > You often say, "we can do that", but this makes sense only if you do it > actually. > Some people might say that it is being done: http://www.youtube.com/watch?v=YDCwrbqHfTM The Future of Computing -- Reuniting Bits and Atoms The Future of Computing — Reuniting Bits and Atoms > > > > as easily as physics can be derived from sensible numbers. > > > Physics is not yet extracted, only the or some quantum tautologies, and > that was not that much easy, at least for me ... > But the principle of the possibility is not difficult, at least, not for anyone who has ever programmed a player-missile graphic/avatar/collision detection in a game. Craig > > Bruno > > http://iridia.ulb.ac.be/~marchal/ > > > > -- 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 http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.
