我的阅读状态 （保存写回仓库，全设备同步；首次保存需输入访问令牌）

AI 速览

一句话：从组合逻辑视角重新审视 MacLane 的证明论论文，提示一种被遗忘的证明理论。

本文重新审视了 MacLane 关于证明论的学位论文，并从组合逻辑的角度对其进行了考察。摘要指出，这一工作可能揭示了一种被遗忘的证明理论。由于摘要非常简短，未给出具体的技术细节、形式化定义或主要定理；因此本文的贡献更多在于提出一个历史与概念上的视角，将组合逻辑与早期证明论研究联系起来。我们可将其视为对证明论史和组合逻辑基础的一次重访，可能有助于理解证明、计算与组合子之间的深层联系。

问题

研究问题是如何在组合逻辑的视角下理解 MacLane 的证明论工作，以及其中是否蕴含一种被遗忘的证明理论。

方法

方法是以组合逻辑为透镜，重新解读 MacLane 的证明论学位论文。

评估

摘要未说明评估方式；从摘要看，这更像是一项历史与概念性的考察，而非包含实验或形式化评估的技术论文。

链接与引用

DOI 原文 · PDF（开放获取） ·

@article{paperbot778,
  title = {A Forgotten Theory of Proofs ?},
  author = {Erwin Engeler},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 15, Issue 3},
  year = {2019},
  doi = {10.23638/lmcs-15(3:7)2019}
}