Кристиан С. Калюд

Проблема остановки в теории алгоритмов, и не только