1957年秋,袁萌进入南京大学数学系学习,孙光远先生是我们的系主任。记得，孙先生平易近人，没有架子。
为什么说，孙光远先生是中国数学的先行者？在中国数学界，南京大学有什么地位？
中国的数理逻辑起源于南京大学。实际上，孙光远先生是中国数理逻辑的奠基人。
我们把话说白了，无穷小微积分是数理逻辑模型论的“独生子”，离开数理逻辑谈无穷小微积分，都是瞎扯淡。
请见孙光远先生的简历。
袁萌 6月2日附：
孙光远 （著名数学家）
孙光远（1900年-1979年5月1日），数学家，中国近代数学奠基人之一，中国微分几何与数理逻辑研究的先行者、国内近代数学奠基人之一。原名孙鎕，浙江余杭和睦乡梧桐村（今属闲林镇）人。自幼刻苦好学，成绩超群，屡受褒奖。
出生地：浙江余杭和睦乡梧桐村
出生日期 1900年
逝世日期 1979年5月1日
中国近代数学奠基人之一
生平经历
19考入南京高等师范学校；南京高师19改建为国立东南大学，1928年更名为国立中央大学，1949年更名为国立南京大学。
19南高毕业后留校任助教，同时从事微分几何、数理逻辑研究。
1924年和陈雯美女士结婚。
1925年春，入美国芝加哥大学研究生院攻读微分几何，1927年以毕业论文《曲面对的射影微分几何学》，受到当时国际著名数学家E.P.Lane的高度赞扬，获博士学位。
1928年，谢绝国外重金聘请，毅然回国，任北京清华大学数学系教授，期间招收中国第一名数学硕士研究生陈省身。
回国后，经常在国内外数学杂志发表学术论文，为当时中国早期唯一从事研究的数学家。1933年到南京中央大学数学系任教，曾任数学系主任、理学院院长；
1949年中央大学更名为南京大学后，仍任数学系主任、理学院院长。
他治学严谨，通晓英、法、德、意诸国文字，经常在国内外数学杂志发表学术论文，在日本东京帝国大学学报和美国American Jaurnalof mathenatics与Quartely Jaurnal ofmathematics等著名刊物发表的有7篇。与孙叔平合著的《微积分学》在中国数学发展史上占有重要地位。
解放初期，从事线性规划研究，为抗美援朝志愿军填补道路弹穴解决了土量计算公式。又将未知数从3个减为2个，提高计算效率。毕生从事教育事业，认真教学，培养造就了一大批人才。著名数学家陈省身、华罗庚都曾就教于他。孙任中央大学理学院院长，致力院系建设，坚持量才录用，不徇私情。只问是非，不计利害。维护师生权利，敢披逆鳞，人称“孙大炮”，深受师生钦佩。
抗日战争爆发，不辞艰辛，跋涉数千里，将学校的珍贵图书资料从南京运至重庆，在艰苦的环境中，继续进行教学和科研活动。1947年，五二○学生运动中，他满怀义愤，痛斥国民党反动派倒行逆施，掩护进步学生脱险。解放前夕，反对中央大学迁校台湾，表示个人一不去国外，二不去台湾，在南京迎来解放。解放后，任南京大学数学系主任。直至80高龄，仍不顾体衰多病，在教育园地努力耕耘。病逝于南京。
