Шутланаяслăх теорийĕ

Шутланаяслăх теорийĕ, урăхла ăна рекурсивлă функцисен теорийĕ теççĕ — математикăлла логика, алгоритмсен теорийĕ тата информатика чиккисенче аталаннă математика уйрăмĕ. Шутланаяслăх тата шуланаймаслăх ăнлавĕсем тавра аталаннă. Малтанлăха шутланаякан тата шутланайман функцисем тата шутлавăн тĕрлĕ моделĕсем тавра пулса пынă аталану. Халь, шутланаяслăхăн çĕнĕ палăртавĕсем çуралнă май, лаптăк чылай анлăланнă. Аталану математикăлла логика текен ăслăхпа юнашар пулса пырать. Чăн та, пĕринче ĕнентерÿлĕх, тепринче шутланаяслăх ыйтăвĕ малта тăрать. Вĕсем вара пĕр-пĕринпе тачă çыхăннă.

Çавăн пекех

• Райс теореми
• Чарăну проблеми

Шутланаяслăх теорин никĕсне тăваканĕсем

• Курт Гёдель
• Алан Тьюринг
• Стивен Клини
• Алонзо Чёрч
• Эмиль Пост

Каçăсем

• Шутланаяслăх теори курсĕсем 2008 ҫулхи Ҫӗртме уйӑхӗн 21-мӗшӗнче архивланӑ.