Open AccessThe Provability-Truth Relation in Formal Languages in Terms of Gödel's Incompleteness Theorems
Author(s) -
Ümit TAŞTAN
Publication year - 2022
Publication title -
metazihin: yapay zeka ve zihin felsefesi dergisi :
Language(s) - English
Resource type - Journals
ISSN - 2651-2963
DOI - 10.51404/metazihin.1053120
Subject(s) - mathematics , humanities , combinatorics , philosophy