- Заглавие: ГЁДЕЛЬ КУРТ
- Год актуализации: 2017
- УДК: 10 Философия
- ББК: 87 Философия
- Тематики:
- ПЕДАГОГИКА И ОБРАЗОВАНИЕ. ОРГАНИЗАЦИЯ НАУКИ. МУЗЕЙНОЕ ДЕЛО. КОЛЛЕКЦИОНИРОВАНИЕ
- ФИЛОСОФИЯ
- Биб. карточка:
ГЁДЕЛЬ КУРТ [Специальная и общая философия науки. Энц.словарь:Словарь / В.А.Канке-М.:НИЦ ИНФРА-М,2017.-630 с.(П)]
- Источник публикации: Специальная и общая философия науки: энциклопедический словарь
- Фрагмент статьи: ГЁДЕЛЬ КУРТ (1906–1978) — выдающийся австрийский логик и математик, доказавший теорему о неполноте формальной системы, использующей натуральные числа и руководствующейся финитными методами. В такой системе, например в формальной арифметике, всегда найдется формально неразрешимое предложение, т.е. такая замкнутая формула А, что ни она, ни ее отрицание не являются теоремами этой системы. В качестве указанной формулы можно взять положение о непротиворечивости формальной арифметики. Исследования Г. показали неосуществимость разработанной Д. Гильбертом программы финитной формализации математики. Часто утверждается, что Г. доказал невозможность полной формализации человеческого знания. В действительности же он показал, что такого рода формализация невозможна в рамках формальных систем, реализующих финитные методы. Вполне возможно, что
