Курт Гедель (28 апреля 1906 - 14 января 1978) , австрийский логик ...