Open Access

Formal Proof of Transcendence of the Number e. Part II

Yasushige Watase

Yasushige Watase

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

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