On 07 Dec 2009, at 14:25, Bruno Marchal wrote (to John Mikes)

>>
>> Universal machine - BTW: machine, or God, as in (our) theology
>
> A number or machine which through encoding can emulated all possible  
> computable relation between numbers. Examples are given by brain,  
> the DNA genome, physical universe, programming language interpreter,  
> general purpose computer, etc.
> If we accept Church thesis, then the (mathematically existing)  
> Turing universal machine, *is* a universal machine.



Just to be clear. The universal machine is definitely not a GOD.  
Usually by God, I mean any entity capable of producing sentences in  
some non mechanically reducible way. Arithmetical truth, or the set of  
the descriptions of true arithmetical sentences is known to be  a god  
in that sense, since Gödel proved his incompleteness theorem.

Universal machine are finite entities. Yes, it is true that they are  
always dissatisfied, and always look for more memory-time and memory- 
space, they can use walls and paper to extend their memory, or  
anything available relatively to their most probable history/ 
computation/environment.

I call them sometimes "baby gods", but this is just a mark of  
affection. They are terrible children, and they are know to make life  
always more complex and difficult. I guess it is the goal!

A computer is just a tool for solving the problems raised by another  
computer. This provides jobs.

Bruno


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.


Reply via email to