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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.
