Henüz bulmacanın çözümünün verildiği bölüme gelmedim ama daha önceki okumamdan hatırladığım kadarıyla "MU" teorami "MIU" dizgesi içinde ispatlanamaz (türetilemez) şeklinde bir sonuç çıkıyordu.Zaten bunu yazmamdaki sebep sadece Lisp kodlamak için küçük bir bahane teşkil etmesiydi benim için. "Maksat ayağınız alışsın" (burada "eliniz") deyimindeki gibi.
Bir de AIMA'yi yazan Lisp programcisinin yazdigi PAIP kitabi da güzeldir bu baglamda, hatta Debian icin filan o kitaptaki kaynak kodlarin paketlenmis hali de var (AIMA icin de var), baska yerden de cekilebilir:
http://packages.debian.org/cgi-bin/search_packages.pl?keywords=paip&searchon=names&subword=1&version=all&release=all http://packages.debian.org/cgi-bin/search_packages.pl?keywords=aima&searchon=names&subword=1&version=all&release=all Bunlar gercekten okumasi zevkli ve egitici kodlardir. -- Emre Sevinç eMBA Yazılım Geliştirme İstanbul Bilgi Üniversitesi _______________________________________________ cs-lisp mailing list cs-lisp@cs.bilgi.edu.tr http://church.cs.bilgi.edu.tr/lcg http://cs.bilgi.edu.tr/mailman/listinfo/cs-lisp
