格哈德·海因兹曼（编辑）;Gereon Wolters公司（编辑） 保罗·洛伦岑——数学家和逻辑学家。2018年3月8日至9日在德国康斯坦茨举行的研讨会上发表的意见。 （英语） Zbl 1470.03010号 逻辑、认识论与科学的统一51.查姆：施普林格（ISBN 978-3-030-65823-6/hbk；978-3-0.30-65824-3/电子书）。xii，第268页。，开放存取（2021年）。 将索引文章显示为搜索结果。 出版商描述：这本开放存取的书探讨了20世纪后半叶杰出哲学家保罗·洛伦岑的许多贡献。它的特色论文集中于将洛伦岑的原始方法融入逻辑和数学史。论文还探讨了从业者如何在今天关于证明理论语义、数据库管理和随机性的辩论中实现洛伦岑的系统思想。报道详细介绍了洛伦岑对构造数学的重要贡献，洛伦岑的格群和可除性理论工作，以及现代集合论和洛伦森对实际无穷大的批判。贡献者还关注了格兰德拉根福斯琼和洛伦岑的一致性证明以及希尔伯特的大型程序的主要问题。此外，论文提供了对罗素式Ramified类型理论的建设性检验，以及在逻辑和数学的操作性论证中摆脱循环性难题的方法。保罗·洛伦岑的名字与埃尔兰根卫理公会建构主义学派有关，该学派的语言哲学和科学哲学方法决定了哲学讨论，尤其是在20世纪60年代和70年代的德国。本卷收录了康斯坦茨大学一次会议上的10篇论文。本卷的文章将单独进行审查。索引文章：库诺·洛伦茨保罗·洛伦岑从数学到哲学的道路——个人回忆，1-9[Zbl 1492.01014号]格哈德·海因兹曼《运算与预测：洛伦岑的算术方法》，11-22[兹比尔1490.01030]卡罗琳·安托斯，《洛伦岑操作主义体系中无限和集合的概念》，23-46[Zbl 1494.03011号]可口、蒂埃里洛伦岑与建构数学，47-61[Zbl 1490.03001号]莱因哈德·卡勒（Reinhard Kahle）；伊莎贝尔·奥塔维姆洛伦岑（Lorenzen），位于Gentzen和Schütte之间，公元63-76年[Zbl 1497.03003号]彼得·舒斯特；丹尼尔·韦塞尔，语义语法：Krull的最大理想定理，77-102[Zbl 1490.13001号]Coquand、Thierry；伦巴第，亨利；斯特凡·纽沃思，正则蕴涵关系，103-114[Zbl 1515.03226号]Fermüller，Christian G。《连接连续计算与洛伦岑式对话游戏》，115-141[Zbl 1490.03014号]斯特凡·纽沃思，洛伦岑（Lorenzen）对克鲁尔（Krull）积分域基础理论的重塑（1938-1953），143-183[Zbl 1484.01013号]斯特凡·纽沃思Lorenzen与Hasse、Krull和Aubert的通信，以及一些相关文件，185-268[Zbl 1490.01033号] MSC公司： 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 01A70号 传记、讣告、个人信息、参考书目 01A60型 20世纪数学史 03A05号 逻辑和基础的哲学和批判性方面 00B25型 杂项特定利益的会议记录 传记参考： 保罗·洛伦岑 PDF格式BibTeX公司 XML格式引用 \textit{G.Heinzmann}（编辑）和\textit{G.Wolters}（主编），保罗·洛伦岑——数学家和逻辑学家。2018年3月8日至9日，在德国康斯坦茨举行的研讨会上提交了论文。查姆：施普林格（2021；Zbl 1470.03010） 全文： 内政部 OA许可证