ГЁДЕЛЬ

(Godel) Курт [28. 4. 1906, Брюнн (Брно),— 14.1.1978, Принстон], австр. логик и математик. С 1940 в США. Осн. труды в области матем-атич. логики а тео-

рии множеств. Важнейший результат, полученный Г.,— доказательство неполноты достаточно богатых формальных систем (в т.

ч. арифметики натуральных чисел и аксиоматич. теории множеств). Г. показал, что в таких системах имеются истинные предложения, к-рые в их рамках недоказуемы и неопровержимы. В филос.-методологич. плане теорема Г. о неполноте означала утверждение принципиальной невозможности полной формализации науч. знания. Г. принадлежит ряд результатов в теории моделей, в области конструктивной логики и др. разделах математич. логики. В 30-х гг. филос. взгляды Г. были близки к неопозитивизму, впоследствии выступал с критикой субъективизма в филос. истолковании логики.

• в рус. пер.: Совместимость аксиомы выбора и обобщенной континуум-гипотезы с аксиомами теории множеств, «Успехи математич. наук», 1948, т. 3, в. 1; Об одном ещё не использованном расширении финитной т. зр., в сб.: Математич. теория логич. вывода, М., 1967.

• Клини С. К., Введение в метаматематику, пер. с англ., М., 1957 (библ.); Нагель Э., Ньюмен Д. Р., Теорема Г., пер. с англ., М., 1970.

<< | >>

↑

Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме ГЁДЕЛЬ:

- Архитектура и строительство - Безопасность жизнедеятельности - Библиотечное дело - Бизнес - Биология - Военные дисциплины - География - Геология - Демография - Диссертации России - Естествознание - Журналистика и СМИ - Информатика, вычислительная техника и управление - Искусствоведение - История - Культурология - Литература - Маркетинг - Математика - Медицина - Менеджмент - Педагогика - Политология - Право России - Право України - Промышленность - Психология - Реклама - Религиоведение - Социология - Страхование - Технические науки - Учебный процесс - Физика - Философия - Финансы - Химия - Художественные науки - Экология - Экономика - Энергетика - Юриспруденция - Языкознание -