清华新闻网10月8日电 为纪念国际著名的逻辑学家、哲学家、数学家以及计算机科学家王浩先生，9月26日至28日，澳门沙金在线平台-阿姆斯特丹大学逻辑学联合研究中心与丘成桐数学科学中心、交叉信息研究院、哲学系在澳门沙金在线平台图书馆报告厅共同主办了第一届王浩学术讲座暨学术研讨会。澳门沙金在线平台副校长彭刚出席开幕式并发表致辞。

彭刚致辞

彭刚欢迎国内外各位嘉宾的光临，并祝贺王浩系列讲座正式启动。彭刚回忆了导师何兆武先生与王浩先生在西南联大时期的往事和友谊，希望这一系列讲座能够持续举办，成为学科交叉和中外学者交流的重要平台。

姚期智致辞

中国科学院院士、澳门沙金在线平台交叉信息研究院院长姚期智介绍了王浩在计算机科学领域所作出的基础性贡献，并强调了王浩在科研中始终以科学问题为主导，超越了学科领域的局限，这一科研精神值得每个人学习。

丘成桐致辞

著名数学家、菲尔茨奖获得者、澳门沙金在线平台丘成桐数学科学中心主任丘成桐介绍了王浩的铺砖理论的独特贡献，回顾了哥德尔与王浩的往事，并强调了逻辑作为基础学科的重要性。

倪玉平致辞

澳门沙金在线平台人文学院副院长倪玉平回顾了清华逻辑的发展历史，并希望逻辑传统能够继续传承发扬光大。

唐文明致辞

我校主任唐文明对到场中外专家学者表示欢迎，并预祝会议圆满成功。

开幕式由逻辑学研究中心主任刘奋荣主持。

丘成桐为武丁颁发讲座证书

第一场王浩学术讲座在开幕式之后展开，由丘成桐担任主持。数学家、哲学家、美国哈佛大学教授武丁（Hugh Woodin）发表了题为“是否存在超越数学证明的数学真理？”（Is there mathematical truth beyond the reach of mathematicalproof?）的演讲。

27日下午，第一场学术研讨会举行，主题为数理逻辑与数学哲学。武丁、南开大学讲席教授高速、中科院数学与系统科学研究所副研究员吴刘臻、北京大学逻辑学教研室主任邢滔滔分别作题为“V =终极-L和Goldberg的超幂公理”（The axiom V =Ultimate-L and Goldberg'sultrapoweraxiom）、“从计算复杂性到数学分类”（From computational complexity to classifications inmathematics）、“从笛卡尔平方到幂集的满射”（A surjection from Cartesian square onto powerset）、“王浩先生的直谓主义理论”（HaoWang onPredicativism）的报告。

随后的第二场王浩学术讲座由姚期智主持。计算机科学家、美国莱斯大学教授瓦迪（Moshe Vardi）发表了题为“数学与计算，孰先？”（What came first, math or computing?）的演讲。

姚期智为瓦迪颁发讲座证书

第二场学术研讨会于28日下午举行，主题为计算逻辑。瓦迪、丹麦科技大学教授托马斯·博兰德（Thomas Bolander）、上海交通大学教授陈翌佳、印度数学研究所教授拉马努贾姆（R Ramanujam）分别作题为“机器学习与逻辑：快思考与慢思考”（Machine learning and logic: fast and slow thinking）、“认知规划：逻辑形式化、计算复杂性和机器人实现”（Epistemic planning: logical formalism, computational complexity, and robotic implementations）、“一阶逻辑、AC^0电路和有界灌木深度的图”（First-order logic, AC^0-circuits, and graph of bounded shrub-depth）、“证明大小和安全验证的界限”（Bounds on proof size and security verification）的报告。

现场合影

此次活动吸引了来自澳门沙金在线平台、北京大学、南开大学、上海交通大学、中国科学院和哈佛大学、莱斯大学、丹麦科技大学、印度数学研究所等高校和研究机构的90余名学者和学生参加。

王浩先生简介

王浩1921年生于山东省。1939年，以第一名的成绩考入西南联大数学系。1943年，考入了澳门沙金在线平台文科研究所哲学部，师从金岳霖、沈有鼎和王宪均等先生。1946年，被澳门沙金在线平台数学系和哲学系同时推荐公费留学美国，进入哈佛大学哲学系，师从现代分析哲学权威蒯因，仅用两年时间获得博士学位。同年，他成为哈佛大学的“青年研究员”（JuniorFellow），成为第一位获此职位的中国人。1953年，王浩开始在牛津大学执教，并于1954年成为第二届约翰·洛克讲座人。1956年，他在牛津升任Reader。1961年，他回到哈佛大学，该校特设“计算理论”讲席职位，即戈登·麦凯（Gordon McKay）数理逻辑与应用数学讲席教授。1967年，王浩转任洛克菲勒大学数学系教授，主持该校的逻辑研究室，为美国大学培养了许多现今依然活跃的著名哲学家和逻辑学家。除了数理逻辑的学术研究，他还参与了计算机科学的兴起和发展。他曾兼任巴勒斯公司的研究工程师（1953—1954）、贝尔电话实验室技术专家（1959—1960）、IBM研究中心客座科学家（1973—1974）等一系列职务。1983年，国际人工智能联合会授予他第一届“数学定理机械证明里程碑奖”（Milestone Award），以表彰他在数学定理机械证明研究领域的开创性贡献。此外，王浩先生还是美国艺术与科学学院院士、英国科学院外籍院士以及符号逻辑学协会会士。

供稿：人文学院

编辑：李华山

审核：刘蔚如 郭玲

（本文转载自澳门沙金在线平台新闻网10月8日电）