Рассмотрена проблема интенсиональности математического дискурса в свете теоремы Лёба. Исходя из факта эквивалентности теоремы Лёба и Второй теоремы о неполноте Гёделя, а также факта интенсиональности последней, формулируется проблема демонстрации интенсиональности теоремы Лёба. Показано, что эта интенсиональность имеет неявный характер, объясняемый «странностями» (по выражению Булоса) этой теоремы.
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 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.
The authors declare that there are no conflicts of interest present.