公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

冯·诺依曼的计算机科学哲学思想被引量：2: 2011年; 冯·诺依曼是计算机科学哲学理论的主要奠基人之一。他的计算机科学哲学思想主要体现在他的自动机理论中。冯·诺依曼为自动机理论奠定了逻辑基础。他认为最高层次的抽象应当借助严密的数理逻辑方法去完成。在他看来,只有抽象的形式结构可以了解整个世界;只有严密的逻辑体系才可能包含普遍真理,计算机的设计必须追求逻辑简洁性。在他看来,借助数量极少的术语和规则可以在计算机上作出极其复杂的计算或推理。不断追求逻辑的简洁性和形式美,是计算机科学研究的永恒目标。逻辑简洁性、数学和谐性和形式美的理念在他的自动机理论中表现得淋漓尽致。冯.诺依曼的自动机理论源于毕达哥拉斯主义,是毕达哥拉斯主义数学自然观的产物。; 任晓明潘沁; 关键词：自动机理论

适应与事实——索伯的进化生物学哲学研究纲领之解读: 2010年; 索伯的进化生物学哲学的研究纲领是基于对"适应"与"事实"以及二者关系的深入认识。索伯生物学哲学思想只有在英美科学哲学与实际的生物学研究之历史关联中——这又是另外一种异化的"适应与事实",才能展现新颖但引人深思的哲学真谛。厘清索伯生物学哲学思想的脉络,细致探讨索伯生物学哲学的研究纲领统摄下的基本原理,可以为解答生物学中的重大问题提供更为宽阔的视角以及新的启示。; 任晓明张昱

全选清除导出

共1页<1>

国家社会科学基金(07FZX003)