会议上欧文·恩格勒的90岁生日和恩斯特·斯佩克的百年诞辰

于2020年2月21日至22日

ETH Zürich, HG G 19.1

2020年2月将是恩斯特·斯佩克的百年诞辰和欧文·恩格勒的90岁生日。世界卫生组织2020年年会瑞士科学逻辑和哲学学会将会庆祝这两个伟大的生日。继保罗·伯内斯之后，这两位来自苏黎世的杰出科学家在20世纪下半叶对数学逻辑及其与哲学和信息学的关系产生了持续的影响。

会议的目标是回顾这两位伟大的瑞士逻辑学家的工作，并指出其持续的重要性和有效性。由于这项工作是在数学，逻辑学，哲学，信息学和物理学之间的接口，会议将特别感兴趣的研究人员和学生在这些不同的科学学科。

这次会议是由瑞士科学院以及瑞士数学学会。

组织者

格哈德贼鸥(伯尔尼大学),Reinhard卡利(图宾根大学),乔凡尼Sommaruga(苏黎世联邦理工学院)

演讲者

标题及摘要(PDF, 78kb)

为了纪念欧文·恩格勒和恩斯特·斯佩克

周五21.2.2020

09.35 - -10.20(雅典)言Zachos共同断定
幻灯片(PDF, 8mb)

10.20 - -11.05Erich Gradel(亚琛)
幻灯片(PDF, 195kb)

11.05 - -11.50安格斯麦金太尔(伦敦)

Erwin恩格尔的天使

周五21.2.2020

13.30 - -14.15卡尔河口(洛桑)
幻灯片(PDF, 3.2 MB)

14．15-15.00沃尔夫冈Kuchlin(图)
幻灯片(布尔值)(PDF, 664kb)|幻灯片(SAT) (PDF, 1.6 MB)

15.30- - - - - -16.15罗马马德尔(苏黎世)

16.15-17.00Preda Mihailescu(哥廷根)
幻灯片(魅力)(PDF, 260kb)|幻灯片(PDF, 6.3 MB)

17.00-17.45 Beat Brüderlin (Ilmenau)

恩斯特斑点重新加载

周六22.2.2020

09.30 - -10.15Janos Makowsky(海法)
幻灯片(PDF, 1.3 MB)

10.15 - -11.00Jurg Frohlich(苏黎世)
幻灯片(PDF, 10.7 MB)

11.00 - -11.45斯蒂芬·沃尔夫和阿恩·汉森(伯尔尼/卢加诺)
幻灯片(德文)(PDF, 308kb)|演辞(德文)(PDF, 121kb)