Martin Löb's Theorem in Philosophical Interpretation
Read

Martin Löb's Theorem in Philosophical Interpretation

by vasildinev

1 Васил Пенчев1 ТЕОРЕМАТА НА МАРТИН ЛЬОБ ВЪВ ФИЛОСОФСКА ИНТЕРПРЕТАЦИЯ Abstract: A necessary and sufficient condition that a given proposition to be provable in such a theory that allows to be assigned to the proposition a Gödel number for containing Peano... More

Read the publication