约翰·冯·诺伊曼在1950年代对计算哲学家的改变
摘要：约翰·冯·诺伊曼从20世纪20年代的量子力学逻辑学家转变为20世纪50年代的计算自然哲学家。本文主张修改对诺伊曼的历史形象，以展示他转变为反形式主义的计算哲学家。诺伊曼放弃了希尔伯特关于知识可以用逻辑谓词表达的计划。通过讨论诺伊曼批评卡尔纳普逻辑主义的观点和他对图灵机模型的拒绝来描述这种转变。可能在现代物理学奠基人，特别是沃尔夫冈·泡利和维尔纳·海森堡在高级研讨会上的影响下，诺伊曼成为了一位计算自然哲学家。文章讨论了诺伊曼开发现在几乎普遍使用的冯·诺伊曼计算机体系结构的文章，以展示他对算法的物质化实体的1950年代观点。文章以引用诺伊曼批评机械进化和神经网络的言论作为结论。
作者：Steven Meyer
论文ID：2009.14022
分类：History and Philosophy of Physics
分类简称：physics.hist-ph
提交时间：2020-09-30