Советский философский словарь

ГЁДЕЛЬ КУРТ

[28. 4. 1906, Брюнн (Брно) 14.1.1978, Принстон], австр. логик и математик. С 1940 в США. Осн. труды в области математич. логики а тео рии множеств. Важнейший результат, полученный Г. доказательство неполноты достаточно богатых формальных систем (в т. ч. арифметики натуральных чисел и аксиоматич. теории множеств). Г. показал, что в таких системах имеются истинные предложения, к-рые в их рамках недоказуемы и неопровержимы. В филос.-методологич. плане теорема Г. о неполноте означала утверждение принципиальной невозможности полной формализации науч. знания. Г. принадлежит ряд результатов в теории моделей, в области конструктивной логики и др. разделах математич. логики. В 30-х гг. филос. взгляды Г. были близки к неопозитивизму, впоследствии выступал с критикой субъективизма в филос. истолковании логики.

  1. гёдель курт—Гдельstrong Gdel Курт [р. . Брюнн Брно] австрийский логик и математик. В приватдоцент Венского университета. В эмигрировал в США с профессор института перспективных ис...Большая Советская энциклопедия II
  2. гедель курт—австр.амер. математик логик. Приватдоцент Венского унта один из участников Венского кружка после эмиграции в США работал в Принстонском инте высших исследований проф. с...История и философия науки. Энциклопедический словарь
  3. гедель курт—р. апр. австр. логик и математик. Родился в г. Брно в АвстроВенгрии ныне Чехословакия. В приватдоцент Венского унта. В эмигрировал в США с проф. Инта высших иссле...Философская Энциклопедия (в 5 томах)
  4. гедель курт—австр. математик и логик. Разрабатывал проблемы метаматематики и математической логики. Важнейший результат полученный Г. состоит в доказательстве неполноты достаточно б...Философский энциклопедический словарь
  5. гедель, курт—Гедель Курт Брюнн нин Брно австр. логк математик. Од р. проживав у США. Серед значних здобуткв у царин математично логки теор множин найвдомшою знаменита теорема Г...Філософський енциклопедичний словник
  6. гёдель, курт—ГДЕЛЬ КУРТGdel Kurt австрийский логик и математик автор фундаментального открытия показавшего ограниченность аксиоматического метода. Родился апреля в Брно. В поступи...Энциклопедия Кольера II