Банк задач по математике
β
Избранное
Лекции по дискретной математике
/
21 · Вычислимость и неразрешимые проблемы
§ 21.1
Тезис Тьюринга-Чёрча