Интенсиональность математического дискурса и теорема Лёба
Опубликовано ср, 09/04/2024 - 23:54 пользователем Гость (не проверено)Рассмотрена проблема интенсиональности математического дискурса в свете теоремы Лёба. Исходя из факта эквивалентности теоремы Лёба и Второй теоремы о неполноте Гёделя, а также факта интенсиональности последней, формулируется проблема демонстрации интенсиональности теоремы Лёба. Показано, что эта интенсиональность имеет неявный характер, объясняемый «странностями» (по выражению Булоса) этой теоремы.