搜索结果: 1-5 共查到“国际动态 逻辑学”相关记录5条 . 查询时间(0.719 秒)
书评：被爱因斯坦视为知己的哥德尔的逻辑人生（图）
爱因斯坦 哥德尔 逻辑人生
<
2008/10/16
人们对于爱因斯坦并不陌生，但对于被他视为知己的普林斯顿高等研究院的同事哥德尔却不甚了解。哥德尔无疑是一位智慧巨人，美国《时代》杂志评选出对20世纪思想产生重大影响的100人中，哥德尔列为第四。他的不完全性定理不仅使数学发生革命性的变化，而且改变了整个科学世界和建筑于此定理之上的哲学，还波及语言学、计算机科学、宇宙学，甚至包括法律上的“无罪推定”。对于人类来说，不了解哥德尔就不了解人类已达到的智力水...
国际著名逻辑学家Johan van Benthem院士访问山东大学成果丰硕
山东大学逻辑与认知研究所 逻辑学
<
2006/10/30
应山东大学逻辑与认知研究所所长鞠实儿教授邀请和国际合作与交流处资助，世界著名逻辑学家Johan van Benthem教授于2006年10月10日至21日对山东大学逻辑与认知研究所进行学术访问。
应教务处邀请，正在中山大学逻辑与认知研究所进行学术访问的国际著名逻辑学家Johan van Benthem院士于2006年10月13日晚在南校区怀士堂做了题为“逻辑与博弈：认知的社会性”的学术报告，讲座由逻辑所所长鞠实儿教授主持。
著名荷兰逻辑学家来广西大学讲学
广西大学公共管理学院 荷兰阿姆斯特丹大学 美国斯坦福大学 逻辑学
<
2006/10/18
2006年10月16日下午3点，广西大学公共管理学院107报告厅座无虚席。荷兰阿姆斯特丹大学逻辑学教授、美国斯坦福大学人文学博撒教授约翰·范·本特姆（Johan Van Benthem）在此为全校师生做了一场题为“逻辑博弈告诉我们什么”的报告。约翰教授通过流利的英语和通俗的例子，并根据自己的经历以及给观众现场做按规律填图题等方式论述了每个人在生活中都使用逻辑、逻辑与人类自身情感相结合是很有必要的。...
中山大学逻辑与认知研究所主办的第二届国际逻辑化建模与可满足性研讨会举行
中山大学逻辑与认知研究所 逻辑化建模
<
2006/9/30
2006年9月24日至27日，中山大学逻辑与认知研究所主办的第二届国际逻辑化建模与可满足性会议在广州举行。参加本次学术研讨会的有来自美国、德国、法国、意大利、英国、奥地利、葡萄牙、荷兰等八个国家的15名代表，以及中国科学院、香港科技大学、北京大学、南京大学、贵州大学、广西师范大学、中山大学等国内高校或科研机构的20多名专家学者。