No more than these machines need the mathematician know what he does. 正如这些机器不需要数学家知道自己在做什么一样。 -- Henri Poincare 彭卡勒