Intentionality of Mathematical Discourse and Löb’s Theorem
Submitted by Гость (not verified) on Wed, 09/04/2024 - 23:54The 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 theorem, as well as the fact of the intensionality of the latter, the problem of demonstrating the intensionality of Löb’s theorem is formulated. It is shown that this intentionality has an implicit character, explained by the “weirdness” (as expressed by G. Boolos) of this theorem.