> On 1 May 2019, at 11:14, 'Cosmin Visan' via Everything List > <[email protected]> wrote: > > What is the difference ? Basically, what is the difference between this > machine: > > > <http://www.anidescoala.ro/wp-content/uploads/2010/04/caruta.jpg> > > > > > > > > > > > > > and this machine: > > > <https://i.kinja-img.com/gawker-media/image/upload/s--hHRbGrSA--/c_scale,f_auto,fl_progressive,q_80,w_800/ebhtkgohzdlr3muenitq.jpg> > > > > > > > > > > > > ?
The first one is a particular (non Turing universal) machine, implemented in the physical reality. As such, it is better to view it as an analogue machine, but we can see it also as a digital machine. The machine here is not well defined to be sure. The second one is, I guess, a Turing universal boolean net, implemented also in the physical reality. That one is a genuine universal number, implemented, or incarnated in the physical reality. When I talk about digital machine, I don’t talk about their physical implementation. To fix the things, and avoid confusion (given that the goal is to derive physics from arithmetic), I consider their implementation in arithmetic, or their abstract definition in lambda calculus, or sometimes in semi-formal languages. I do not claim that digital mechanism is true. Only that it is logically incompatible with a. Weak form of materialism/physicalism, and that we can do the test, and that, thanks to QM, the test done up to now, favours mechanism, and already refutes materialism. (Again, simplifying a bit, to be short). Bruno PS, I will be more and more busy in the next days. Apology for slow answering. > > On Wednesday, 1 May 2019 11:43:47 UTC+3, Bruno Marchal wrote: > > I talk of digital machine, in the sense of Church and Turing. I can say more. > Just ask (and be patient, as I am in a busy period). > > > -- > 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] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- 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 https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
