Матэматычная энцыклапедыя

Ґёдэль Курт (Gödel Curt; 28.04.1906-14.01.1978), аўстрыйскі логік і матэматык, з 1940 г. у ЗША, з 1953 г. праф. Прынстанскага інстытута перспектыўных даследаванняў, сябра Нацыянальнай АН ЗША. Асноўныя працы ў галіне матэматычнай логікі і тэорыі мностваў. Аўтар Гёдэля тэарэмы пра няпоўнасць і Гёдэля тэарэмы пра поўнасць.

Літ.: Нагель Э., Ньюман Д. Теорема Гёделя. М., 1970.

Паведаміць пра недакладнасьць