谈谈逻辑与科学哲学联合研究的氛围——以潘沁《冯·诺伊曼计算机科学哲学思想研究》为例

冯·诺伊曼是计算机科学的主要奠基者之一，他的论著蕴藏着极为丰富的科学哲学思想。潘沁的博士学位论文《冯。诺伊曼计算机科学哲学思想研究》认为，冯·诺伊曼的科学哲学思想主要有二，一是以“毕这哥拉斯主义思想”为导向，构想自动机的理论模型，并且与后世的“计算主义思想”接轨；二是贯彻亚里士多德“程序目的性”和维纳控制论的“现代目的论”思想于逻辑机器之中。营造与科学哲学联合研究的氛围，对计算机科学研究非常有利。