Поиск:
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я


Статьи

ГЕДЕЛЬ КУРТ (1906—78):



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

ГЕГЕЛЬЯНСТВО
ГЕЙДЕ (HEYDE) ИОГАНН ЭРИХ
ГЕЙНЕ ГЕНРИХ (1797—1856)
ГЕЙЗЕНБЕРГ (HEISENBERG) ВЕРНЕР
ГЕЙЗЕНБЕРГ ВЕРНЕР (1901—76)
ГЕЙЗЕР (GEYSER) ЙОЗЕФ
ГЕККЕЛЬ (HAECKEL) ЭРНСТ
ГЕККЕЛЬ ЭРНСТ (1834—1919)
ГЕККЕР (HAECKER) ТЕОДОР
ГЕКСИС