Uneingeschränkter Zugang

Formal Proof of Transcendence of the Number e. Part I

Yasushige Watase

Yasushige Watase

Suginami-ku Matsunoki 6Tokyo, Japan
Suche nach diesem Autor auf
Sciendo|Google Scholar
Watase, Yasushige
  
30. Dez. 2024
Formal Proof of Transcendence of the Number e. Part I's Cover Image
Über diesen Artikel
Vorheriger Artikel
Nächster Artikel
Zitieren
COVER HERUNTERLADEN
Online veröffentlicht: 30. Dez. 2024
Seitenbereich: 111 - 120
Akzeptiert: 17. Nov. 2024
DOI: https://doi.org/10.2478/forma-2024-0008
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 prove the transcendence of the number e using the Mizar formalism, following Hurwitz’s proof. This article prepares the necessary definitions and lemmas. The main body of the proof will be presented separately.

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