Ümit TAŞTAN

Gödel'in Tamamlanamazlık Teoremleri Bakımından Biçimsel Dillerde İspatlanabilirlik-Doğruluk İlişkisi

The Provability-Truth Relation in Formal Languages in Terms of Gödel's Incompleteness Theorems

MetaZihin: Yapay Zeka ve Zihin Felsefesi Dergisi

2022-Cilt: 5 - Sayı: 1

41-66

matematiksel paradoks, Gödel, Hilbert, doğruluk, karar verilemezlik, biçimselcilik, tamamlanamazlık teoremleri, ispat edilebilirlik

mathematical paradox, Gödel, Hilbert, truth, undecidability, formalism, incompleteness theorems, provability

4622