> On 7 Mar 2018, at 02:16, Brent Meeker <[email protected]> wrote: > > > > On 3/6/2018 5:27 AM, Bruno Marchal wrote: >> >>> On 6 Mar 2018, at 01:37, Brent Meeker <[email protected] >>> <mailto:[email protected]>> wrote: >>> >>> >>> >>> On 3/5/2018 9:14 AM, Telmo Menezes wrote: >>>>> "Could" implies a question about possibilities. It's certainly logically >>>>> possible that there not be such a disease as leukemia. Is it >>>>> nomologically >>>>> possible?...not as far as we know. >>>> Well I'm not sure it's logically possible, for the reasons that Bruno >>>> already addressed. >>> >>> Bruno is assuming that everything not contrary to his theory exists >>> axiomatically… >> >> ? >> >> >>> which is assuming the answer. >> >> ? >> >> I recall that my assumption is only that the physical brain can be emulated >> at some level by a digital physical machine so that we would survive in the >> usual sense. >> >> Then to just define “digital” we need to accept "very elementary arithmetic" >> (like RA), but then, it is just impossible to use an assumption of primary >> physicalness to select the computations in arithmetic. We need to select it >> by the measure on the first person experiences, and this gives the first >> coherent explanation of both consciousness and matter appearance, where >> physicists just do not address this question since a long time. > > Not just "accept arithmetic", but also to suppose that all possible > computations exist via a UD.
The UD existence is a consequence of elementary arithmetic. That is the bomb of GPodel, Church, Turing, …. It is not my discovery. It is explained in all textbook of computer science. All partial recursive functions are (strongly) represented in the arithmetical true sigma_1 relations. My theory, extracted from the hypothesis of mechanism is just elementary arithmetic, or Kxy = x and Sxyz =xz(yz), and nothing else. I assume much less that most theoretical physicists, and I assume infinitely much less than the physicalist metaphysicians. To be clear. Bruno > > Brent > >> >> My work says nothing about physics, but it shows that with Digital Mechanism >> in *Metaphysics*, physicalism does not work. >> >> Bruno > > > -- > 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.
