×
彼得·戴比杰（编辑）;斯坦·林德斯特伦（编辑）;埃里克·帕尔姆格伦（编辑）;戈兰·桑德霍姆（编辑）

认识论与本体论。为纪念Per Martin-Löf撰写的关于数学哲学和基础的论文。基于会议，“数学的哲学和基础：认识论和本体论方面”，瑞典乌普萨拉，2009年5月5日至8日。 （英文） 兹比尔1254.03006

逻辑、认识论与科学的统一27.多德雷赫特：施普林格（ISBN 978-94-007-4434-9/hbk；978-94-07-4435-6/电子书）。xxvii，385页。(2012).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。
索引文章：
马克·范·艾登，康德和实数，3-23[Zbl 1314.03007号]
弗洛伊德，朱丽叶，《维特根斯坦的对角线论证：对康托和图灵的变奏》，25-44[Zbl 1314.03004号]
达格·普拉维茨，直觉主义中的真理与证明，45-67[Zbl 1312.03039号]
乔瓦尼·桑宾，建构数学中的真实与理想，69-85[Zbl 1312.03016号]
威弗里德·西格在不完整的阴影下：希尔伯特和根岑，87-127[Zbl 1312.03006号]
Sören Stenlund《中维特根斯坦与现代数学》，139-159[Zbl 1314.01028号]
威廉·泰特（William W.Tait）。《原始递归算法及其在算术基础中的作用：历史和哲学思考》，161-180[Zbl 1314.03006号]
史蒂夫·阿沃迪，类型理论与同伦，183-201[Zbl 1314.03013号]
Coquand、Thierry；吉勒姆·贾伯，类型理论中强迫力的计算解释，203-213[Zbl 1312.03021号]
彼得·戴比杰，程序测试与直觉主义类型理论的意义解释，215-241[Zbl 1314.03032号]
吉安·伊夫·吉拉德，逻辑规范性，243-263[Zbl 1314.03051号]
埃里克·帕尔姆格伦，建构主义与结构主义基础，265-279[兹伯利1314.03052]
阿恩·兰塔，机器翻译和类型理论，281-311[Zbl 1314.68340号]
迈克尔·拉特扬，构造Zermelo-Fraenkel集理论，幂集和构造演算，313-349[Zbl 1312.03038号]
安东·塞泽尔，作为由其消除规则确定的类型的余代数，351-369[Zbl 1314.68192号]
Väänänen，佐科，二阶逻辑，集合论和数学基础，371-380[兹伯利1314.03014]
戈兰·桑德霍姆《论佩尔·马丁·洛夫的哲学著作》，第十八卷至第二十四卷[Zbl 1312.03007号]

MSC公司：

03-06 与数理逻辑和基础有关的会议记录、会议、收藏等
00A30型 数学哲学
00B15号机组 杂项特定利益物品的收集
00B30型 费斯特施里夫滕
03A05号 逻辑和基础的哲学和批判性方面

传记参考：

马丁·洛夫（Martin-Löf，Per）
PDF格式BibTeX公司 XML格式引用
\文本{P.Dybjer}（编辑）等，认识论与本体论。为纪念Per Martin-Löf撰写的关于数学哲学和基础的论文。基于2009年5月5日至8日在瑞典乌普萨拉举行的“数学哲学和基础：认识论和本体论方面”会议。多德雷赫特：施普林格（2012；Zbl 1254.03006）
全文： 内政部