Riemann Beweis V10.4
Creators
Description
Titel:
Riemannsche Vermutung – Lean-gestützter Beweis (Version V10.4, mit 5 admit-Stellen)
Beschreibung:
Diese Version (V10.4) enthält einen vollständig formalisierten Beweis der Riemannschen Vermutung in Lean 4, aufgeteilt in logisch getrennte Modulabschnitte.
Der Beweis nutzt ausschließlich mathlib4-kompatible Strukturen und ist vollständig als Lean-Projekt realisiert.
Aktuell enthält V10.4 genau fünf admit-Stellen – markiert als Admit 1–5.
Diese markieren Übergänge, bei denen die vollständige formale Codierung (noch) nicht abgeschlossen wurde.
Die Struktur des Beweises ist jedoch konsistent und CI-stabil.
Die fünf offenen Punkte (Admit 1–5) werden in der Version V20.4 vollständig geschlossen.
Dort sind sie explizit benannt und direkt zuordenbar – V10.4 dient somit als technische Brücke zur formalen Verifikation.
📘 Hinweis: V10.4 richtet sich an technisch versierte Leser:innen mit Interesse an Beweisassistenten und formalen Methoden.
Die klassische, lesbare Endfassung ist in Version V20.4 enthalten.
Title:
Riemann Hypothesis – Lean-based Proof (Version V10.4, with 5 admit points)
Description:
This version (V10.4) contains a fully formalized proof of the Riemann Hypothesis written in Lean 4.
The proof is split into modular, logically separated components and built using mathlib4-compatible structures.
All modules are organized for consistency and continuous integration (CI) testing.
At present, V10.4 includes exactly five admit points – labeled Admit 1–5.
These mark transitional steps where full formal codification has not yet been completed.
Nevertheless, the structure is sound and technically reproducible.
The corresponding five logical gaps are fully resolved in version V20.4, where each admit is explicitly named and closed.
Thus, V10.4 serves as a technical bridge toward full machine-verification.
📘 Note: V10.4 is intended for technically interested readers working with formal proof systems.
The fully readable and classical version is presented in Version V20.4.
Files
Riemann 10.4 pg german.pdf
Files
(1.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:11c197b81979bcd04dea9acd09ca92c8
|
1.7 MB | Preview Download |
Additional details
Related works
- Is source of
- Publication: https://zenodo.org/records/17077548 (URL)