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

Доказательство есть, и давно (в 1995) -- Extensive efforts have been made to prove the Church-Turing thesis, which suggests that all realizable dynamical and physical systems cannot be more powerful than classical models of computation. A simply described but highly chaotic dynamical system called the analog shift map is presented here, which has computational power beyond the Turing limit (super-Turing); it computes exactly like neural networks and analog machines. This dynamical system is conjectured to describe natural physical phenomena. -- http://binds.cs.umass.edu/papers/1995_Siegelmann_Science.pdf Вот тут про то, что нейронная сетка -- это универсальный аппроксиматор (т.е. в пределе аппроксимируется любое вычисление, самая сложная программа. Это неважно, что там "аналог" -- физика в электронике компьютера тоже вполне "аналоговая", а не "дискретная"!): http://neuralnetworksanddeeplearning.com/chap4.html