Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
284 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  | 284 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,706 soru
20,904 cevap
68,468 yorum
20,768 kullanıcı