- История аналитической философии
- Системная аналитика
- Эпистемология
- Аналитическая методология
- Логика
- Философия языка
- Философия сознания
- Практическая философия
- Новейшие исследования
- Обсуждения
- Берестов И. В. (2)
- Борисов Е. В. (2)
- Грязнов А. Ф. (1)
- Касавин И. Т. (1)
- Айер А. (1)
- Армстронг Д. (1)
- Артамонова Ю.Д. (1)
- Баджини Дж. (1)
- Бакер-Хитч М. (1)
- Бенацерраф П. (1)
- Березин С.Н. (1)
- Бессонов А.В. (2)
- Блохина H.A (1)
- Блэкберн С. (2)
- Боррадори Д. (12)
- Бутаков П.А. (1)
- Вайсман Ф. (0)
- Васильев В.В. (5)
- Витгенштейн Л. (0)
- Волков Д.Б. (1)
- Волосков P.A. (1)
- Вольф М.Н. (2)
- Воронков Г. С. (1)
- Воронов Н. А. (1)
- Галисон П. (0)
- Гарднер М. (1)
- Гаспарян Д. Э. (1)
- Геттиер Э. (1)
- Голдстейн Л. (1)
- Головко Н.В. (1)
- Гончаров В.В., (1)
- Горбатов В.В. (1)
- Давыдов В.В. (1)
- Даммит М. (1)
- Данто А. С. (1)
- Девидсон Д. (5)
- Деннет Д. (2)
- Джеффрис Ст. (1)
- Джохадзе И. Д. (1)
- Докучаев И. И. (1)
- Доманов О.А. (1)
- Дрейфус X. (1)
- Дрейфус С. (1)
- Дуденкова И.В. (1)
- Дэниелс Э. (1)
- Заславская Е.А. (3)
- Золкин А.Л. (1)
- Иванов Д.В. (2)
- Иванов Е.М. (1)
- Каган Е.В. (1)
- Капитонова Т.А. (1)
- Карнап Р. (1)
- Катречко С.Л. (1)
- Кейн Дж.А. (1)
- Клюева Н.Ю. (1)
- Козлова М. С. (0)
- Козырева О. А. (1)
- Колесников А. С. (7)
- Косилова Е.В. (1)
- Костикова A.A. (1)
- Кочергин А.Н. (1)
- Кричевец А.Н. (1)
- Куайн У. (2)
- Кузнецов А.В. (1)
- Кун Т. (1)
- Кюнг Г. (1)
- Ладов В. А. (6)
- Ламберов Л.Д. (2)
- Майданский А.Д. (1)
- Макеева Л. Б. (2)
- Макинтайер А. (2)
- Маккинси M. (1)
- Мальком Н. (1)
- Мамченков Д.В. (1)
- Марасов А.Н. (1)
- Мареева Е.В. (1)
- Мартынова С. А. (2)
- Миллер Л. (1)
- Монастерски Р. (0)
- Московец С. А. (1)
- Мур Д. (2)
- Нагуманова С.Ф. (1)
- Невважай И.Д, (1)
- Никитина Е.А. (1)
- Никифоров А. Л. (1)
- Никоненко С. В. (23)
- Нозик Р. (1)
- Окуловский Ю.С. (1)
- Остин Дж. (2)
- Ощепков И. В. (1)
- Патнем Х. (5)
- Поппер К. (0)
- Райерсон Дж. (1)
- Райл Г. (1)
- Рамсей Ф. (1)
- Распаров И.Т. (1)
- Рассел Б. (2)
- Решер Н. (1)
- Роджерс Б. (0)
- Ролз Дж. (0)
- Романов П.Е. (1)
- Рорти Р. (4)
- Руднев В. П. (1)
- Русаков Ю.А. (1)
- С. Кейвл (1)
- Саббаг К. (0)
- Санженаков А.А. (2)
- Сапрыгин Б.В. (1)
- Сёрл Д. (2)
- Сёрл Дж. (0)
- Смирнова Е. Д. (1)
- Сокулер З. А. (1)
- Страуд Д. (1)
- Стросон П. (1)
- Суровцев В.А. (3)
- Тарасов И.П. (1)
- Тарский А. (1)
- Тейт У. (0)
- Фодор Д. (1)
- Франклин Дж. (2)
- Фролов К. Г. (1)
- Хакинг И. (2)
- Хинтикка Я. (1)
- Хинтикка.Я. (1)
- Холдейн Д. (1)
- Холт Дж. (0)
- Целищев В.В. (11)
- Чалый В.А. (2)
- Черняк А. З. (1)
- Чизолм Р. (1)
- Чихара Ч. (1)
- Шаров К.С. (1)
- Шиповалова Л. В. (1)
- Шлик М. (2)
- Шохин В.К. (2)
- Эдвардс П. (1)
- Юлина Н. С. (1)
- Юнг К. (0)
- Яковлев В.А. (1)
- #“Русский путь” в аналитической философии
- #Аналитическая теология
- #Аналитический метод
- #Когнитивные науки и ИИ
- #Критика
- #Междисциплинарные подходы
- #Метафизика в аналитической традиции
- #Постмодернистский контекст
- #Прагматизм и неопрагматизм
- #Философия религии и теология
- #Этическая и моральная философия
Теоремы Гёделя не дезавуируют программу Гильберта
Ключевые слова
ПРОГРАММА ГИЛЬБЕРТА / ТЕЗИС ФОН НЕЙМАНА / ВТОРАЯ ТЕОРЕМА ГЁДЕЛЯ О НЕПОЛНОТЕ / ПЕРВАЯ ТЕОРЕМА ГЁДЕЛЯ О НЕПОЛНОТЕ / ФИНИТНОЕ ДОКАЗАТЕЛЬСТВО / HILBERT'S PROGRAM / VON NEUMANN’S THESIS / GODEL''S SECOND INCOMPLETENESS THEOREM / GODEL''S FIRST INCOMPLETENESS THEOREM / FINITARY PROOF
Аннотация
Рассматривается аргументация против реализуемости выдвинутой Д. Гильбертом программы финитного обоснования математики, основанная на теоремах К Гёделя о неполноте арифметики. Показывается, что подобная аргументация, базирующаяся на второй теореме о неполноте, изначально некорректна, поскольку она приводит к абсурдным выводам. Обосновывается невозможность финитного доказательства первой теоремы о неполноте, из чего следует нелигитимность основанной на этой теореме аргументации против гильбертовской программы. В результате опровергается хрестоматийное положение, согласно которому теоремы. Гёделя о неполноте служат решающими аргументами в доказательстве несостоятельности программы финитного обосн.ования математики
Скачать
Начало | Пред. | 1 2 3 4 5 | След. | Конец