Related papers: A Missing Proof of The Gibbard-Satterthwaite Theor…

In his paper on the incompleteness theorems, G\"odel seemed to say that a direct way of constructing a formula that says of itself that it is unprovable might involve a faulty circularity. In this note, it is proved that 'direct'…

The proof of the conjecture of the Birch and Swinnerton - Dyer is presented in the paper. The Riemann's hypothesis on the distribution of non-trivial zeroes of the zeta-function of Riemann, previously proven, is word to prove this…

G\"odel's first and second incompleteness theorems are corner stones of modern mathematics. In this article we present a new proof of these theorems for ZFC and theories containing ZFC, using Chaitin's incompleteness theorem and a very…

Based on the results people have obtained, we try to prove the Jacobian conjecture, but there is a gap in the proof.

Parikh's theorem is a fundamental result of the formal language's theory. There had been published many proofs and many papers claimed to provide a simplified proof, but most of them are long and still complicated. We provide the proof that…

We give a short and relatively elementary proof of the Hilton-Milner Theorem.

We give an alternative proof of Kov\'acs' vanishing theorem. Our proof is based on the standard arguments of the minimal model theory. We do not need the notion of Du Bois pairs. We reduce Kov\'acs' vanishing theorem to the well-known…

In this paper we briefly review and analyze three published proofs of Chaitin's theorem, the celebrated information-theoretic version of G\"odel's incompleteness theorem. Then, we discuss our main perplexity concerning a key step common to…

We give a purely combinatorial proof for the infinitary van der Waerden's theorem.

Recently GM Sofi & SA Shabir [arXive: 1903.01850v2 [math.GM] 6 Mar 2019] made an attempt to prove the Sendov's conjecture. But unfortunately the proof is not correct. In this note, we discuss the fallacy in the proof.

We provide a new simple and transparent proof of the version of Kummer's test given in [Tong, J. (1994). Amer. Math. Monthly. 101(5): 450--452]. Our proof is based on an application of a Hardy--Littlewood Tauberian theorem.

In a recent letter (Phys. Lett. A 377 (2013) 1076, arXiv:0905.3801), the authors presented an impossibility proof of quantum bit commitment, which attempted to cover all possible protocols that involve both quantum and classical…

The main result of this paper, Simon's conjecture for fibered knots, was previously proven by Silver and Whitten math.GT/0405462 with essentially the same proof. This paper is therefore being withdrawn. The author would like to apologize…

A proof based on reduction to finite fields of Esnault-Viehweg's stronger version of Sommese Vanishing Theorem for $k$-ample line bundles is given. This result is used to give different proofs of isotriviality results of A. Parshin and L.…

Upon re-examining Arnold's established lemma for explaining his famous limit problem, we have determined that while the lemma itself is correct, there is a defect in the original geometric proof. In this paper, we prove the correctness of…

A proof that the generation of gravitational waves is physically impossible.

In this note, we present a simple directed graph proof of Sharkovsky's theorem.

This is an addendum to a previous article, which aims to provide the proofs of some results in that paper (Theorem 7.5 and Proposition 9.15) which were removed from its final version. The reason for such omission is that these proofs follow…

We take an argument of G\"odel's from his ground-breaking 1931 paper, generalize it, and examine its validity. The argument in question is this: the sentence $G$ says about itself that it is not provable, and $G$ is indeed not provable;…

We give a new proof of a theorem of Mansour and Sun by using number theory and Rothe's identity.