Бессонов, А. В. Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. ) . - ISSN 1560-7488
Рубрики: Логика Математика Математическая логика Общие вопросы логики Кл.слова (ненормированные): вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча. Доп.точки доступа: Хлебалин, А. В.; Целищев, В. В.; Черч, А. (американский логик и математик) |
Бессонов, А. В. Семантика вероятностных прогнозов [Текст] / А. В. Бессонов, К. Ф. Самохвалов // Философия науки. - 2010. - N 4. - С. 68-74 . - ISSN 1560-7488
Рубрики: Философия Метафизика. Онтология Кл.слова (ненормированные): верификация -- фальсификация -- безответственные прогнозы -- типы прогнозов -- ответственные прогнозы -- вероятностные прогнозы Аннотация: В статье дается критический анализ понятия "вероятностный прогноз". Доп.точки доступа: Самохвалов, К. Ф. Нет сведений об экземплярах (Источник в БД не найден) |
Бессонов, А. В. О двух неверных догмах, связанных со второй теоремой Гёделя о неполноте арифметики [Текст]. Ч. I / А. В. Бессонов // Философия науки. - 2014. - № 4. - С. 12-31. - Библиогр.: с. 31 (24 назв. ) . - ISSN 1560-7488
Рубрики: Философия Философия науки Математика Теория чисел Кл.слова (ненормированные): Геделя теорема -- арифметика -- неадекватность предиката доказуемости -- предикат недоказуемости -- теорема Геделя Аннотация: Показано, что гёделево доказательство второй теоремы о неполноте формальной арифметики зависит от избранного им предиката доказуемости. С использованием предиката недоказуемости строятся контрпримеры ко второй теореме, из чего следует, что в общем случае вывод второй теоремы не является верным. Доп.точки доступа: Гёдель, К. (австрийский математик ; 1906-1978) Нет сведений об экземплярах (Источник в БД не найден) |
Бессонов, А. В. О двух неверных догмах, связанных со второй теоремой Гёделя о неполноте арифметики [Текст]. Ч. 2 / А. В. Бессонов // Философия науки. - 2016. - № 2. - С. 42-61. - Библиогр.: с. 61 (22 назв. ). - Продолж. Начало: N 4, 2014 . - ISSN 1560-7488
Рубрики: Философия Философия науки Математика Теория чисел Кл.слова (ненормированные): Гёделя теорема -- арифметика -- неадекватность предиката доказуемости -- предикат недоказуемости -- теорема Гёделя Аннотация: Рассматривается аргументация против реализуемости выдвинутой Д. Гильбертом программы финитного обоснования математики, основанная на второй теореме К. Гёделя о неполноте арифметики. Показывается, что такая аргументация изначально некорректна, поскольку она необходимо приводит к абсурдным выводам. Тем самым опровергается общепринятое положение, согласно которому вторая теорема служит решающим аргументом в доказательстве несостоятельности гильбертовской программы. Доп.точки доступа: Гёдель, К. (австрийский математик ; 1906-1978); Гильберт, Д. (1862-1943) Нет сведений об экземплярах (Источник в БД не найден) |
Целищев, В. В. Подстановочная квантификация в базовой логике и онтологические допущения в формальных математических теориях [Текст] / В. В. Целищев, А. В. Бессонов // Философия науки. - 2016. - № 3. - С. 32-48. - Библиогр.: с. 47-48 (24 назв. ) . - ISSN 1560-7488
Рубрики: Философия Общие вопросы философии Логика Логический синтаксис и логическая семантика Кл.слова (ненормированные): истина -- квантификация -- объектная квантификация -- онтологические допущения -- подстановочная квантификация -- семантика -- числовые знаки Аннотация: Рассматриваются проблемы семантики для постановочной квантификации в сопоставлении с объектной квантификацией, а также сопутствующие онтологические допущения теорий. Анализируются три затруднения с подстановочной квантификацией, а именно, аргумент о недостаточности имен, аргумент об избыточности числовых знаков, аргумент о непоименованных объектах. Доп.точки доступа: Бессонов, А. В. Нет сведений об экземплярах (Источник в БД не найден) |
Ловецкий, Г. И. А. Л. Чижевский и Э. Шредингер: что такое жизнь? [Текст] / Г. И. Ловецкий, О. А. Падалка // Философия науки. - 2016. - № 3. - С. 96-115. - Библиогр.: с. 113-115 (22 назв. ) . - ISSN 1560-7488
Рубрики: Философия Метафизика. Онтология Общенаучные и междисциплинарные знания Общие вопросы естественных и точных наук Кл.слова (ненормированные): динамические процессы космоса -- живая клетка -- жизнь -- зарождения жизни -- космос -- физики -- философы -- эволюция идеи -- электронная теория -- энтропия Аннотация: Идеи А. Л. Чижевского и Э. Шредингера о возникновении и развитии жизни заложили фундамент современных научных представлений по этому вопросу. Разработка данной проблематики на стыке естественно-научного и философского направлений позволяет рассматривать упомянутые идеи в контексте актуальных теорий метафизики, а также допускает возможность универсализации представлений о динамических процессах в космосе и в живой клетке. Доп.точки доступа: Бессонов, А. В.; Чижевский, Александр Леонидович (философ); Шредингер, Э. (физик) Нет сведений об экземплярах (Источник в БД не найден) |
Целищев, В. В. Является ли теорема Гудстейна геделевым предложением? [Текст] / В. В. Целищев, А. В. Бессонов // Философия науки. - 2017. - № 2. - С. 21-35. - Библиогр.: с. 33-35 (15 назв. ) . - ISSN 1560-7488
Рубрики: Математика Теория чисел Кл.слова (ненормированные): Гудстейна теорема -- Исааксона тезис -- геделево предложение -- тезис Исааксона -- теорема Гудстейна -- формальная арифметика Аннотация: Рассматривается вопрос, в какой степени теорема Гудстейна может считаться аналогом истинного, но недоказуемого геделевого предложения. Показано, что такая трактовка подводит к тезису Исааксона, согласно которому демонстрация истинности реальных математических аналогов геделева предложения в формальном языке арифметики использует концептуальные ресурсы, выходящие за пределы ресурсов, требуемых для понимания базисной арифметики конечных натуральных чисел. Правдоподобность тезиса оспаривается с точки зрения непостижимости арифметического содержания геделева предложения. Доп.точки доступа: Бессонов, А. В. Нет сведений об экземплярах (Источник в БД не найден) |
Бессонов, А. В. Теорема Гёделя о неполноте арифметики и аксиома полноты [Текст] / А. В. Бессонов // Философия науки. - 2019. - № 2. - С. 25-34. - Библиогр.: с. 34 (11 назв. ) . - ISSN 1560-7488
Рубрики: Математика Теория чисел Кл.слова (ненормированные): Гёделя теорема о неполноте -- Дедекинда - Пеано арифметика -- аксиома полноты -- арифметика -- арифметика Дедекинда - Пеано -- непротиворечивость -- неразрешимость -- предикат доказуемости -- предикат разрешимости -- теорема Гёделя о неполноте -- формальная арифметика Аннотация: Теорема К. Гёделя о неполноте формальной арифметики Дедекинда - Пеано оценивается с точки зрения различных негёделевых средств формализации (не) доказуемости. Вводится предикат разрешимости, с использованием которого строится формула, формально выражающая полноту арифметики, и доказывается ее неразрешимость. Отсюда следует, что присоединение к формальной арифметике аксиомы ее полноты приводит к непротиворечивой системе, что в некотором смысле противоречит первой теореме Геделя о неполноте. Нет сведений об экземплярах (Источник в БД не найден) |