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