论文部分内容阅读
在南京大学庆祝建校八十周年之际,美籍著名数学家,美国纽约洛克菲勒大学教授王浩先生以《逻辑与数理逻辑》为题,向南京大学校内外逻辑工作者和爱好者一百多人作了学术报告.报告会是八二年五月二十一日下午在南大图书馆报告厅举行的,历时三小时. 南京大学数学系莫绍揆教授主持了报告会.莫先生在介绍王浩教授的主要成就时说,王浩教授是世界知名的数理逻辑学家,哈佛大学哲学博士,现任纽约洛克菲勒大学教授.王浩教授的研究范围非常广泛,在数理逻辑方面的成就很多.他改进了理想计算机图灵(Turing)机器,现在称他改进的机器为B机器或王机器.他利用铺砖问题解决了谓词演算中一类问题的可判定性.开创了新的研究方向.现在铺砖问题已成为热门问题.罗素《数学原理》一书
At the time of celebrating the 80th anniversary of its founding at Nanjing University, the famous American mathematician and professor Wang Hao of Rockefeller University in New York City used “Logic and Mathematical Logic” as a topic, and provided more than 100 logic workers and enthusiasts inside and outside Nanjing University. People made academic reports. The report meeting was held in the lecture hall of the South University Library on the afternoon of May 21, 1992. It took three hours. Professor Mao Shaoxin of the Department of Mathematics at Nanjing University presided over the report meeting. Mr. Mo introduced the king. Prof. Hao’s major achievement said that Professor Wang Hao is a world-renowned mathematical logician and a Ph.D. candidate at Harvard University. He is currently a professor at Rockefeller University in New York. Prof. Wang Hao has a wide range of research and has many achievements in mathematical logic. He has improved. The ideal computer Turing machine now calls his improved machine a B machine or a king machine. He uses the paving problem to solve the decidability of a class of problems in predicate calculus. He has created a new research direction. The brick problem has become a hot issue. Russell’s book “Principles of Mathematics”