[17] 〔英〕罗杰·彭罗斯:《皇帝新脑——有关电脑、人脑及物理定律》,许明贤、吴忠超译,长沙,湖南科学技术出版社,1995,第32~36页。
[18] 吴文俊指出:“中国的古代数学基本上是一种机械化的数学。”见吴文俊:《吴文俊文集》,济南,山东教育出版社,1986,第286页。
[19] 陈开先:《中国筹算和〈九章算术〉》,载《自然辩证法研究》2006年第9期。
[20] 参见孙宏安:《中国古代数学思想》,大连,大连理工大学出版社,2008,第91~93页。
[21] 北京大学哲学系外国哲学史教研室编:《十六~十八世纪西欧各国哲学》,北京,商务印书馆,1975,第61页。
[22] 孔德龙:《霍布斯关于推理即是计算的逻辑思想》,载《北京师范大学学报》(社会科学版),1989年第6期。
[23] 参见〔美〕约翰·塔巴克:《代数学——集合、符号和思维的语言》,邓明立、胡俊美译,北京,商务印书馆,2007。
[24] 〔德〕G.弗雷格:《算术基础》,王路译,北京,商务印书馆,1998,第105页。
[25] 转引自张家龙:《数理逻辑发展史》,北京,社会科学文献出版社,1993,第419~420页。