Otwarty dostęp

Formal Proof of Transcendence of the Number e. Part I

Yasushige Watase

Yasushige Watase

Suginami-ku Matsunoki 6Tokyo, Japan
Wyszukaj tego autora
Sciendo|Google Scholar
Watase, Yasushige
  
30 gru 2024
Formal Proof of Transcendence of the Number e. Part I's Cover Image
O artykule
Poprzedni artykuł
Następny artykuł
Zacytuj
Pobierz okładkę
Data publikacji: 30 gru 2024
Zakres stron: 111 - 120
Przyjęty: 17 lis 2024
DOI: https://doi.org/10.2478/forma-2024-0008
Słowa kluczowe
© 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.

Język:
Angielski
Częstotliwość wydawania:
1 razy w roku
Dziedziny czasopisma:
Matematyka, Matematyka ogólna, Informatyka, Informatyka, inne
Kanał RSS czasopisma