理解反证法 [pdf]
摘要
本文讨论如何理解反证法，这是一种基本的数学推理技巧，旨在用于教育目的。
暂无内容
查看缓存全文
缓存时间: 2026/06/27 03:49
提供的输入内容似乎是PDF文件的原始二进制数据，而非可读的文本或Markdown文章。因此无法进行翻译。请提供纯文本或Markdown格式的原文内容。
相似文章
高等数学教学法的问题
作者讨论了高等数学教科书中缺乏详细且完整证明的问题，这为学生和专业人士造成了不必要的障碍，并倡导编写更易理解的配套笔记。
形式化猜想：数学中可验证发现的开放且持续演进的基准
本文介绍了形式化猜想（Formal Conjectures），这是一个持续演进的基准，包含2615个在 Lean 4 中形式化的数学陈述，其中包括用于证明发现的开放研究猜想和用于自动形式化的已解决问题，旨在零污染地评估自动推理系统。
通过严格步骤级验证评估研究级数学证明
本文介绍了一种严格的步骤级验证框架，用于评估使用LLM的研究级数学证明，解决了上下文污染问题，并优于全局评估。该方法将重点转向演绎约束，并揭示了剩余错误通常源于学究式过度严谨，暴露了基准中的隐含歧义。
在Agda中证明算术基本定理
一篇详细的博客文章，展示了在Agda中经过全面注释的算术基本定理证明，面向证明助手的中级学习者。
不可知的数学可帮助隐藏秘密
一种新型的零知识证明利用哥德尔不完备定理克服了之前的保密性限制，建立了数理逻辑与密码学之间的惊人联系。