From: Smigrodzki, Rafal (SmigrodzkiR@MSX.UPMC.EDU)
Date: Thu Dec 13 2001 - 15:33:58 MST
From: "scerir" <scerir@libero.it>
> First. A self-evolving system seems to require a "loop" and
> not a "tower of turtles, ad infinitum".
Why?
When I wrote "self-evolving" I didn't mean evolution in the biological
sense, where cycles of generation and selection of entities are necessary. I
meant the generation of all possible theorems in a formal system, a process
which is not recursive as a whole, and can proceed indefinitely.
And by the way, thanks for your quotes from Aristotle and Leibniz. I didn't
know that they had such cool ideas about ontology.
Rafal
This archive was generated by hypermail 2.1.5 : Sat Nov 02 2002 - 08:12:31 MST