Verbum

ГЁДЭЛЬ

(Gödel) Курт (28.4.1906, г. Брно, Чэхія — 14.1.1978),

аўстрыйскі матэматык і логік. Чл. Нацыянальнай АН ЗША. У 1933—38 у Венскім ун-це. У 1940 эмігрыраваў у ЗША; з 1953 праф. Ін-та перспектыўных даследаванняў у Прынстане. Навук. працы па матэм. логіцы і тэорыі мностваў. Аўтар тэарэм Гёдэль пра непаўнату і паўнату.

Літ.:

Нагель Э., Ньюмен Д.Р. Теорема Гёделя: Пер. с англ. М., 1970.

т. 5, с. 211