--- [EMAIL PROTECTED] wrote:
Lisp ile ilgili olarak birsey diyemeyecegim: bana hepsi benzer geliyor :). Tabii eli programlamaya daha alisik arkadaslarin fikirleri daha degerli olacaktir... > Bu noktada biraz yanılıyorsunuz gibime geliyor. > Daha önceden Gödel'in tamsızlık teoreminin ana > adımlarını gördüÄünüze emin misiniz? Ben ispatini degil, onermeyi kasdetmistim. Mantikcilarin terminolojisine yabanci oldugum icin baslangicta ayni kelimeler bana farkli seyler ifade ediyordu, o yuzden once terminoloji verildiginde sonuc (ispat degil) bana normal geldi, sasirtici degildi: ama belki bu aldigimiz egitim, yasadigimiz cagla ilgili. Godel'in yillarinda Hilbert'in meshur projesi ve yuksek beklentiler goz onune alindiginda, o zamanlar icin sadece ispat degil, sonuc ta cok sasirtici olabilir demek istedim. Ispati cok kolay degil tabii ki. Su anda "eminim" diyecek kadar hicbir seyden emin degilim :). > Ãzellikle olayın koptuÄu nokta, yani Gödel'in > Jules Richard'ın "Richard Paradox'u"nu > kullandıÄı noktaya bakmanızı öneririm. Eminim > bir kere baktıktan sonra, anlayana kadar tekrar > tekrar bakacaksınız. Ve bir kez anladıktan sonra, > "Tamam anladım artık." deyip arkanıza > yaslandıÄınızda anladıÄınız Åeyi nasıl > anladıÄınızı unuttuÄunuzu fark edeceksiniz. > Neden mi bu kadar eminim? Gödel'in 2 tamsızlık > teoremini de Ä°.T.Ã. Mat. Müh.'te seminer ile > aralarında iki hocanın da bulunduÄu 4-5 kiÅiye > anlatmaya çalıÅmıÅtım da oradan biliyorum. > Eminim odadan çıkana kadar herkes anlamıÅtı. :) > > > Ä°yi çalıÅmalar. > "farkli ispatlar" dedigimde sunu kasdetmistim: Kitabin 1. sayfasinda :), yazar diyor ki: "... Godel, 1931, carried out his original proof for axiomatic set theory, but the method is equally applicable to axiomatic number theory. The incompleteness of axiomatic number theory is actually a stronger result since it easily yields the incompleteness of axiomatic set theory. <Godel'den alinti...atliyorum> Godel then goes on to explain that the situation does not depend on the special nature of the two systems under consideration but holds for an extensive class of mathematical systems. @@@@(Burasi onemli ve benim kasdettigim farkli ispatlara iliskin) Just what is this "extensive class" of mathematical systems? Various interpretations of this phrase have been given, and Godel's theorem has accordingly been generalized in several ways. ***We will consider many such generalizations in the course of this volume.*** Curiously enough, one of the generalizations that is most direct and most easily accessible to the general reader is also the one that appears to be the least well known. What makes this particularly curious is that the way in question is the very one indicated by Godel himself in the introductory section of his original paper!" Benim kasdettigim yazarin bu sozuydu. Umarim dogru soyluyordur, henuz sahitlik yapacak kadar okumadim :). Tesekkurler ve size de iyi calismalar, Nusret __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com _______________________________________________ cs-lisp mailing list [email protected] http://church.cs.bilgi.edu.tr/lcg http://cs.bilgi.edu.tr/mailman/listinfo/cs-lisp
