Слово, значение которого вы хотите посмотреть, начинается с буквы
А   Б   В   Г   Д   Е   Ё   Ж   З   И   Й   К   Л   М   Н   О   П   Р   С   Т   У   Ф   Х   Ц   Ч   Ш   Щ   Ы   Э   Ю   Я

ГЕДЕЛЬ

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

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


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