On 27 Apr 2013, at 17:10, John Mikes wrote:

## Advertising

Dear Stathis and Bruno, Stathis' reply is commendable, with one excessive word:" r e a l ". I asked Bruno several times to 'identify' the term'number' in common-sense language.So far I did not understand such (my mistake?) I still hold'numbers' as the product of human thinking which cannot beretrospect to the basis of brain-function.(Unless we consider BRAIN as the tissue-organ in our skull,executing technical steps for our "mentality" - whatever that may be.

`Well, we usually consider the brain to be the tissue-organ, and in the`

`comp theory, we assume his function can be replaced by a suitable`

`universal machine, that is computer.`

`I am not sure what it is that you don't understand in the notion of`

`number. Usually it means "natural numbers", but mathematicians have`

`thousand of generalization of that concept (integer, rational numbers,`

`real nubers, complex numbers, quaternion, octonions, and many others).`

`In common sense language, natural numbers are related to the words`

`"zero", "one", "two", "three", etc. I am not sure what problem you`

`have with them.`

My remark to Bruno: in my (agnostic?) mind 'machine' means afunctioning contraption composed of finite parts,

`OK. And we can be neutral at the start if those part are physically`

`realized or not. The machine I talk about have been defined precisely`

`in math, and can be assumed to be approximated in the physical world`

`(primitive or not).`

an ascertainable inventory, while 'universal machine' - as Iunderstand(?) the term includes lots of infinite connotations(references).

`That's right, but they are themselves composed of a finite number of`

`finite parts.`

So I would be happy to name them something different from 'machine'.

`On the contrary, the alluring fact about universal machine is that`

`they are machine. They are finite. General purpose computers and`

`programming language interpreters are example of such (physical,`

`virtual) universal machines.`

I accept 'computation' as not restricted to numerical (math?)calculations although our (embryonic, binary) Touring machine isbased on such.

`With the Church Turing thesis, all computers are equivalent for the`

`computations they can execute. They will differ in the unboundable`

`range of provability, knowability, observability and sensibility though.`

I am still at a loss to see in extended practice a 'quantum', or a'molecularly based' computer so often referred to in fictional lit.

`Yes, we will see, but we already believe (with respect to all current`

`facts and theories of course) that they do not violate the Church`

`Turing thesis. It is a theorem that a quantum computer does not`

`compute more functions than a Turing machine, or than Babbage machine.`

`I know you like Robert Rosen, who asserted that Church Turing thesis`

`is false, but he has not convinced me at all on this.`

The "Universal Computer" (Loeb?)

`It is Turing who discovered it explicitly, but Babbage, Post, Church`

`and others made equivalent discoveries. Gödel and Löb's discoveries`

`concerns notion like truth and provability, which quite typically have`

`no corresponding Church thesis, and there is no notion of universality`

`related to them.`

`On the contrary, we know that provability is constructively NOT`

`universal. We can build a machine contradicting any attempt to find a`

`universal provability predicate. Some machines (the Löbian one) can`

`prove that about themselves.`

requires better descriptions as to it's qualia to include domainsbeyond our present knowledge and the infinities. (Maybe "human"mind?which is also unidentified).

`That can depend on the theory that you will assume. With comp, our`

`brain are equivalent to Turing machine, with respect to computations,`

`but not with respect of provability, knowability, sensibility, etc.`

Bruno

JohnMOn Sat, Apr 27, 2013 at 5:40 AM, Stathis Papaioannou <stath...@gmail.com> wrote:On Tue, Apr 23, 2013 at 3:14 AM, Craig Weinberg<whatsons...@gmail.com> wrote:> A quote from someone on Facebook. Any comments? >>> "Computers can only do computations for rational numbers, not forreal>> numbers. Every number in a computer is represented as rational.No computer>> can represent pi or any other real number... So even whenconsciousness can>> be explained by computations, no computer can actually simulateit."If it is true that you need real numbers to simulate a brain then since real numbers are not computable the brain is not computable, and hence consciousness is not necessarily computable (although it may still be contingently computable). But what evidence is there that real numbers are needed to simulate the brain? -- Stathis Papaioannou --You received this message because you are subscribed to the GoogleGroups "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?hl=en.For more options, visit https://groups.google.com/groups/opt_out. --You received this message because you are subscribed to the GoogleGroups "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?hl=en.For more options, visit https://groups.google.com/groups/opt_out.

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?hl=en. For more options, visit https://groups.google.com/groups/opt_out.