Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
285 kez görüntülendi
İyi akşamlar değerli hocalar.

Kurt Gödel eksiklik teoreminin ispatı nasıl yapılır?

Şimdiden teşekkür ederim
Akademik Matematik kategorisinde (31 puan) tarafından  | 285 kez görüntülendi

Burada teorem ve ispatın özeti var.

Teşekkür ederim Doğan Hocam

1 cevap

3 beğenilme 0 beğenilmeme

Şuradaki YouTube yayınında Gödel'in teoreminin bir özet kanıtı (teoremle ilgili diğer tartışmalarla beraber) sunuluyor.

Ders kitabı olarak Leary ve Kristiansen'in lisans seviyesindeki A Friendly Introduction to Mathematical Logic kitabında kanıtı bulabilirsiniz. (Tabii ders kitabı olduğu için kanıtı anlayabilmek için kitabın ilgili bölümlerini okuyup ilerlemeniz gerekiyor.) Moschovakis'in şurada bulunan ders notlarında da teoremin kanıtı mevcut. Eğer bunlar dışında lisans üstü seviyede daha teknik kaynaklar arıyorsanız da, Hajek ve Pudlak'ın Metamathematics of First-Order Arithmetic kitabına ya da Shoenfield'ın Mathematical Logic bakabilirsiniz.

Türkçe kaynaklar içinde de Ahmet Çevik'in Matematik Felsefesi ve Matematiksel Mantık kitabında bir kanıt olması lazım.

(1.3k puan) tarafından 
Cevabınız için çok teşekkür ederim.
18,707 soru
20,904 cevap
68,470 yorum
20,768 kullanıcı