Гедель Курт (1906-1978) - австрийский логик и математик. Известен трудами в области математической логики. Ему принадлежат: теорема о полноте узкого исчисления предикатов, метод арифметизации математики, теорема о неполноте формальных систем и др.
Спасибо Вам за добавление этой статьи в
