Схема на раздела

  • Алгоритмична нерешимост
    •   Задача за спирането
       
        Други нерешими задачи
       
    •  
        Теореми на Гьодел за непълнота