> On 6 May 2020, at 22:11, ronaldheld <[email protected]> wrote: > > Bruno: > Am I correct that you see the Wolfram model as a Physicalist theory and not > Mechanism(AR)?
Wolfram assumes mechanism, at least in his big “new science” book. But he fails to appreciate its consequences (Shmidhuber, Tegmark, even Bostrom are more sense full on this, although they still miss some key part of the mind-body problem). So Wolfram is Mechanism, but accompanied with the very common dismissing of the mind-body problem. There is no phenomenologies, and it is still an attempt to make everything 3p, which is the main thing that the antic theologian understood as being just impossible (and provably so when you add Church-thesis). I am not sure why you put Arithmetical (AR) alongside with mechanism. AR is used by everybody all the time. I have added as an assumption just to avoid problem with ultrafinitists, but eventually, I have solved that problem, as I military AR to RA (I limit the arithmetical realism to Robinson arithmetic, which is implicit in the classical Church-turing thesis. My “new” definition of an arithmetical realist is anyone who agree with the teacher, against their kids, when the teacher asserts that x + 0 = x, and things like that. AR is used when we make our taxes, or buy an insurance. AR is consistent with the ultarfinitost statement that there is a biggest natural number. To be sure, to prove this consistency requires some use of the infinite, but an utlrafinists has no obligation, nor any means, to prove its consistency, as no one can do that, neither the finalists, nor the arithmetical “gods”, nor the One itself. In my sane04 paper, I defined mechanism to be “yes doctor + Church’s Thesis + Arithmetical Realism” (YD + CT + AR), but as AR is implicit in CT, I prefer now to avoid this redundancy, especially that many philosopher put far to much in AR. AR is the belief that 888 is even, independently of you wishes, or of the physical laws (which all assumes AR to be just formulated). You can also replace “yes doctor” with Theaetetus’d definition of knowledge, to go from []p to ([]p & p), but it seems to me that the thought experiment motivates better this, including the weak variants []p & <>t and []p & <>t & p. The three variants gives different quantum logics (with p’s arithmetical interpretation restricted to the sigma_1 proposition, or better (a recent improvement!) the sigma_1(a) proposition, where the “a” denotes an arbitrary oracle (in the sense of Turing). I appreciate a lot Wolfram’s book on the Cellular Automata though. His recent paper might be quite interesting in physics, but as metaphysics, it is still too much physicalist for being consistent with Descartes or Darwin +Turing (Mechanism). Bruno > Ronald > > On Wednesday, April 29, 2020 at 4:40:56 AM UTC-4, Philip Thrift wrote: > > The "hypergraph" stuff from Stephen Wolfram in recent news on his "new > foundation" of physics has a name: The Wolfram Model. > > > > Some Relativistic and Gravitational Properties of the Wolfram > Model > Jonathan Gorard > https://www.wolframcloud.com/obj/wolframphysics/Documents/some-quantum-mechanical-properties-of-the-wolfram-model.pdf > > <https://www.wolframcloud.com/obj/wolframphysics/Documents/some-quantum-mechanical-properties-of-the-wolfram-model.pdf> > > Some Quantum Mechanical Properties of the Wolfram Model > Jonathan Gorard > https://www.wolframcloud.com/obj/wolframphysics/Documents/some-relativistic-and-gravitational-properties-of-the-wolfram-model.pdf > > <https://www.wolframcloud.com/obj/wolframphysics/Documents/some-relativistic-and-gravitational-properties-of-the-wolfram-model.pdf> > > > @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 [email protected] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/0edf6f3f-74b3-4d48-83f3-6b3c6fc393a0%40googlegroups.com > > <https://groups.google.com/d/msgid/everything-list/0edf6f3f-74b3-4d48-83f3-6b3c6fc393a0%40googlegroups.com?utm_medium=email&utm_source=footer>. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/D1732E36-22B9-4CE4-B178-B5897661D740%40ulb.ac.be.
