Accesso libero

Formal Proof of Transcendence of the Number e. Part II

Yasushige Watase

Yasushige Watase

Tokyo, Japan
Cerca questo autore su
Sciendo|Google Scholar
Watase, Yasushige
  
30 dic 2024
Formal Proof of Transcendence of the Number e. Part II's Cover Image
INFORMAZIONI SU QUESTO ARTICOLO
Articolo precedente
Articolo Successivo
Cita
Scarica la copertina
Pubblicato online: 30 dic 2024
Pagine: 121 - 131
Accettato: 17 nov 2024
DOI: https://doi.org/10.2478/forma-2024-0009
Parole chiave
© 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.

Lingua:
Inglese
Frequenza di pubblicazione:
1 volte all'anno
Argomenti della rivista:
Matematica, Matematica generale, Informatica, Informatica, altro
Feed RSS della rivista