马丁·戴维斯 马丁的结论意见。 （英语） Zbl 1439.03008号 Omodeo、Eugenio G.（编辑）等，马丁·戴维斯，关于可计算性、计算逻辑和数学基础。查姆：斯普林格。Outst公司。控制日志。10, 357-362 (2016). 小结：在对尤里·马蒂亚塞维奇的贡献作了非常简短的评论之后，我更详细地讨论了使用模态逻辑来澄清集合论中的基本问题的建议。最后，我非常难过地向我的朋友兼合作者希拉里·普特南告别。有关整个系列，请参见[Zbl 1365.03013号]. MSC公司： 03-03 数学逻辑和基础的历史 01A60型 20世纪数学史 03A05号 逻辑和基础的哲学和批判性方面 关键词：模态逻辑;全称量词;大红雀;存在量词;伍丁红雀 PDF格式BibTeX公司 XML格式引用 \textit{M.Davis}，Outst。控制日志。10、357--362（2016；Zbl 1439.03008） 全文： 内政部 参考文献： [1] Friedman，J.（2005）。模态柏拉图主义：避免对抽象实体进行本体论承诺的简单方法。哲学逻辑杂志，34，227-273·Zbl 1080.03001号 ·doi:10.1007/s10992-005-0557-4 [2] Hellman，G.（1989）。没有数字的数学：走向模态结构解释。牛津·Zbl 0688.03001号 [3] 庞加莱，H.（2012）。《科学与方法》，弗朗西斯·梅特兰、托马斯·纳尔逊父子译自法语，伦敦，1914年。传真重印：被遗忘的书。http://www.forgottenbooks.org。 [4] Weyl，H.（1950）。大卫·希尔伯特和他的数学著作，《美国数学学会公报》，50612-654·Zbl 0060.01521号 ·doi:10.1090/S002-9904-1944-08178-0 [5] 泽梅洛，E。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。