ノイマン式の限界ってのは、逐次実行しかできないことと、原理的に正確過ぎることだ。
不正確な人間のしていることを正確に記述しなければならないという矛盾で行き詰まっている。