> On 18 Apr 2019, at 19:51, 'Brent Meeker' via Everything List
> <everything-list@googlegroups.com> wrote:
>
>
>
> On 4/18/2019 2:53 AM, Bruno Marchal wrote:
>>
>> That would be the mistake of Dgital Physics/Physicalism.
>>
>> It is like saying that some program u generate the physical universe. That
>> is not entirely excluded from the mechanist hypothesis, but even if that is
>> the case, such an u (and of course all the u’ such that phi_u = phi_u’
>> extensionally) must be derived from elementary arithmetic, if mechanism is
>> correct.
>>
>> But that can be shown to be not quite plausible, as this would make our
>> substitution level so low that the only “artificial brain” possible would be
>> the entire physical universe. In that case, most of our biology and physics
>> would be false. It is such a weakening of Mechanism, that it would make
>> Mechanism wrong FAPP, contradicting all the evidences that we have for
>> Mechanism, like evolution, molecular biology or quantum physics.
>
> That is one of my reservations about your theory, that it requires the
> substitution level to take into account the environment. Not the whole
> universe, but representative local sample of the universe.
Yes, but that is what makes “my” mechanist hypothesis weaker than all the
others (meaning that what is prove for it will be true for all the other).
Usually, mechanism assumes some high level, like the neuronal net, and nothing
else. My reasoning, on the contrary, still functions, even if the level is
string theory applied to the whole physical universe, with 10^(10^100) correct
decimals, as those approximations are all implemented in the arithmetical
reality.
> It wouldn't make our biology and physics false, but it might make them what
> we call "effective theories" in physics, i.e. not fundamental in the
> metaphysical sense but approximations to an unknown fundamental theory that
> is effective in the domain where we can test it.
Yes, that was the goal. Biology is still reducible to physics, but physics
becomes explained by a more fundamental theory given by any Turing
universal/complete theory.
So here is a theory of everything, explaining both consciousness and the
appearance of matter:
Classical logic +
0 ≠ s(x)
s(x) = s(y) -> x = y
x = 0 v Ey(x = s(y))
x+0 = x
x+s(y) = s(x+y)
x*0=0
x*s(y)=(x*y)+x
Here is another:
1) If A = B and A = C, then B = C
2) If A = B then AC = BC
3) If A = B then CA = CB
4) KAB = A
5) SABC = AC(BC)
And here is one, on which Number theory might some day provide analytical
(complex) tools to proceed. It is a Turing Universal system of Diophantine
equation (worked out by Matiyasevitch and Jones). All the variables are
integers:
Nu = ((ZUY)^2 + U)^2 + Y
ELG^2 + Al = (B - XY)Q^2
Qu = B^(5^60)
La + Qu^4 = 1 + LaB^5
Th + 2Z = B^5
L = U + TTh
E = Y + MTh
N = Q^16
R = [G + EQ^3 + LQ^5 + (2(E - ZLa)(1 + XB^5 + G)^4 + LaB^5 + +
LaB^5Q^4)Q^4](N^2 -N)
+ [Q^3 -BL + L + ThLaQ^3 + (B^5 - 2)Q^5] (N^2 - 1)
P = 2W(S^2)(R^2)N^2
(P^2)K^2 - K^2 + 1 = Ta^2
4(c - KSN^2)^2 + Et = K^2
K = R + 1 + HP - H
A = (WN^2 + 1)RSN^2
C = 2R + 1 Ph
D = BW + CA -2C + 4AGa -5Ga
D^2 = (A^2 - 1)C^2 + 1
F^2 = (A^2 - 1)(I^2)C^4 + 1
(D + OF)^2 = ((A + F^2(D^2 - A^2))^2 - 1)(2R + 1 + JC)^2 + 1
Any such theory will do. The theology (including physics) that is extracted
from them is the same. Theology, and thus physics is machine-independent, or
phi_i-independent.
>
> Brent
>
> --
> 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.
--
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.
