About the Project

Vision

fermatically is a comprehensive platform focused on understanding the great proofs of long-standing conjectures:

• Fermat's Last Theorem (Wiles, 1995) – in progress
• Poincaré Conjecture (Perelman, 2003) – planned
• Others (Four Color Theorem, Kepler Conjecture, …) – future

Structure

The platform is organized into self-contained, cross-referenced topics:

1. Foundation Topics – Elementary mathematics reused across multiple proofs
2. Tool Topics – Galois Theory, Elliptic Curves, Modular Forms, … – each self-contained, but prerequisites for specific proof topics
3. Proof Topics – Detailed expositions of the great proofs
4. Meta Topics – Modern methods (HoTT, formal verification in Lean/Coq) – future

Principles

• No prerequisites: The exposition starts from school mathematics
• No oversimplification: All mathematical details are covered – clearly and precisely formulated
• Self-contained topics: Each topic is understandable on its own
• Cross-references: A dependency graph shows which foundations are needed for which proof
• Bilingual: Articles appear in German and English (DE first)

Sources

The platform is based on:

• Andrew Wiles – Modular elliptic curves and Fermat's Last Theorem, Annals of Mathematics 141 (1995), pp. 443–551
• Nigel Boston – The Proof of Fermat's Last Theorem (textbook, Univ. Wisconsin, 2003)

See also the Sources page for details.

Notice

The articles on this platform are created with the assistance of Artificial Intelligence and editorially reviewed.