К интерпретации теорем Геделя о неполноте арифметики

К интерпретации теорем Геделя о неполноте арифметики

Опровергается общепринятое универсальное ограничительное истолкование знаменитых теорем К. Гёделя о неполноте арифметики. Приводятся контрпримеры ко второй теореме, показывается ограниченность используемых Гёделем выразительных средств. В рамках гёделева подхода доказывается третья теорема о неп...

Полное описание

Библиографическая информация
Опубликовано в: :	Вестник Томского государственного университета. Философия. Социология. Политология № 4. С. 177-189
Главный автор:	Бессонов, Александр Владимирович
Формат:	Статья в журнале
Язык:	Russian
Предметы:	философия математики философская критика Геделя теоремы о неполноте статьи в журналах
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001001557 Перейти в каталог НБ ТГУ

Похожие документы

Витгентшейн против Гёделя: доказанность и доказуемость
по: Родин, Кирилл Александрович

Вокруг теоремы Геделя
по: Подниекс, Карлис Мартынович 1948-
Публикация: (1992)

Теорема Геделя о неполноте
по: Успенский, Владимир Андреевич 1930-2018
Публикация: (1982)

Теорема Гёделя
по: Нагель, Эрнест 1901-1985
Публикация: (2011)

Конструктивизм в логике и математике (Витгенштейн против Геделя: некоторые современные прочтения)
по: Родин, Кирилл Александрович

Интенсиональность Второй теоремы Геделя о неполноте
по: Целищев, Виталий Валентинович

История математики. Эволюция математических идей [в 3 кн.]
по: Серовайский, Семен Яковлевич
Публикация: (2019)

Теоремы Геделя не дезавуируют программу Гильберта
по: Бессонов, Александр Владимирович

Дядя Петрос и проблема Гольдбаха математико-художественный мировой бестселлер
по: Доксиадис, Апостолос 1953-
Публикация: (2018)

Введение в математическую логику учебное пособие : [для студентов математических направлений университетов]
по: Зюзьков, Валентин Михайлович
Публикация: (2017)

Мозг, машина и математика
по: Арбиб, Майкл А
Публикация: (1968)

Курс математической логики и теории вычислимости учебное пособие
по: Герасимов, Александр Сергеевич
Публикация: (2011)

Математика XX века. Взгляд из Петербурга [сборник]
Публикация: (2010)

Логические и математические исчисления учебное пособие
по: Шиханович, Юрий Александрович
Публикация: (2011)

Индуктивный метод самоорганизации моделей сложных систем
по: Ивахненко, Алексей Григорьевич
Публикация: (1982)

Истинность неразрешимых предложений в свете Первой теоремы Геделя о неполноте
по: Целищев, Виталий Валентинович

Математическая логика учебное пособие
по: Ершов, Юрий Леонидович 1940-
Публикация: (2004)

Основания математики теория доказательств
по: Гильберт, Давид 1862-1943
Публикация: (1982)

Математическая логика дополнительные главы : [учебное пособие для студентов математических специальностей вузов]
по: Колмогоров, Андрей Николаевич 1903-1987
Публикация: (2013)

Теория алгоритмов [учебное пособие для студентов математических направлений и специальностей университетов]
по: Зюзьков, Валентин Михайлович
Публикация: (2005)

Понятие доказательства в контексте теоретико-типового подхода, II: доказательства теорем
по: Ламберов, Лев Дмитриевич

Математическая логика и теория алгоритмов учебник : [по направлениям 654600 "Информатика и вычислительная техника", 654700 "Информационные системы", 540200 "Физико-математическое образование"]
по: Судоплатов, Сергей Владимирович
Публикация: (2004)

Сон разума. Математическая логика и ее парадоксы
по: Фресан, Хавьер
Публикация: (2014)

Усиление теорем искажения
по: Бер, Людмила Михайловна

Экстро В поисках недоказуемых формул
по: Шулев, Александр Александрович
Публикация: (1993)

Теория алгоритмов [учебное пособие для студентов математических направлений и специальностей университетов]
по: Зюзьков, Валентин Михайлович
Публикация: (2009)

Введение в метаматематику
по: Клини, Стивен Коул 1909-1994
Публикация: (2009)

Обобщение некоторых теорем математического анализа
по: Пешкичев, Юрий Афанасьевич

Вероятностные приложения тауберовых теорем
по: Якымив, Арсен Любомирович
Публикация: (2005)

Теория алгоритмов учебное пособие : [для вузов по специальности 050201.65 - математика]
по: Игошин, Владимир Иванович
Публикация: (2014)

Теория алгоритмов учебное пособие : [для вузов по специальности 050201.65 - математика]
по: Игошин, Владимир Иванович
Публикация: (2015)

Курс математической логики и теории вычислимости учебное пособие : [для студентов по направлению подготовки "Компьютерные и информационные науки", "Информатика и вычислительная техника" и др.]
по: Герасимов, Александр Сергеевич
Публикация: (2014)

Витгенштейн и результат Геделя: логико-философские предпосылки в философии математики
по: Хлебалин, Александр Валерьевич

История арифметики: пособие для учителей/
по: Депман, И. Я. Иван Яковлевич
Публикация: (1965)

Моим критикам защита книги "Основные вопросы философии истории"
по: Кареев, Николай Иванович 1850-1931
Публикация: (1884)

Алгоритмы вывода теорем метода векторных функций Ляпунова
Публикация: (1981)

Комплексные доказательства вещественных теорем
по: Лакс, Питер Дэвид
Публикация: (2022)

Математическая логика учебное пособие : [для студентов вузов по направлению подготовки 44.03.05 "Педагогическое образование" (бакалавриат)]
по: Игошин, Владимир Иванович
Публикация: (2016)

К лекционному минимуму по дифференциальным уравнениям в курсе математического анализа
по: Куфарев, Борис Павлович 1938-2004

Лекции по математике [учебное пособие]
по: Босс, Валерий 1944-2018
Публикация: (2017)