А оракул это кто? Другой алгоритм со своим, возможно, случайным фактором. Или нужно трансцендентное привлекать, но о нём не много поговоришь, насколько я понимаю.

(Reply to this) (Parent) (Thread)

Его представляют как подмножество набора натуральных чисел, и он отвечает на вопрос, принадлежит ли х к этому подмножеству. Разных оракулов может быть больше, чем алеф-нуль, а вычислимых функций бывает алеф-нуль, поэтому есть оракулы, способные решить, например, проблему остановки. Поскольку проблема остановки не алгоритмизируется, оракул не может быть алгоритмом.

(Reply to this) (Parent)