---- nusret <[EMAIL PROTECTED]> demiş 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!"
Onu bunu bilmem hocam. Biz kitap bittiğinde şöyle zihinsel iştah kabartacak cinsten bir özet/açıklama bekliyoruz. :-) İyi çalışmalar. _______________________________________________ cs-lisp mailing list [email protected] http://church.cs.bilgi.edu.tr/lcg http://cs.bilgi.edu.tr/mailman/listinfo/cs-lisp
