Некоторые задачи не под силу компьютеру либо прямо сейчас, либо в принципе
Задача может оказаться непосильной для компьютера по разным причинам. Самая банальная: мы (пока?) не умеем писать нужные программы. Так, несмотря на все успехи нейронных сетей, им еще далеко до того, чтобы заменить хорошего писателя, преподавателя или врача.
Еще один вариант: компьютеру может не хватать времени или памяти. Даже если компьютер вычисляет триллион знаков числа «пи» в секунду, ему потребуется более 10 млрд лет, чтобы добраться до знака под номером 1030!
Но, по крайней мере, мы можем написать программу, последовательно вычисляющую знаки числа «пи», пока хватает ресурсов. Для константы Чейтина такой фокус не пройдет. Доказано, что любая программа, последовательно выводящая ее знаки, рано или поздно зациклится навсегда. Нужный алгоритм не просто неизвестен или непосилен для «железа», он принципиально невозможен! К слову, чисел, подобных константе Чейтина, бесконечно много, они называются невычислимыми.