Целищев, В. В. Является ли теорема Гудстейна геделевым предложением? [Текст] / В. В. Целищев, А. В. Бессонов // Философия науки. - 2017. - № 2. - С. 21-35. - Библиогр.: с. 33-35 (15 назв. ) . - ISSN 1560-7488
Рубрики: Математика Теория чисел Кл.слова (ненормированные): Гудстейна теорема -- Исааксона тезис -- геделево предложение -- тезис Исааксона -- теорема Гудстейна -- формальная арифметика Аннотация: Рассматривается вопрос, в какой степени теорема Гудстейна может считаться аналогом истинного, но недоказуемого геделевого предложения. Показано, что такая трактовка подводит к тезису Исааксона, согласно которому демонстрация истинности реальных математических аналогов геделева предложения в формальном языке арифметики использует концептуальные ресурсы, выходящие за пределы ресурсов, требуемых для понимания базисной арифметики конечных натуральных чисел. Правдоподобность тезиса оспаривается с точки зрения непостижимости арифметического содержания геделева предложения. Доп.точки доступа: Бессонов, А. В. Нет сведений об экземплярах (Источник в БД не найден) |