>>>>> "ZK" == Zekeriya KOÇ <[EMAIL PROTECTED]> writes:
ZK> Henüz bulmacanın çözümünün verildiği bölüme gelmedim ama daha
ZK> önceki okumamdan hatırladığım kadarıyla "MU" teorami "MIU"
ZK> dizgesi içinde ispatlanamaz (türetilemez) şeklinde bir sonuç
ZK> çıkıyordu.Zaten bunu yazmamdaki sebep sadece Lisp kodlamak
ZK> için küçük bir bahane teşkil etmesiydi benim için. "Maksat
ZK> ayağınız alışsın" (burada "eliniz") deyimindeki gibi.
Belki bundan sonraki adiminiz o kurallari kullanip olasi dizileri üreten ve
sonuca varilip varilmadigini kontrol edebir döngü olmali. Sistemi
test etmek icin bir de bir teorem verirseniz, yani o sistem
icinde ispati mevcut olan bir sey, o zaman kuracaginiz döngünün
dogru calisip calismadigini da test etmeye baslayabilirsiniz.
--
Emre Sevinc
eMBA Software Developer Actively engaged in:
http://emba.bilgi.edu.tr http://ileriseviye.org
http://www.bilgi.edu.tr http://fazlamesai.net
Cognitive Science Student http://cazci.com
http://www.cogsci.boun.edu.tr
_______________________________________________
cs-lisp mailing list
[email protected]
http://church.cs.bilgi.edu.tr/lcg
http://cs.bilgi.edu.tr/mailman/listinfo/cs-lisp
