Foukzon, Jaykov (2021) Set Theory INC# ∞# Based on Innitary Intuitionistic Logic with Restricted Modus Ponens Rule. Hyper Inductive Denitions. Application in Transcendental Number Theory. Generalized Lindemann-Weierstrass Theorem. Journal of Advances in Mathematics and Computer Science, 36 (8). pp. 70-119. ISSN 2456-9968
1609-Article Text-3150-3-10-20221012.pdf - Published Version
Download (540kB)
Abstract
In this paper intuitionistic set theory INC#∞# in infinitary set theoretical language is considered. External induction principle in nonstandard intuitionistic arithmetic were derived. Non trivial application in number theory is considered.The Goldbach-Euler theorem is obtained without any references to Catalan conjecture. Main results are: (i) number ee is transcendental; (ii) the both numbers e + π and e − π are irrational.
Item Type: | Article |
---|---|
Subjects: | Afro Asian Library > Mathematical Science |
Depositing User: | Unnamed user with email support@afroasianlibrary.com |
Date Deposited: | 27 Feb 2023 09:53 |
Last Modified: | 14 Jun 2024 11:30 |
URI: | http://classical.academiceprints.com/id/eprint/75 |