Über das Projekt¶
Vision¶
fermatically ist eine umfangreiche Plattform mit dem Schwerpunkt auf das Verständnis der großen Beweise von lange Zeit unbewiesenen Vermutungen:
- Fermats letzter Satz (Wiles, 1995) – in Arbeit
- Poincaré-Vermutung (Perelman, 2003) – geplant
- Weitere (Vier-Farben-Satz, Keplersche Vermutung, …) – Zukunft
Aufbau¶
Die Plattform ist in eigenständige, querverweisbare Topics gegliedert:
- Grundlagen-Topics – Elementare Mathematik, die für mehrere Beweise wiederverwendet wird
- Werkzeug-Topics – Galois-Theorie, Elliptische Kurven, Modulformen, … – jeweils eigenständig, aber Voraussetzung für bestimmte Beweis-Topics
- Beweis-Topics – Ausführliche Darstellungen der großen Beweise
- Meta-Topics – Moderne Methoden (HoTT, formale Verifikation in Lean/Coq) – Zukunft
Prinzipien¶
- Kein Vorwissen nötig: Die Darstellung setzt bei Schulmathematik an
- Keine Vereinfachung: Alle mathematischen Details werden behandelt – klar und präzise formuliert
- Eigenständige Topics: Jedes Thema ist in sich abgeschlossen verständlich
- Querverweise: Ein Abhängigkeitsgraph zeigt, welche Grundlagen für welchen Beweis nötig sind
- Zweisprachig: Artikel erscheinen auf Deutsch und Englisch (DE zuerst)
Quellen¶
Die Plattform stützt sich auf:
- Andrew Wiles – Modular elliptic curves and Fermat's Last Theorem, Annals of Mathematics 141 (1995), S. 443–551
- Nigel Boston – The Proof of Fermat's Last Theorem (Lehrbuch, Univ. Wisconsin, 2003)
Siehe auch die Quellen-Seite für Details.
Hinweis¶
Die Artikel auf dieser Plattform werden mit Unterstützung von Künstlicher Intelligenz erstellt und redaktionell geprüft.