Accès libre

Formal Proof of Transcendence of the Number e. Part II

Yasushige Watase

Yasushige Watase

Tokyo, Japan
Recherchez cet auteur sur
Sciendo|Google Scholar
Watase, Yasushige
  
30 déc. 2024
Formal Proof of Transcendence of the Number e. Part II's Cover Image
À propos de cet article
Article précédent
Article suivant
Citez
Télécharger la couverture
Publié en ligne: 30 déc. 2024
Pages: 121 - 131
Accepté: 17 nov. 2024
DOI: https://doi.org/10.2478/forma-2024-0009
Mots clés
© 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.

Langue:
Anglais
Périodicité:
1 fois par an
Sujets de la revue:
Mathématiques, Mathématiques générales, Informatique, Informatique, autres
RSS Feed de la revue