Making Sense of Proof by Contradiction [pdf]
Summary
This paper discusses how to make sense of proof by contradiction, a fundamental mathematical reasoning technique, for educational purposes.
View Cached Full Text
Cached at: 06/27/26, 03:49 AM
Similar Articles
The Problem of Pedagogy in Advanced Mathematics
The author discusses the lack of detailed, complete proofs in advanced mathematics textbooks, which creates unnecessary barriers for students and professionals, and advocates for the creation of more accessible accompaniment notes.
Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
This paper introduces Formal Conjectures, an evolving benchmark of 2615 mathematical statements formalized in Lean 4, including open research conjectures for proof discovery and solved problems for auto-formalization, designed to evaluate automated reasoning systems with zero contamination.
Evaluating Research-Level Math Proofs via Strict Step-Level Verification
This paper introduces a strict step-level verification framework for evaluating research-level mathematical proofs using LLMs, addressing context poisoning and outperforming global evaluation. The approach shifts focus to deductive constraints and reveals that remaining errors are often due to pedantic hyper-rigor, exposing implicit ambiguities in benchmarks.
Dungeon Proof Crawler: learn how to write proofs with RPG
Dungeon Proof Crawler is an educational RPG that teaches players how to write mathematical proofs through dungeon crawling gameplay.
Proving the Fundamental Theorem of Arithmetic in Agda
A detailed blog post presenting a fully commented proof of the Fundamental Theorem of Arithmetic in Agda, intended for intermediate learners of the proof assistant.