Хотя понятие "алгоритмической разрешимости" алгоритмически неразрешимо, мы почему-то верим, что у него есть точный смысл.