对数学证明的审查与数学可谬性

摘要

本研究基于宏观角度，皮尔士、欧里斯特以及拉卡托斯提出数学可谬性分析，进一步阐述数学证明可审查性，能够确保数学证明正确。但由于存在机器证明以及长证明等无法实现数学审查，但正是由于这些证明的存在，也为数学可能性分析提供重要的微观证据。