# Re: Intelligence and consciousness

```
On 06 Feb 2012, at 16:54, John Clark wrote:
```
```
```
Well it had better be! If the outside world could be anything we wanted it to be then our senses would be of no value and Evolution would never have had a reason to develop them. In reality if we project our wishes on how we interpret the information from our senses too much our life expectancy will be very short; I don't like that saber toothed tiger over there so I'll think of him as a cute little bunny rabbit.
```

```
Hmm... If you succeed of thinking of the saber toothed tiger as a cute little bunny rabbit, your body will not send the fear chemicals needed by the tiger to trigger an attack response. The tiger might be very impressed, and think twice before eating you, even if hungry.
```
```
I agree with your reply with respect to Craig point, though. Logicians like to joke with not completely relevant counter-example.
```
```
More seriously, in the chinese room experience, Searle's error can be seen also as a confusion of level. If I can emulate Einstein brain, "I" can answer all question you ask to Einstein, but the trick is that I emulate Einstein himself, and I provide the answer that Einstein answers me (and I guess I will have to make some work to understand them, or not).
```
```
That is an interesting error, and I would not judge someone because he does an error (although I am not sure Searle recognizes it or understand it).
```
```
The confusion between provability and computability is of that type. RA (arithmetic without induction) can already simulate PA (arithmetic with induction), yet, like me simulating Einstein, RA remains unable to prove many theorems that PA can prove. For RA, proving that PA proves some proposition P might be much easier than proving P. RA can easily prove that PA and ZF prove the consistency of RA, but RA can hardly prove that. RA can emulate PA, ZF, you, and me. (in the comp theory). And this does not mean that RA will ever believe what PA, ZF, or you, or me might assert or believe.
```

Bruno

```
```
John K Clark

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