Электронные словари и энциклопедии: Большой энциклопедический словарь, Словарь Даля, Словарь Ожегова и т.д.

Философский словарь
"ГЕДЕЛЬ"

Главная - Философский словарь - буква Г - ГЕДЕЛЬ
Философский словарь
Искать!

Курт (1906—78)—австр. математик и логик. Разрабатывал проблемы метаматематики и математической логики. Важнейший результат, полученный Г., состоит в доказательстве (1931) неполноты достаточно богатых формальных систем (в т. ч. аксиоматической теории множеств и арифметики натуральных чисел): в таких системах имеются истинные предложения, к-рые в их рамках недоказуемы и неопровергаемы. Этот результат Г. вызвал интенсивное исследование ограниченностей формальных систем (работы А. Черча, С. Клини, Тарского, А. Мостовского, П. Новикова и др.), а в философском плане означал утверждение принципиальной невозможности полной формализации научного знания. Г. принадлежат также важные результаты в теории моделей теорема( о полноте узкого исчисления предикатов), в области конструктивной логики, теории рекурсивных функций и т. д. В своих философских воззрениях Г. испытал в 30-х гг. влияние неопозитивизма, а впоследствии выступал с критикой субъективизма.



Поделитесь с друзьями:


Вы можете поставить ссылку на это слово:

будет выглядеть так: ГЕДЕЛЬ


будет выглядеть так: Что такое ГЕДЕЛЬ

Реклама:
Толковые словари и Энциклопедии. Словарь - ГЕДЕЛЬ - Философский словарь - Толковые Словари и Энциклопедии