Abstract
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
Page range: 121 - 131
Accepted on: Nov 17, 2024
Published on: Dec 30, 2024
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
© 2024 Yasushige Watase, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.