Sense #0 contexts

… любой мыслимой системы доказательств найдутся правильные программы, правильность которых невозможно доказать. Теорема Гёделя о неполноте (не смешивать с теоремой Гёделя о полноте!) -- одно из величайших …

… арифметизации математики (1931); теорема о неполноте формальных систем (так называемая первая теорема Гёделя, или теорема о неполноте, 1930); теорема о невозможности доказать непротиворечивость формальной системы …

… функции (1934); установление непротиворечивости ряда важнейших гипотез теории множеств (1938). Среди результатов Гёделя особое значение имеет теорема о неполноте, опубликованная в 1931 в его статье « …

… , правильность которых невозможно доказать. Теорема Гёделя о неполноте (не смешивать с теоремой Гёделя о полноте!) -- одно из величайших достижений математической мысли XX в. Она заключается …

… именно такой подход лежит в основе того способа , посредством которого знаменитая Теорема Гёделя о неполноте была установлена её автором в 1931 г .( Теорема утверждает , что …