Related papers: Menger 1934 revisited
We unify Godel's First Incompleteness Theorem (1931), Tarski's Undefinability Theorem (1933), Godel-Carnap's Diagonal Lemma (1934), and Rosser's (strengthening of Godel's first) Incompleteness Theorem (1936), whose proofs resemble much and…
We study the recursion (aka Schur) parameters for monic polynomials orthogonal on the unit circle with respect to a weight which provides negative answer to the conjecture of Steklov.
The Frauchiger--Renner paradox derives an inconsistency when quantum theory is used to describe the use of itself, by means of a scenario where agents model other agents quantumly and reason about each other's knowledge. We observe that…
It is argued that the conclusions obtained by Renninger (Zeitschrift fur Physik 136, 251 (1953)), by means of an interferometer thought experiment, have important implications for a number of still ongoing discussions about quantum…
The orthodox quantum mechanics has been commonly regarded as being supported decisively by the polarization EPR experiments, in which Bell's inequalities have been violated. The given conclusion has been based, however, on several mistakes…
In this paper our aim is to show some new inequalities of Redheffer type for Bessel and modified Bessel functions of the first kind. The key tools in our proofs are some classical results on the monotonicity of quotients of differentiable…
Back in 1755, Euler explored an interesting array of numbers that now frequently appears in polynomial identities, combinatorial problems, and finite calculus, among other places. These numbers share a strong connection with well-known…
We formulate an inverse problem for an uncoupled space-time fractional Schr\"odinger equation on closed manifolds. Our main goal is to determine the fractional powers and the Riemannian metric (up to an isometry) simultaneously from the…
This manuscript includes some classical results we select apart from the new results we've found on the Analysis of Boolean Functions and Fourier-Entropy-Influence conjecture. We try to ensure the self-completeness of this work so that…
Leonhard Euler likely developed his summation formula in 1732, and soon used it to estimate the sum of the reciprocal squares to 14 digits --- a value mathematicians had been competing to determine since Leibniz's astonishing discovery that…
In this paper, theorem 3.2 and theorem 4.1 of \"{O}z\c{c}a\u{g} and Eysen [S. \"{O}z\c{c}a\u{g} and A.E. Eysen, Almost Menger property in bitopological spaces, Ukrainian Math. J., {\bf 68}, No 6, 950-958 (2016)] are proven to be incorrect.…
Remarks on the life and work of Paul Erdos.
Paradoxes are interesting puzzles in philosophy and mathematics, and they could be even more fascinating, when turned into proofs and theorems. For example, Liar's paradox can be translated into a propositional tautology, and Barber's…
In this paper, we show the existence and multiplicity of nontrivial, non-negative solutions of the fractional $p$-Kirchhoff problem \begin{equation*} \begin{array}{rllll}…
This paper deals with the problem of measurable lifting modification for stochastic processes in its most general form and with the 'product lifting problem'. Solutions to the positive are reduced to the existence of marginals with respect…
It is shown that Schr\"odinger maximal inequalities over fractals are equivalent to the $L^2$ decay rates of Fourier transforms of fractal measures over the paraboloid. A similar connection is shown between the wave equation and cone…
Let $\overline{p}(n)$ denote the overpartition function. In this paper, our primary goal is to study the asymptotic behavior of the finite differences of the logarithm of the overpartition function, i.e., $(-1)^{r-1}\Delta^r \log \p(n)$, by…
The main contribution of this paper is the use of probability theory to prove that the three-parameter Mittag-Leffler function is the Laplace transform of a distribution and thus completely monotone. Pollard used contour integration to…
In 1891 Cantor presented two proofs with the purpose to establish a general theorem that any set can be replaced by a set of greater power. Cantor's power set theorem can be considered to be an extension of Cantor's 1891 second proof and…
The concept of informal mathematical proof considered in intuitionism is apparently vulnerable to a version of the liar paradox. However, a careful reevaluation of this concept reveals a subtle error whose correction blocks the…