Перечитал сейчас старую запись и комменты (в комментах там много важного для себя я написал).. . давно, наверное, можно было из этого хорошую статью сделать. По крайней мере, попробовать -- а я сидел на заднице, как обычно.
Я хотел, собственно, в этой записи привести только ссылку на эту статью, чтобы не потерялась... в самой статье ничего для меня нового нет, разве что Хогарт ухищрается ещё и решать не просто невычислимые задачи, но и рекурсивно неперечислимые (non-recursively enumerable) путём состыкования вместе бесконечного кол-ва "странных" участков с бесконечно ускоренным временем внутри одного пространства-времени... совсем беспредел какой-то. Но сейчас мне пришла в голову ещё забавная связь с недавней записью про неконструктивность теории вычислимости. Ведь там возникает ситуация, когда есть машина, решающая проблему (вычисляющая функцию F), но мы не знаем, какая это машина. И вполне естественным образом та же самая проблема возникает, когда мы пытаемся доказать, что какой-то "чёрный ящик" не решает halting problem, о чём я и написал полтора года назад в комменте. Об этом надо бы подумать отдельно.