Related papers: Simple Proofs of the Variational and Multiple Prio…
We give a pen and paper and (comparatively) much simpler proof to verify of the Four Colour Theorem.
We upgrade [1] to a complete proof of the conjecture NP = PSPACE. [1]: L. Gordeev, E. H. Haeusler, Proof Compression and NP Versus PSPACE, Studia Logica (107) (1): 55-83 (2019)
This paper presents the integral(or differential) form of G-BSDEs, gives some kind of apriori estimates of their solutions, and under a very strong condition, proves the G-martingale representation theorem, and the existence and uniqueness…
Discussion of Overall Objective Priors by James O. Berger, Jose M. Bernardo, Dongchu Sun [arXiv:1504.02689].
Discussion of Overall Objective Priors by James O. Berger, Jose M. Bernardo, Dongchu Sun [arXiv:1504.02689].
Discussion of Overall Objective Priors by James O. Berger, Jose M. Bernardo, Dongchu Sun [arXiv:1504.02689].
Discussion of Overall Objective Priors by James O. Berger, Jose M. Bernardo, Dongchu Sun [arXiv:1504.02689].
We extend de Finetti's (1937) notion of exchangeability to finite and countable sequences of variables, when a subject's beliefs about them are modelled using coherent lower previsions rather than (linear) previsions. We prove…
We present a self-contained elementary and detailed exposition of Mertens' own proof of his theorem on the divergence of the series of the reciprocals of the primes and compare it with the modern proofs. His proof contains explicit…
The paper adjoins the book B.Plotkin, S.Vovsi "Varieties of representations of groups", Riga, "Zinatne", 1983, and turns to be, in a sense, its continuation. In the book the varieties of representations had been considered. In the matter of…
The present article is devoted to representations of rational numbers in terms sign-variable Cantor expansions. The main attention is given to one of the discussions given by J. Galambos in [4].
We give an elementary probabilistic proof of a binomial identity. The proof is obtained by computing the probability of a certain event in two different ways, yielding two different expressions for the same quantity.
Modifying an idea of E. Brietzke we give simple proofs for the recurrence relations of some sequences of binomial sums which have previously been obtained by other more complicated methods.
We present the real interpolation with variable exponent and we prove the basic properties in analogy to the classical real interpolation. More precisely, we prove that under some additional conditions, this method can be reduced to the…
We present a proof of a conjecture of Goh and Wildberger on the factorization of the spread polynomials. We indicate how the factors can be effectively calculated and exhibit a connection to the factorization of Fibonacci numbers into…
The aim of this short note is twofold. First, we give a sketch of the proof of a recent result proved by the authors in the paper [Colombo, Crippa, and Spirito, Calc. Var. Partial Differential Equations 2015] concerning existence and…
We find analogues of the primitive divisor results of Zsigmondy, Bang, Bilu-Hanrot-Voutier, and Carmichael in polynomial rings, following the methods of Carmichael.
We sketch several proofs of F\'ary--Milnor theorem.
We give some easy necessary and sufficient criteria for twists of abelian varieties by Artin representations to be simple.
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…