Gödel'in eksiklik teoremi sadece kendine atıf yapan tam deyimler için mi geçerlidir?

Question

2

Gödel'in eksiklik teoremi sadece kendine atıf yapan tam deyimler için mi geçerlidir?

Kendine atıf yapmayan tam deyimler eksiklik teoreminin kapsamı dışında değerlendirilebilir mi? Yoksa tutarlılığın sağlandığı her durumda kaçınılmaz olarak mevcut mudur?

6K

Abdulkadir Karadöngel

6 ay önce

Teşekkür (1)

Hatırla

Takip

1 Cevap

Cevap Ver

Bu soruya cevap vermek için lütfen

Evrim Ağacı Soru & Cevap Platformu, Türkiye'deki bilimseverler tarafından kolektif ve öz denetime dayalı bir şekilde sürdürülen, özgür bir ortamdır. Evrim Ağacı tarafından yayınlanan makalelerin aksine, bu platforma girilen soru ve cevapların içeriği veya gerçek/doğru olup olmadıkları Evrim Ağacı yönetimi tarafından denetlenmemektedir. Evrim Ağacı, bu platformda yayınlanan cevapları herhangi bir şekilde desteklememekte veya doğruluğunu garanti etmemektedir. Doğru olmadığını düşündüğünüz cevapları, size sunulan denetim araçlarıyla işaretleyebilir, daha doğru olan cevapları kaynaklarıyla girebilir ve oylama araçlarıyla platformun daha güvenilir bir ortama evrimleşmesine katkı sağlayabilirsiniz.

Sorulara Dön

İlginizi Çekebilecek Sorular

Daha Fazla Göster

|

Soru Sor

Bora Menderes , Meraklı Bir Lise Öğrencisi · Answer 1 · 2020-07-16 14:37:50

Kendine atıf yapmayan deyimler ile ne demek istediğini anlayamadım. Eksiklik Teoremi, bize; şu anki aksiyomatik sistemlerimizin tutarlı olup olmadıkları hakkında bir şey söyleyemeyeceğimizi söyler. Mesela, Geometrik aksiyomların ve reel sayı aksiyomlarının çeliştiğini veya tutarlı olduklarını kanıtlayamazsın.

Gödel'in eksiklik teoremi sadece kendine atıf yapan tam deyimler için mi geçerlidir?

İlginizi Çekebilecek Sorular

Bize Ulaşın