自动化数学与证明及劳动的重构
历史与综述
2024-06-27 v1 计算机与社会
计算机科学中的逻辑
数论
摘要
本文考察自动化如何重构了数学证明与劳动，以及未来可能发生的变化。文章讨论了证明的实用标准，区分了研究中突出的自动化形式，对反复出现的假设进行批判，并探问自动化可能如何重塑劳动与署名的生态。
引用
@article{arxiv.2309.11457,
title = {Automated Mathematics and the Reconfiguration of Proof and Labor},
author = {Rodrigo Ochigame},
journal= {arXiv preprint arXiv:2309.11457},
year = {2024}
}
备注
15 pages, 1 figure; to appear in the Bulletin of the American Mathematical Society