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

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

Çавăн пекех

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

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

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

Каçăсем

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