约翰·冯·诺依曼在 1950 年代向计算哲学家的转变
物理学史与哲学
2020-09-30 v1
摘要
本文讨论了约翰·冯·诺依曼从 1920 年代量子力学（QM）的逻辑学家到 1950 年代计算的自然哲学家的转变。论文主张修正诺依曼的历史形象，以刻画他向反形式化计算哲学家的转变。诺依曼放弃了希尔伯特的纲领，即知识可以表示为逻辑谓词。这一转变通过关联诺依曼对卡尔纳普逻辑主义的批评，并讨论诺依曼对图灵机计算模型的拒斥来加以描述。可能受现代物理学奠基人特别是高级研究学院的沃尔夫冈·泡利和维尔纳·海森堡的影响，诺依曼转变为计算的自然哲学家。本文讨论了诺依曼在开发如今几乎通用的冯·诺依曼计算机体系结构时的著作，以展示他在 1950 年代将算法视为物理化实体的观点。论文最后引用了诺依曼批评机械进化并批评神经网络的陈述。
引用
@article{arxiv.2009.14022,
title = {John von Neumann's 1950s Change to Philosopher of Computation},
author = {Steven Meyer},
journal= {arXiv preprint arXiv:2009.14022},
year = {2020}
}
备注
7 pages, 23 references