> On 1 May 2019, at 11:14, 'Cosmin Visan' via Everything List > <everything-list@googlegroups.com> 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 everything-list+unsubscr...@googlegroups.com > <mailto:everything-list+unsubscr...@googlegroups.com>. > To post to this group, send email to everything-list@googlegroups.com > <mailto:everything-list@googlegroups.com>. > 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 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.