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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
