РУАЭСТ (RUAEST)
Облако ключевых слов*
- "неполнота"
- "решающий аргумент"
- "теорема"
- "абсурдные выводы"
- "программа гильберта"
- "гильбертовский"
- "арифметика"
- "предикат недоказуемости"
- "философия науки"
- "гильберт программы"
- "финитное обоснование"
- "финитный"
- "аргументация"
- "57430"
- "гильбертовская программа"
- "гедель"
- "реализуемость"
- "общепринятые положения"
- "доказательство несостоятельности"
- "реализуемость выдвинуть"
- "формализация доказуемости"
- "неадекватность предиката"
- "предикат"
- "теоремы геделя"
- "программы обоснования"
- "неполнота арифметики"
- "доказуемость"
- "абсурдный"
- "гильберт"
- "недоказуемость"
* - вычисляется автоматически
Недавно смотрели:
-
МОДУЛЬНО-НАКОПИТЕЛЬНАЯ СИСТЕМА ПОВЫШЕНИЯ КВАЛИФИКАЦИИ СОТРУДНИКОВ УНИВЕРСИТЕТА
-
ПРОБЛЕМА ВЫБОРА РАБОЧЕГО ВЕЩЕСТВА ДЛЯ ПРИМЕНЕНИЯ В ВЫСОКОТЕМПЕРАТУРНЫХ ТЕПЛОВЫХ НАСОСАХ
-
«Силы дарит страсть». (Беседовала Е. Елагина)
-
ВЛИЯНИЕ ПОЛИФЕНОЛЬНЫХ СОЕДИНЕНИЙ НА РОСТ И РАЗВИТИЕ РАСТЕНИЙ ОЗИМОЙ ПШЕНИЦЫ
-
О ДВУХ НЕВЕРНЫХ ДОГМАХ, СВЯЗАННЫХ СО ВТОРОЙ ТЕОРЕМОЙ ГЁДЕЛЯ О НЕПОЛНОТЕ АРИФМЕТИКИ. II
О ДВУХ НЕВЕРНЫХ ДОГМАХ, СВЯЗАННЫХ СО ВТОРОЙ ТЕОРЕМОЙ ГЁДЕЛЯ О НЕПОЛНОТЕ АРИФМЕТИКИ. II
Рассматривается аргументация против реализуемости выдвинутой Д. Гильбертом программы финитного обоснования математики, основанная на второй теореме К. Гёделя о неполноте арифметики. Показывается, что такая аргументация изначально некорректна, поскольку она необходимо приводит к абсурдным выводам. Тем самым опровергается общепринятое положение, согласно которому вторая теорема служит решающим аргументом в доказательстве несостоятельности гильбертовской программы.
Авторы
Тэги
программа Гильберта
вторая теорема Гёделя о неполноте
формализация доказуемости
неадекватность предиката доказуемости
предикат недоказуемости.
Тематические рубрики
Предметные рубрики
В этом же номере:
СВЕРХРАЦИОНАЛЬНАЯ МОНАДА ЛЕЙБНИЦА И СУПЕРСИЛА ДЕВИСА,
ФИЛОСОФСКИЕ И БИОЭТИЧЕСКИЕ АСПЕКТЫ РАЗВИТИЯ НОВЫХ КОНВЕРГЕНТНЫХ ТЕХНОЛОГИЙ КАК ФАКТОРА ТРАНСФОРМАЦИИ СРЕДЫ ОБИТАНИЯ ЧЕЛОВЕКА,
...
Резюме по документу**
Гильбертом программы финитного обоснования математики, основанная на второй теореме К. Гёделя <...> Показывается, что такая аргументация изначально некорректна, поскольку она необходимо приводит к абсурдным выводам. <...> Тем самым опровергается общепринятое положение, согласно которому вторая теорема служит решающим аргументом в доказательстве несостоятельности гильбертовской программы. <...> Гильбертом программы финитного обоснования математики, основанная на второй теореме К. Гёделя <...> Показывается, что такая аргументация изначально некорректна, поскольку она необходимо приводит к абсурдным выводам. <...> Тем самым опровергается общепринятое положение, согласно которому вторая теорема служит решающим аргументом в доказательстве несостоятельности гильбертовской программы. <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: