>>>>> "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
[email protected]
http://church.cs.bilgi.edu.tr/lcg
http://cs.bilgi.edu.tr/mailman/listinfo/cs-lisp
