Open Access

Formal Proof of Transcendence of the Number e. Part I

Yasushige Watase

Yasushige Watase

Suginami-ku Matsunoki 6Tokyo, Japan
Search for this author on
Sciendo|Google Scholar
Watase, Yasushige
  
Dec 30, 2024
Formal Proof of Transcendence of the Number e. Part I's Cover Image
About this article
Previous Article
Next Article
Cite
Download Cover
Published Online: Dec 30, 2024
Page range: 111 - 120
Accepted: Nov 17, 2024
DOI: https://doi.org/10.2478/forma-2024-0008
Keywords
© 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.

Language:
English
Publication timeframe:
1 times per year
Journal Subjects:
Mathematics, General Mathematics, Computer Sciences, Computer Sciences, other
Journal RSS Feed