On 21 Nov 2013, at 12:17, Bruno Marchal wrote:
On 21 Nov 2013, at 11:29, Alberto G. Corona wrote:
The material phenomena are events in the mind.
That is partially true in the comp theory. But mind and matter
emerges from the existence of [READ OR] absence of solution(s) to
Diophantine equation, or even to just one of them(*).
So there was a typo error (Read "OR" instead of "of"). And the "(*)
was for this:
For your contemplative pleasure here is a unique system of Diophantine
equation which is Turing universal. That is a precise TOE, written
with only s, 0, + and *. It comes from a paper of P. Jones, which is
based on the work of Matiyasevitch, Putnam, Davis and Robinson.
Of course an expression like Q^16 is an abbreviation of
Q*Q*Q*Q*Q*Q*Q*QQ*Q*Q*Q*Q*Q*Q*Q*Q (with the parentheses that should be
added!). By adding even more variables, we can get only one
polynomial, with degree 4. The equation below asserts that X is in
W_Nu (a Turing universal statement, in Davis' earlier sense, a bit
more general than Davis change to it later).
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
Bruno
http://iridia.ulb.ac.be/~marchal/
--
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 http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
