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