Без заголовка

Я, конечно, в этой области не специалист, но математика -- строгая наука. Если доказательство использует невычислимые числа -- то оно не может быть корректным доказательством вычислимости, оно доказывает что-то другое. Причем, вы же сами написали, что Нандо "считает, что", то есть это его личное мнение, а не общепризнанный факт. Скажем, то, что нейронная сеть -- это универсальный аппроксиматор, и может аппроксимировать любую непрерывную функцию как угодно близко -- это математически строго доказывается (Обобщенная аппроксимационная теорема). А насчет вычислимости -- только некоторые соображения и предположения. Если я не прав -- покажите строгое доказательство :) Опять же, повторюсь, что наверное, это сейчас не важно, но важно для понимания предела применимости. P.S. А можно технический вопрос -- вы так быстро оперируете ссылками на статьи и результаты -- как вы это организуете? Держите тематический каталог?