ГЁДЕЛЬ Курт

[28. 4. 1906, Брюнн (Брно) - 14.1.1978, Принстон], австр. логик и математик. С 1940 в США. Осн. труды в области математич. логики а тео

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