On 16 Jul 2012, at 21:05, Evgenii Rudnyi wrote:
On 15.07.2012 16:50 Bruno Marchal said the following:
On 14 Jul 2012, at 18:21, Evgenii Rudnyi wrote:
...
but it looks like that your motive is also close to the Game of
Life. What difference do you see in this respect?
With comp, after UDA, and supposing it is 100% valid, the choice of
the universal system for the ontology is arbitrary. The laws of
physics and the laws of mind are independent of it. So it is better
to use one which is far from looking physical so that when we derive
physics we diminish the possible confusions of level. The game of
life already used a two dimensional grid, and has a notion of
"physical" interaction build it, so I prefer to use the numbers. But
the GOL is quite OK in principle.
That is my problem. I do not understand how it would be possible to
play chess in the Game of Life.
Like arithmetic, the game of life is Turing universal. So you can
program deep blue in the Game of life.
Here are videos illustrating the working of a universal pattern, that
is a game of life pattern emulating a computer, in the Game of Life:
http://www.youtube.com/watch?v=My8AsV7bA94
http://www.youtube.com/watch?v=DD0B-4KNna8
It is more easier, although long and tedious, to prove that GOL is
Turing universal than to prove that arithmetical-addition-and-
multiplication is Turing universal.
Like billiard balls, also Turing universal, all you need to show is
how to emulate the behavior of NAND gates, and how to put them into
place so that you can emulate a little von Neuman type of computer.
NAND are simulated with the usual GOL gliders, and the way the gliders
can bounce on other gliders and wall, or to annihilate themselves. Of
course the universal pattern will be rather big, as you can see
clearly on the first video.
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 [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.
