Ja, kösz. Ha nem haragszol (és a topik sem), itt válaszolok, mert most nehézkes lenne e-mailt küldenem.

OFF
A teljes önleírás Turing gépnél nem lehetséges. Nem emlékszem, kinek a nevéhez fűződik (talán Turing?), de van egy olyan tétel, miszerint egyetlen Turing gép sem tudja kiszámítani saját jövendőbeli állapotait (a triviális esetet leszámítva, mármint hogy kivárja, mi lesz). (Emiatt az az érdekes dolog is előáll, hogy egy kellően komplex Turing gép is abban a hitben fogja ringatni magát, hogy szabad akarata van -- ld. szabad akarat fenomenológiája). Szóval szerintem a probléma mondvacsinált, olyan, mint a mindenható paradoxona (ha tud akkora követ teremteni, amit nem tud felemelni, akkor ugyebár azért nem mindenható, ha meg nem tud, akkor azért). Lényegében ilyenkor illegális önreferencia esete forog fenn: ugyebár a követ, aminek a teremtésére való képességről szó van, azzal definiáljuk, mire képes, ez pedig circulus vitiosus. Nagyon hasonlít a hazug paradoxonához, ott is ilyen önreferenciáról van szó, emiatt egyszerűen a mondatban szereplő fogalmak valójában nem jól definiáltak.
ON