תבנית:תורת החישוביות/כריעות שפות

• כריעות שפות
  • קיום שפות שאינן כריעות
  • רדוקציה חישובית
  • משפט רייס
  • אי-הפרדתיות רקורסיבית