Related papers: A Non-Constructive Proof of Cantor's Theorem
We present a simple information theoretical proof of the Fueter-P\'olya Conjecture: there is no polynomial pairing function that defines a bijection between the set of natural numbers N and its product set N^2 of degree higher than 2. We…
We present a new proof of the Joints Theorem without taking derivatives. Then we generalize the proof to prove the Multijoints Conjecture and Carbery's generalization. All results are in any dimension over an arbitrary field.
The main result in this paper is a non-existence Theorem of entire $Q_{n-1}$-translators in $\mathbb{R}^{n+1}$. In addition, an example of non-entire complete $Q_{n-1}$-translator has been found and a Tangential Principle for…
We present a very simple example of a theorem with constructive and non-constructive proofs: the equation c^2 x^2 - (c^2 + c)x + c = 0 has a solution.
In this paper, we prove some new thickness theorems with partial derivatives. We give some applications. First, we give a simple criterion that can judge whether two scaled Cantor sets have non-empty intersection. Second, we prove under…
A new method of connecting two wavelet sets with a continuous path of wavelet sets is given. The method is based on a pure set theoretic fact known as the Schroder-Cantor-Bernstein theorem and on a characterization of wavelet sets in terms…
Baker's conjecture states that a transcendental entire function of order less than $1/2$ has no unbounded Fatou components. It is known that, for such functions, there are no unbounded periodic Fatou components and so it remains to show…
In this note, we give a proof of the famous theorem of M. Morse dealing with the cancellation of a pair of non-degenerate critical points of a smooth function. Our proof consists of a reduction to the one-dimensional case where the question…
John Horton Conway's Cosmological Theorem, about Audioactive sequences, for which no extant proof existed, is given a computer-generated proof, hopefully for good.
No theory of physics has been collectively scientifically verified in an experiment so far. It is pointed out that probabilistic structure of quantum theory can be collectively scientifically verified in an experiment. It is also argued…
Four constructions result from a desire to create enhancements to Cantor's infinite real set cardinality. Each continues to keep Cantor's cardinality formulation in place while providing new comparisons of arbitrary infinite sets. To…
The proofs that the real numbers are denumerable will be shown, i.e., that there exists one-to-one correspondence between the natural numbers $N$ and the real numbers $\Re$. The general element of the sequence that contains all real numbers…
We comment on a recent paper that connects certain forms of machine learning to Set Theory. We point out that part of the set-theoretic machinery is related to a result of Kuratowski about decompositions of finite powers of sets and we show…
A selfcontained proof of the KAM theorem in the Thirring model is discussed, completely relaxing the ``strong diophantine property'' hypothesis used in previous papers. Keywords: \it KAM, invariant tori, classical mechanics, perturbation…
We present an elementary proof of Fermat's Last Theorem. No ancillary results are used, not even the most basic ones. The proof directly leads to a contradiction of the Fermat equation in the set of integers.
We give a new proof of Fatou's theorem: {\em if an algebraic function has a power series expansion with bounded integer coefficients, then it must be a rational function.} This result is applied to show that for any non--trivial completely…
It was shown by Antunovi\'{c}, Burdzy, Peres, and Ruscher that a Cantor function added to one-dimensional Brownian motion has zeros in the middle $\alpha$-Cantor set, $\alpha \in (0,1)$, with positive probability if and only if $\alpha \neq…
The Kochen-Specker theorem has been discussed intensely ever since its original proof in 1967. It is one of the central no-go theorems of quantum theory, showing the non-existence of a certain kind of hidden states models. In this paper, we…
The uncountability of the reals was first established by Cantor in what was later heralded as the first paper on set theory. Since the latter constitutes the official foundations of mathematics, the logical study of the uncountability of…
We give a new proof of a classical theorem on approximation of continuous functions on totally real sets