Related papers: Borel Determinacy: A Streamlined Proof
A considerable body of work in AI has been concerned with aggregating measures of confirmatory and disconfirmatory evidence for a common set of propositions. Claiming classical probability to be inadequate or inappropriate, several…
In 1982 Macdonald published his now famous constant term conjectures for classical root systems. This paper begins with the almost trivial observation that Macdonald's constant term identities admit an extra set of free parameters, thereby…
We present an alternative proof to the Touchard-Kaplansky formula for the probl\`eme des m\'enages, which, we believe, is simpler than the extant ones and is in the spirit of the elegant original proof by Kaplansky (1943). About the latter…
We present the first class of mathematically rigorous, general, fully self-referential, self-improving, optimally efficient problem solvers. Inspired by Kurt Goedel's celebrated self-referential formulas (1931), such a problem solver…
In this note, we remark on the range in Borel's theorem on the stable cohomology of the arithmetic groups Sp(2n,Z) and SO(n,n;Z). This improves the range stated in Borel's original papers, an improvement that was known to Borel. Our main…
In this paper we produce infinite families of counterexamples to Jantzen's question posed in 1980 on the existence of Weyl $p$-filtrations for Weyl modules for an algebraic group and Donkin's Tilting Module Conjecture formulated in 1990.…
In the present note, we generalize the first part of the Borel-Cantelli lemma. By this generalization, we obtain some strong limit results.
We present an astonishingly simple and elegant proof of the celebrated Basel problem.
In this short note, we give a proof of the free energy part of the BKMP conjecture of C^3 proposed by Bouchard and Sulkowski [4]. Hence the proof of the full BKMP conjecture for the case of C^3 has been finished.
Recently Alan D. Sokal gave a very short and completely elementary proof of the uniform boundedness principle. The aim of this note is to point out that by using a similiar technique one can give a considerably short and simple proof of a…
We prove two conjectures in this paper. The first conjecture is by Lund, Pham and Thu: Given a Borel set $A\subset \mathbb{R}^n$ such that $\dim A\in (k,k+1]$ for some $k\in\{1,\dots,n-1\}$. For $0<s<k$, we have \[ \text{dim}(\{y\in…
There is a striking relationship between a three hundred years old Political Science theorem named "Condorcet's jury theorem" (1785), which states that majorities are more likely to choose correctly when individual votes are often correct…
The authors of the title proved an elegant identity expressing a Toeplitz determinant in terms of the Fredholm determinant of an infinite matrix which (although not described as such) is the product of two Hankel matrices. The proof used…
We develop a flexible method for showing that Borel witnesses to some combinatorial property of $\Delta^1_1$ objects yield $\Delta^1_1$ witnesses. We use a modification the Gandy--Harrington forcing method of proving dichotomies, and we can…
We present a simple method based on the stability and duality of the properties of sampling and interpolation, which allows one to substantially simplify the proofs of some classical results.
To account for the first proof of existence of an irrational magnitude, historians of science as well as commentators of Aristotle refer to the texts on the incommensurability of the diagonal in Prior Analytics, since they are the most…
I present a simple, elementary proof of Morley's theorem, highlighting the naturalness of this theorem.
The impetus for writing this paper are the well publicized media reports that software failure was the cause of the two recent mishaps of the Boeing 737 Max aircraft. The problem considered here though, is a specific one, in the sense that…
We give a new proof for Godel's second incompleteness theorem, based on Kolmogorov complexity, Chaitin's incompleteness theorem, and an argument that resembles the surprise examination paradox. We then go the other way around and suggest…
In the book `What is Mathematics?' Richard Courant and Herbert Robbins presented a solution of a Whitney's problem of an inverted pendulum on a railway carriage moving on a straight line. Since the appearance of the book in 1941 the…