Поиск:
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Э
Ю
Я
Статьи
ГЕДЕЛЬ КУРТ (1906—78):
ГЕДЕЛЬ КУРТ (1906—78) - —австр. математик и логик. Разрабатывал проблемы метаматематики и математической логики. Важнейший результат, полученный Г., состоит в доказательстве (1931) неполноты достаточно богатых формальных систем (в т. ч. аксиоматической теории множеств и арифметики натуральных чисел): в таких системах имеются истинные предложения, к-рые в их рамках недоказуемы и неопровергаемы. Этот результат Г. вызвал интенсивное исследование ограниченностей формальных систем (работы А. Черча, С. Клини, Тарского, А. Мостовского, П. Новикова и др.), а в философском плане означал утверждение принципиальной невозможности полной формализации научного знания. Г. принадлежат также важные результаты в теории моделей (теорема о полноте узкого исчисления предикатов), в области конструктивной логики, теории рекурсивных функций и т. д. В своих философских воззрениях Г. испытал в 30-х гг. влияние неопозитивизма, а впоследствии выступал с критикой субъективизма.
Похожие на ГЕДЕЛЬ КУРТ (1906—78) слова / понятия:
ГЕГЕЛЬЯНСТВО
ГЕЙДЕ (HEYDE) ИОГАНН ЭРИХ
ГЕЙНЕ ГЕНРИХ (1797—1856)
ГЕЙЗЕНБЕРГ (HEISENBERG) ВЕРНЕР
ГЕЙЗЕНБЕРГ ВЕРНЕР (1901—76)
ГЕЙЗЕР (GEYSER) ЙОЗЕФ
ГЕККЕЛЬ (HAECKEL) ЭРНСТ
ГЕККЕЛЬ ЭРНСТ (1834—1919)
ГЕККЕР (HAECKER) ТЕОДОР
ГЕКСИС