# Re: a creator must know what he is doing (must have intelligence).

```Hi Roger,

On 13 Sep 2012, at 12:36, Roger Clough wrote:```
```
```
```Hi Bruno Marchal

But those mechanims are just mechanisms.
```
```
You are just doing the  "just" fallacy.
A variant of the "nothing but" fallacy.

```
```They do not know what they do,
```
```
```
We do have serious evidence that some mechanism, actually most of them, when above a treshold of complexity (Turing sigma_1 completeness, universality, more exactly Löbianity) might be able to know (something obeying the S4 logic) when looking inward. They can look inward by the second recursion theorem of Kleene, that is through the use of the Dx = xx syntactical trick (plausibly already done by the double RNA strings at the molecular level I think).
```
```
There is already a sense for not taking them as zombie. (philosophical zombie)
```

```
```that knowing
combined with choice of what to do being
another description of intelligence, which is what
makes a creator greater than his creations.
```
```

```
You are limiting the power of God. With comp, God has not all power, but He/She/It *can* at least create something/someone more powerful than He/She/It-Self.
```
At his God exam, God was asked to chose between two problems:

- to make a stone so heavy that he can't lift it up.
- to make a creature more powerful than itself.

Basically that is what happens in Neoplatonism with:

GOD ==> NOUS ==> SOUL ==> MATTER (sensible + intelligible)

```
In arithmetic, the machine looking inward suggests a "toy theology", if you want:
```
TRUTH ==> PROVABILITY ==> KNOWER ==> MATTER (sensible + intelligible)

Although it is more like

```
PROVABILITY MATTER (sensible + intelligible)
```TRUTH ==> PROVABILITY ==> KNOWER ==> MATTER (sensible + intelligible)

```
as the machine distinguishes the provable and non provable but true parts of those discourses. It is useful to get the difference of discourse between quanta and qualia.
```

Bruno

```
```
----- Receiving the following content -----
From: Bruno Marchal
Time: 2012-09-12, 13:07:32
Subject: Re: If I ever doubt that there is a God,

On 12 Sep 2012, at 14:00, Roger Clough wrote:

```
```Hi Bruno Marchal

Any creator has to be greater than his creations.
```
```
Why?

```
The Universal Dovetailer, is smaller than what it does, and what it created.
```
```
The Mandelbrot program is very small, but it "creates" the most complex object, full or subtle mixing of order and randomness.
```
```
The complexity of the universal machine gives a threshold above which objects have more complex behavior than their description, somehow.
```
```
It is a surprising, but known phenomenon (by logicians and computer scientist) that arithmetic, despite very simple elementary beings (0, and its successors), and laws operating on them, addition and multiplication, is full of complex mathematical processes, unsolvable or very hard problems, etc. Just think about the distribution of the prime numbers, or inform yourself. In arithmetic, above universality, the creators are all overwhelmed by their creation. They can even lost themselves in them.
```
```
This can be also compared to Plotinus, where the ONE is fundamentally simple, and can't help itself not letting emanating from itself, the NOUS, Plato "universal intelligence", which put order on Platonia, but also makes some mess, and then the inner god, the universal soul, does not help, and it can hurt.
```
```
If we ant keep the fundamental principle on God, like being responsible for our existence, being unameable, then with comp there is a God, but It is not omnipotent, nor omniscient, apparently. Divine knowledge is a body freezer.
```
```
The point is that God cannot be used as an explanation of whay we are here, if it is more complex than its creation. I agree with the others on this.
```
```
It might be that the price to pay for any relative potence is a selective amnesia and/or consciousness differentiation, like in self- multiplication (amoeba, WM-duplication, etc.).
```
I like to quote Sri Aurobindo here:

What, you ask, was the beginning of it all?

And it is this ...
Existence that multiplied itself
For sheer delight of being
And plunged into numberless trillions of forms
So that it might
Find
Itself
Innumerably (Aurobindo)

```
```

Roger Clough, rclo...@verizon.net
9/12/2012
Leibniz would say, "If there's no God, we'd have to invent him
so that everything could function."
----- Receiving the following content -----
From: Bruno Marchal
Time: 2012-09-11, 14:55:35
Subject: Re: If I ever doubt that there is a God,

On 11 Sep 2012, at 15:29, Stathis Papaioannou wrote:

```
> On Tue, Sep 11, 2012 at 10:40 PM, Roger Clough <rclo...@verizon.net>
```> wrote:
>
>> Intelligence is by (my) definition an autonomous function,
>> so over-layers are not only forbidden, they are not needed.
>>
>> If you jump off of a building you will fall to your death.
>>
>> I'm missing a possible problem there.
>
> You say that order in the universe is evidence of an intelligent
```
> designer but you don't say that order in the intelligent designer is > evidence of a super-intelligent designer who designed him. If you say
```> the designer was not himself designed then why not also say the
> universe was not itself designed?
>

It is a good point. Craig made a similar one. You need God being
conceptually simpler than its creation, to get something looking like
an explanation.

I think this is what has motivated Plotinus to put the ONE (described
```
mainly as the SIMPLE by Plotinus) above the NOUS, which is already the
```MANY, very rich intelligible worlds of the ideas.

With comp this is captured by the difference between the factual
simple truth, like Ex( s(0)+x = s(s(s(0))) ), and the intelligible
truth, which in arithmetic will concerned provability predicate by
```
machine, using G鰀el's arithmetical predicate beweisbar(x). The simple
```"cause" is the number together with their additive and multiplicative
laws, the many is the complex digital machine appearing from those
laws, and their possible histories and coupling with other universal
machines.

Bruno

>
> --
> Stathis Papaioannou
>
> --
> You received this message because you are subscribed to the Google
> Groups "Everything List" group.
```
> To post to this group, send email to everything-list@googlegroups.com .
```> To unsubscribe from this group, send email to
> .
> For more options, visit this group at
> .
>

http://iridia.ulb.ac.be/~marchal/

--
```
You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything- l...@googlegroups.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com . For more options, visit this group at http://groups.google.com/group/everything-list?hl=en .
```

--
```
You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything- l...@googlegroups.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com . For more options, visit this group at http://groups.google.com/group/everything-list?hl=en .
```
http://iridia.ulb.ac.be/~marchal/

--
```
You received this message because you are subscribed to the Google Groups "Everything List" group.
```To post to this group, send email to everything-list@googlegroups.com.
```
To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com . For more options, visit this group at http://groups.google.com/group/everything-list?hl=en .
```
http://iridia.ulb.ac.be/~marchal/

--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to