在恩斯特·斯佩克90岁生日之际举行的研讨会
主要内容
拓扑学,集合论,数理逻辑,数理逻辑基础,组合学
2010年10月29 - 30日
组织者:Hans Bühlmann (Zürich), Giovanni Felder (Zürich), Gerhard Jäger(伯尔尼),Urs Lang (Zürich), Johann Makowsky(海法),Emo Welzl (Zürich), Stathis Zachos(纽约和雅典),与FIM合作。
这次讨论会将在恩斯特·斯佩克90岁生日之际举行。
它将涵盖E. Specker工作主题的最新发展。
特别是:
- 递归分析
- 组合
- 模型理论
- 集理论
- 复杂性理论
- 量子理论和量子计算
看到在这里call_made的更多信息
《每日新闻报》第29.10.10篇文章