Курт Гёдель (нем. Kurt Gödel, 28 апреля 1906, Брюнн (Брно) — 14 января 1978, Принстон) — выдающийся австрийский логик и математик; с 1940 в США; основные труды в области математической логики и теории множеств; наиболее известный сформулированными и доказанными им теоремами Гёделя о неполноте и о полноте.
Advertisement