检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:李国伟 LIH Ko-Wei
机构地区:[1]台湾大学数学系,中国 [2]美国杜克大学
出 处:《科学文化评论》2023年第5期68-88,共21页Science & Culture Review
摘 要:俞大维在中国数理逻辑史上有两项标竿性成就:(1)他在哈佛大学攻读博士学位时,完成由中国人原创的首篇数理逻辑论文;(2)他在获得博士后去柏林游学,在《数学年刊》(Mathematische Annalen)上发表了中国人在此世界顶级期刊上的首篇论文。本文将由此两篇著作的内容与参考文献,检视俞大维是在何种知识场景中孕育出研究成果。俞大维虽然没有在数理逻辑领域讲学、著书或指导学生,但在中国数理逻辑的发展历程里,应该保有值得肯定的先锋地位。In the history of Chinese mathematical logic,YüTa Wei achieved two significant milestones:(1)while pursuing his doctoral degree at Harvard University,he completed the first original mathematical logic paper authored by a Chinese person;(2)after obtaining his doctorate,he went on a study tour in Berlin and published the first paper by a Chinese individual in the world’s top journal Mathematische Annalen.This article will examine the content and references of these two works to understand the knowledge context in which YüTa Wei produced his research.Although YüTa Wei did not teach,write books,or supervise students in the field of mathematical logic,he should be recognized for his pioneering role in the development of mathematical logic in China.
关 键 词:中国数理逻辑史 数理逻辑 蕴涵 类演算 公设系统 罗素 希尔伯特 亨廷顿
分 类 号:N09[自然科学总论—科学技术哲学] O1[理学—数学]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.49