#

proof-by-contradiction

Here are 5 public repositories matching this topic...

AEjonanonymous / Euler-Mascheroni

A Formal Proof of the Irrationality of the Euler-Mascheroni Constant.

lean formal-verification number-theory irrational-numbers interactive-theorem-proving proof-engineering mathlib harmonic-series natural-logartihm computational-number-theory infinite-series euler-mascheroni proof-by-contradiction math-proof lean-prover constructive-proof sondow-identity

Updated Apr 27, 2026
Lean

AEjonanonymous / Beal-Conjecture

The Beal Symmetry Collision: A Machine-Certified Solution via p-adic Valuations

Updated Apr 20, 2026
Lean

AEjonanonymous / OPN

A Formal Proof of the Non-Existence of Odd Perfect Numbers for Euler Primes p ≥ 5 via Structural Divisibility Constraints.

euler euclid perfect index prime-numbers formal-verification number-theory odd interactive-theorem-proving abundance mathlib computational-number-theory inequalities stuctural lean4 proof-by-contradiction math-proof

Updated Apr 26, 2026
Lean

nshiell / php-halting-problem-proof-by-contradiction

php math humor mathematics maths turing humour halting-problem alan-turing proof-by-contradiction

Updated Sep 25, 2022
PHP

Carlre2804 / Beal-Conjecture

Explore a Beal Conjecture proof using p-adic valuation to show why coprime powers cannot satisfy a^x + b^y = c^z

collision computational-mathematics formal-verification number-theory bases interactive-theorem-proving asymmetry mathlib constructive-mathematics proof-by-induction proof-by-contradiction math-proof arxiv-compatible abc-extension gcd-analysis american-mathematical-society

Updated May 5, 2026
Lean

Improve this page

Add a description, image, and links to the proof-by-contradiction topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proof-by-contradiction topic, visit your repo's landing page and select "manage topics."