合成可计算性(MFPS XXIII教程)
- 2007年5月24日
- 安德烈·鲍尔
-
建构主义数学,综合可计算性,会谈,辅导的
在上提供的教程程序设计语义的数学基础二十三辅导日。
摘要:在本教程中,我们将展示如何使用简单的集合理论和领域理论的思想和构造来优雅地开发可计算性理论的基础。可计算性从未被明确提及,相反,我们在一个由合适的(经典不一致的)公理扩展的直觉主义集合理论中工作。可计算性理论的常用定理表示为集合理论、域理论和拓扑性质的陈述。然后,可计算性理论的经典定理只是在适当的可实现性模型中对我们的定理的解释(将在单独的教程中介绍)。
下载幻灯片: syncomp-mfps23.pdf