Основное меню

гедель - в словаре-справочнике по философии.

Что такое гедель в философии?

гедель:

гедель курт (1906—78)—австр. математик и логик. разрабатывал проблемы метаматематики и математической логики. важнейший результат, полученный г., состоит в доказательстве (1931) неполноты достаточно богатых формальных систем (в т. ч. аксиоматической теории множеств и арифметики натуральных чисел): в таких системах имеются истинные предложения, к-рые в их рамках недоказуемы и неопровергаемы. этот результат г. вызвал интенсивное исследование ограниченностей формальных систем (работы а. черча, с. клини, тарского, а. мостовского, п. новикова и др.), а в философском плане означал утверждение принципиальной невозможности полной формализации научного знания. г. принадлежат также важные результаты в теории моделей (теорема о полноте узкого исчисления предикатов), в области конструктивной логики, теории рекурсивных функций и т. д. в своих философских воззрениях г. испытал в 30-х гг. влияние неопозитивизма, а впоследствии выступал с критикой субъективизма.

Благодаря нашему философскому онлайн словарю Вы можете узнать точное определение термина гедель.