Uneingeschränkter Zugang

Formal Proof of Transcendence of the Number e. Part II

Yasushige Watase

Yasushige Watase

Tokyo, Japan
Suche nach diesem Autor auf
Sciendo|Google Scholar
Watase, Yasushige
  
30. Dez. 2024
Formal Proof of Transcendence of the Number e. Part II's Cover Image
Über diesen Artikel
Vorheriger Artikel
Nächster Artikel
Zitieren
COVER HERUNTERLADEN
Online veröffentlicht: 30. Dez. 2024
Seitenbereich: 121 - 131
Akzeptiert: 17. Nov. 2024
DOI: https://doi.org/10.2478/forma-2024-0009
Schlüsselwörter
© 2024 Yasushige Watase, published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.

In this article we formalize the main part of Hurwitz’s proof of the transcendence of the number e in the Mizar language. The previous article prepared the necessary definitions and lemmas. Here we deal with main crucial steps of the proof.

Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
1 Hefte pro Jahr
Fachgebiete der Zeitschrift:
Mathematik, Mathematik, Allgemeines, Informatik, Informatik, andere
Zeitschrift RSS Feed