Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
450 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 (46 puan) tarafından  | 450 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.
19,053 soru
20,990 cevap
69,565 yorum
22,778 kullanıcı