Словарь по логике

Гёдель

Курт Гёдель, Gödel (28.4.1906, Австрийская империя - 14.1.1978, США): Логик и математик. С 1940 г. в США. Труды по математической логике и теории множеств. В 1931 г. доказал теоремы о неполноте (в т.ч. о неполноте формальной арифметики и аксиоматической теории множеств). В 193 переформулировал S4 Льюиса в современном виде. (Статья в процессе написания).