Related papers: Another Proof of $e^{x/y}$ being irrational
Fracterms are introduced as a proxy for fractions. A precise definition of fracterms is formulated and on that basis reasonably precise definitions of various classes of fracterms are given. In the context of the meadow of rational numbers…
Several continued fraction expansions for $e$ have been produced by an automated conjecture generator (ACG) called \emph{The Ramanujan Machine}. Some of these were already known, some have recently been proved and some remain unproven.…
Using WZ forms, Apery-style proofs of the irrationality of the q-analogues of the Harmonic seires and Ln(2) are given. For the q-analogue of Ln(2), this method of proof produces an improved irrationality measure.
We give a procedure for counting the number of different proofs of a formula in various sorts of propositional logic. This number is either an integer (that may be 0 if the formula is not provable) or infinite.
In this paper we discuss contrastive explanations for formal argumentation - the question why a certain argument (the fact) can be accepted, whilst another argument (the foil) cannot be accepted under various extension-based semantics. The…
Let the continued fraction expansion of any irrational number $t \in (0,1)$ be denoted by $[0,a_{1}(t),a_{2}(t),...]$ and let the i-th convergent of this continued fraction expansion be denoted by $c_{i}(t)/d_{i}(t)$. Let \[ S=\{t \in…
In the present paper, we give sufficient conditions on the elements of the continued fractions $A$ and $B$ that will assure us that the continued fraction $A^B$ is a transcendental number. With the same condition, we establish a…
In this paper, we establish the irrationality of some open problems in mathematics based on using a recursive formula that generate the complete sequence of numbers. see [1] But before getting into that we begin with some Ramanujan notable…
A new derivative, called deformable derivative, is introduced here which is equivalent to ordinary derivative in the sense that one implies other. The deformable derivative is defined using limit approach like that of ordinary one but with…
In this note, we give an alternate proof of the multinomial theorem using a probabilistic approach. Although the multinomial theorem is basically a combinatorial result, our proof may be simpler for a student familiar with only basic…
A classical theorem in continued fractions due to Serret shows that for any two irrational numbers x and y related by a transformation $\gamma$ in PGL(2,Z) there exist s and t for which the complete quotients x_s and y_t coincide. In this…
The continued fraction mapping maps a number in the interval $[0,1)$ to the sequence of its partial quotients. When restricted to the set of irrationals, which is a subspace of the Euclidean space $\mathbb{R}$, the continued fraction…
This paper presents geometric proofs for the irrationality of square roots of select integers, extending classical approaches. Building on known geometric methods for proving the irrationality of sqrt(2), the authors explore whether similar…
Elementary proofs of unique factorization in rings of arithmetic functions using a simple variant of Euclid's proof for the fundamental theorem of arithmetic.
This paper shows that, even at the most basic level, the parallel, countable branching and uncountable branching recurrences of Computability Logic (see http://www.cis.upenn.edu/~giorgi/cl.html) validate different principles.
This paper gives two new combinatorial topological proofs of the classification of rational tangles. Each proof rests on an elegant lemma showing that rational tangles are isotopic to canonical alternating rational tangles. The first proof…
This article offers different proofs of ten inequalities from those already published. So that the readers can see for themselves, the tasks specified in the condition of the source and classical inequalities which used in previously…
Following earlier results of Sondow, we propose another criterion of irrationality for Euler's constant $\gamma$. It involves similar linear combinations of logarithm numbers $L\_{n,m}$. To prove that $\gamma$ is irrational, it suffices to…
A family of asymptotic solutions at infinity for the system of ordinary differential equations is considered. Existence of exact solutions which have these asymptotics is proved.
We study an inverse problem for the fractional Allen-Cahn equation. Our formulation and arguments rely on the asymptotics for the fractional equation and unique continuation properties.