Ĕнентерме май çук каланăлăхсем

«Википеди» ирĕклĕ энциклопединчи материал

Ĕнентерме май çук каланăлăхсем — харпăр теори ăшĕнче ни ĕнентерме, ни хирĕçлеме май çук каланăлăх. Гёделĕн туллимарлăх теоремипе килĕшÿллĕн, кашни самаях кăткăс тата хирĕçÿлĕхсĕр, формаллĕ арифметика пур теорирех ĕнентерме çук [тата унра хиреçленейми] каланăлăх пур. Çав вăхăтрах кунашкал ансат каланăлăхсене тупса вĕсен ĕнентереймилĕхне ĕнентересси кăткăс тĕллевчĕк пулса тăрать.

Унашкал тупса палăртнă каланăлăхсенчен чи паллисем çаксем:

Çавăн пекех[тӳрлет | кодне тӳрлет]

Каçăсем[тӳрлет | кодне тӳрлет]

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