Msn'de Tanned Unicorn diye aratinca direk cikiyorum. Ne mutlu ne mutlu!

Bir taraftan da (inanilmaz) ama calisiyorum. EMTSlerimin simulasyon bagintisi gecissel(transitive) degil. Neden degil? Cunku ayni hareketlerin bulundugu sonsuz sira(run??)lar bazen engelleniyor bazen engellenmiyor. Boylece ayni halin(state) ayni sonsuz hareketi hem var hem yok. Bu "celiski" nerede basliyor? Bugun bunu arastiriyorum. (bkz. Ben arastirmaci oldum :P)

Ilk anda secim "+" operatoru(kasini gozunu yaraaa yaraaa) .. Ama cok daha temelde olusumu var bunun. Kesinlikle sabit nokta(fixpoint)lardan geliyor sorun. Zaten sabit nokta olmadi mi sonsuz sira sadece dogru halini sirasi... Onemsiz. Maximal model olusturan fonksiyoncugum, eger ki iki EMTS i bir araya getiriyor ise ve bunlar celiskisiz haller iceriyor ise, celiskisiz bir sonuc doguruyor (tabi sabit noktalar icin konusmuyoruz).

Tabi ki sadece "nu", en buyuk sabit nokta gerektiginde sorun yok. Cunku mumkun olan tum sonsuz siralara izin var zaten. Ama eger en kucuk sabit nokta pesindeysek isler karisiyor. (Daha burada karisiyor gibi, yani bir sonraki sabit noktaya cikmaya gerek yok) Karismasinin sebebi de bir halin iki farkli yere/yola gidebilmesi ayni hareketi yaparak. Zaten Dilian yillardir bana bu problematik diyordu da.. Yapilabilecek bir sey yok. Sadece anlamaya calisabiliriz. (Insanin kendi yarattigi bi seyi Allah vergisi gibi kabullenmesi ve bi de anlamaya calismasi cok komik aslinda...Ama CS boyle bir sey zaten)

Simdi burada takildim ben efendim. VE gunun 3. kahvesine gecesim var. Sonra daha cok yazasim var. Kahvekolik yanina blogkolik de olacagim bir sey degil...