АЗ Александра Заренкова Которые решают проблему диагонализации, проблему остановки и многочисленные др. аналогичные проблемы.