>>>>> "VY" == Volkan YAZICI <[EMAIL PROTECTED]> writes:
VY> Ayrıca ufak bir soru sormak istiyorum. Sonuç itibari ile bu VY> program hiçbir zaman sonuca ulaşamayacak. (Umarım amacınızı VY> yanlış anlamamışmdır.) Bunun yerine Gödel'in Tamsızlık VY> teoremini (akabinde Richard Paradoxu'nu) Lisp'e aktararak, VY> verilen başlangıç değerleri içinde böyle bir aksiyomatik VY> sistemin çözülemeyeceğini Lisp'in göstermesini sağlamak daha VY> şık olmaz mı? Keyfi bir aritmetik önermenin Gödel sayisini hesaplayan ve bunu 10luk tabanda acik olarak basan Lisp fonksiyonunu görmek isterdim. Güzel bir hafiza testi olurdu ;-) "I see big numbers..." -- 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 cs-lisp@cs.bilgi.edu.tr http://church.cs.bilgi.edu.tr/lcg http://cs.bilgi.edu.tr/mailman/listinfo/cs-lisp