西肯塔基大学哲学系学生在全国哲学会议上发表研究成果

6 月 7 日至 9 日，哲学专业的学生 Ethan Huffaker 在纽约州阿默斯特举行的伯特兰·罗素学会第51届年会上发表了合作论文《数学原理量化逻辑中证明的紧密重建》。

Huffaker 之前曾获得教职工-本科生参与 (FUSE) 资助，与哲学系助理教授 Landon Elkind 博士合作。会议论文是他们联合研究活动的成果。在论文中，他们提供了 Alfred North Whitehead 和 Bertrand Russell 的里程碑式著作《数学原理》中定理的完整证明。

“ 《数学原理》的文本比英语包含更多的象征意义，”艾尔金德博士说。“实际的文本包含演示，这更像是读者必须遵循的证明的食谱。”

时至今日，《数学原理》问世已有 114 年，但大部分方法仍未从文本中完全重构。不过，本文包含 126 个完整的证明，这些证明是按照《数学原理》作者提供的方法来构建的。完整的证明重构长达 137 页，而文本中提供的证明方法只有 33 页。这表明 Huffaker 和 Elkind 博士的工作揭示了《数学原理》中提出的证明策略的多少细节。

“通过我们完整的校样重建，我们发现了一些有关作者校样实践的事情，纠正了错别字，并确定了文本中以前不清楚的参考和引文，”艾尔金德博士说。“我们计划发布这些内容，这样就没有人需要重新发明轮子了，如果读者对演示不清楚，他们可以按照我们的完整校样进行操作。”

在一次专业会议上发表了这篇论文后，Huffaker 和 Elkind 博士计划在夏季末提交论文进行同行评审并最终发表。