论文标题
约翰·冯·诺伊曼（John von Neumann）的1950年代变成了计算哲学家
John von Neumann's 1950s Change to Philosopher of Computation
论文作者
论文摘要
讨论了约翰·冯·诺伊曼（John von Neumann）从1920年代的量子力学逻辑学家（QM）转变为1950年代的自然哲学家。本文主张修订诺伊曼的历史形象，将他的变化描绘成一个反形式主义哲学家。诺伊曼（Neumann）放弃了希尔伯特（Hilbert）的计划，即知识可以表示为逻辑谓词。这种变化是通过将诺伊曼对卡尔纳普逻辑主义的批评以及讨论诺伊曼拒绝图灵机器计算模型的批评来描述的。诺伊曼（Neumann）可能在高级研究学院的沃尔夫冈·保利（Wolfgang Pauli）和沃尔纳·海森伯格（Werner Heisenberg）的创始人的影响下，改为自然的计算哲学家。诺伊曼（Neumann）从现在几乎通用的冯·诺伊曼（Von Neumann）计算机架构的发展中的著作进行了讨论，以表明他1950年代将算法视为物理化实体的观点。本文以引用诺伊曼的陈述来批评机理进化和批评神经网络。
John von Neumann's transformation from a logician of quantum mechanics (QM) in the 1920s to a natural philosopher of computation in the 1950s is discussed. The paper argues for revision of the historical image of Neumann to portray his change to an anti formalist philosopher of computation. Neumann abandoned Hilbert's programme that knowledge could be expressed as logical predicates. The change is described by relating Neumann's criticism of Carnap's logicism and by discussing Neumann's rejection of the Turing Machine model of computation. Probably under the influence of the founders of modern physics in particular Wolfgang Pauli and Werner Heisenberg at the Advanced Study Institute, Neumann changed to a natural philosopher of computation. Neumann's writings from his development of the now almost universal von Neumann computer architecture are discussed to show his 1950s view of algorithms as physicalized entities. The paper concludes by quoting Neumann's statements criticizing mechanistic evolution and criticizing neural networks.
