1920年,英国数学家罗素(russell)应邀来华讲学一年,这时数理逻辑开始传入中国;1922年,傅种孙等将罗素的《罗素算理哲学》翻译出版。其后,汤?真、朱言钧(公谨)等对数理逻辑和数学基础作过介绍;1926年金岳霖在清华大学开设逻辑学课,1927年汪奠基的《逻辑和数学逻辑论》出版;1937年,金岳霖的《逻辑》出版,其中有专门章节论及数理逻辑;同年,汪奠基的又一著作《现代逻辑》出版。30年代后期40年代初,沈有鼎、王宪钧、胡世华先后从国外学成回国,数理逻辑开始在中国发。 qnxx.cn 高中生留学资讯网 莫绍揆-攻读数学 小语种中国家留学资讯学习辅导站 qnxx.cn 洛桑大学1947年,莫绍揆赴瑞士留学,开始在洛桑大学攻读数学.第二年,转入瑞士国立高等工业学校,攻读数理逻辑。该校曾是著名科学家爱因斯坦工作过的地方;当时,一代数理逻辑宗师希尔伯特(hilbert)的继承人贝尔奈斯正在任教.莫的导师就是贝尔奈斯。 小语种国家留学资讯网www.qnxx.cn 初到该校,莫绍揆认真听课,提问较少,没有受到人们的注意.不久,有一件事情,引起了贝尔奈斯的极大注意。 qnxx.cn 高中生留学资讯网 在一个命题演算系统中,有一些公式,它是永真的,但与生活中的逻辑不甚相符,使人们觉得有点“怪”,被称为“蕴含怪论”。许多数理逻辑学家在证明公式时都尽量避免使用“蕴含怪论”,除非迫不得已.论”。但莫绍揆却避开“蕴含怪论”巧妙地证明了该公式.贝尔奈斯对此大加赞赏,称之为“莫的漂亮证明”.波兰的莫斯托夫斯基(a.mostowski)也是一代数理逻辑宗师。有一次,贝尔奈斯要莫绍揆对莫斯托夫斯基的一篇关于各种选择公理的独立性的论文谈谈看法时,莫不仅正确地评价了该文,而且指出了其中的瑕疵。尤其令贝尔奈斯惊讶的是,这个年轻人还有完整的修改意见。贝尔奈斯对莫绍揆十分青睐,经常与之一起研究问题,对莫的论文,还帮助解决了其中一个难解决的问题。那时贝尔奈斯已到晚年,在国际上久负盛名,他的这一切行动对于一个年轻的中国学者是一种崇高的荣誉。后来莫绍揆回国了,贝尔奈斯对这位中国弟子却久久不能忘怀.据德国heidelberg大学数学系前系主任谬勒(h.müller)教授后来回忆,莫离开后,贝尔奈斯经常在课上情不自禁地问:莫先生对此问题如何看?当其他学生告诉他,莫先生已经回中国去了,贝尔奈斯当即神情黯然。 |