Vitaly V. Tselishchev

Intentionality of Mathematical Discourse and Löb’s Theorem

2019 · Siberian Journal of Philosophy

The article deals with the problem of the intensionality of mathematical discourse in the light of the theorem of Löb. Proceeding from the fact of equivalence of the Löb theorem and the Second Gödel incompleteness …