Гёделĕн туллилĕх теореми

Ку терминăн урăх пĕлтерĕшсем пур, Гёдель теореми (пĕлтерĕшсем) пăхăр.

Гёделĕн предикатсен шутлавĕн туллилĕхĕн теореми, математикăлла логикăн никĕсле теоремисенчен пĕри: вăл каланăлăхăн логикăлла чăнлăхĕпе унăн пĕрремĕш ретри логикăри кăлараяслăхĕ хушшинчи пĕртен-пĕрле çыхăнăвне кăтартать. Чи малтан теоремăна Курто Гёдель 1929-мĕш çулта ĕнетернĕ.

Предикатсен шутлавĕнчи формула кăлараясла (кăларма май пур) çавăн чухне тата çавăн чухне çеç, енчен те вăл пĕтĕмĕшле пĕлтерĕшлĕ (хуть те мĕнле айлартăмри интерпретацире те чăнлăхлă).

Урăхла каласан, енчен те $\Phi$ - предикатсен шутлавĕнчи çавахлăхла чăн формула пулсан, вара $\Phi$ хайхи предикатсен шутлавĕнче ĕнентереймелле^[1].

Вуламалли

Ершов Ю.Л., Палютин Е.А. Математическая логика. — М.: Наука, 1987. — 336 с.

Çавăн пекех

Каçăсем

Академик Ю. Л. Ершов «Доказательность в математике»,

телепрограмма «Гордон»(Диалоги) от 16 июня 2003 года

Асăрхавсем

^ Ершов, 1987, с. 139

Ку математикăллă логика пирки вĕçлемен статья. Эсир статьяна тӳрлетсе тата хушса проекта пулăшма пултаратăр.

[Ершов—1987——139-1] Ершов, 1987, с. 139

[1]