Related papers: A well-motivated proof that pi is irrational
The first estimate of the upper bound $\mu(\pi)\leq42$ of the irrationality measure of the number $\pi$ was computed by Mahler in 1953, and more recently it was reduced to $\mu(\pi)\leq7.6063$ by Salikhov in 2008. Here, it is shown that…
In this paper possible completion $^*R_{d}$ of the Robinson non-archimedean field $^*R$ constructed by Dedekind sections. Given an class of analytic functions of one complex variable $f \in C[z]$,we investigate the arithmetic nature of the…
The goal of this note is to construct, on many manifolds, non-trivial concordances from the identity to itself. This produces counterexamples to a recent conjecture by Botvinnik.
We report new hypergeometric constructions of rational approximations to Catalan's constant, $\log2$, and $\pi^2$, their connection with already known ones, and underlying "permutation group" structures. Our principal arithmetic achievement…
Denote by $\sigma_k(n)$ the sum of the $k$-th powers of the divisors of $n$, and let $S_k=\sum_{n\geq 1}\frac{\sigma_k(n)}{n!}$. We prove that Schinzel's conjecture H implies that $S_k$ is irrational, and give an unconditional proof for the…
We show that the Novikov-Shubin invariant of an element of the integral group ring of the lamplighter group Z_2 \wr Z can be irrational. This disproves a conjecture of Lott and Lueck. Furthermore we show that every positive real number is…
The decimal digits of $\pi$ are widely believed to behave like as statistically independent random variables taking the values $0, 1, 2, 3, 4, 5$, $6, 7, 8, 9$ with equal probabilities $1/10$. In this article, first, another similar…
Informal logic is a method of argument analysis which is complementary to that of formal logic, providing for the pragmatic treatment of features of argumentation which cannot be reduced to logical form. The central claim of this paper is…
If the cosine of a rational multiple of $\pi$ is a rational number then it is an integral multiple of $\frac12$. For this fact, we give a proof accessible to an interested school student. We then discuss which quadratic and cubic…
We consider integer sequences that satisfy a recursion of the form $x_{n+1} = P(x_n)$ for some polynomial $P$ of degree $d > 1$. If such a sequence tends to infinity, then it satisfies an asymptotic formula of the form $x_n \sim A…
Let $p$ be an odd natural number $\ge 3$. Inspired by results from Euclid's {\em Elements}, we express the irrational $$y=\sqrt[p]{d+\sqrt R}, $$ whose degree is $2p$, as a polynomial function of irrationals of degrees $\le p$. In certain…
The famous conjecture of V.Ya.Ivrii (1978) says that {\it in every billiard with infinitely-smooth boundary in a Euclidean space the set of periodic orbits has measure zero}. In the present paper we study the complex version of Ivrii's…
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from existing bunched logics in that its multiplicative connectives behave…
A folklore proof of Euclid's theorem on the infinitude of primes uses the Euler product and the irrationality of $\zeta(2) = \pi^2/6$. A quantified form of Euclid's Theorem is Bertrand's postulate $p_{n+1} < 2p_n$. By quantifying the…
Plausible reasoning concerns situations whose inherent lack of precision is not quantified; that is, there are no degrees or levels of precision, and hence no use of numbers like probabilities. A hopefully comprehensive set of principles…
This somewhat unusual proof for the fact that the reals are uncountable, which is adapted from one of Bourbaki's proofs in "Fonctions d'une variable reelle", may be of some interest.
The ratio of the circumference, C, of a circle to its diameter, D, is a constant number denoted by $\pi$ and is independent of the size of the circle. It is known that $\pi$ is an irrational number and therefore cannot be expressed as a…
The logic of bunched implication BI provides a framework for reasoning about resource composition and forms the basis for an assertion language of separation logic which is used to reason about software programs. Propositional BI is…
The logic of bunched implications (BI), introduced by O'Hearn and Pym (1999), has attracted significant attention due to its elegant proof calculus, varied semantics, and close connections to the propositional fragment of separation logic.…
We prove that the sum of the series $\sum_{n=0}^{\infty}\, p^{v_p(n!)}$ is a $p$-adic irrational for all primes $p$, where $v_p(n!)$ denotes the exponent of the highest power of $p$ dividing $n!$.