论现代计算机理论中的毕达哥拉斯主义

现代计算机理论源于古希腊毕达哥拉斯主义和柏拉图主义,是毕达哥拉斯数学自然观的产物。计算机结构体现了数学助发现原则。现代计算机模型体现了形式化、抽象性原则。自动机的数学、逻辑理论都是寻求计算机背后的数学核心顽强努力的结果。