Re: Belief vs Truth

```
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