相关论文: Observations concerning G\"odel's 1931
This report first shows the equivalence bewteen several formulations of classical logic in intuitionistic logic (tertium non datur, reductio ad absurdum, Pierce's law). Then it establishes the correctness of the G\"odel-Kolmogorov…
We show that some cardinal arithmetic configurations related to the negation of the Shelah Weak Hypothesis and natural from the forcing point of view are impossible.
By closely rereading the original Turing's 1936 article, we can gain insight about that it is based on the claim to have defined a number which is not computable, arguing that there can be no machine computing the diagonal on the…
Let f be a G-function (in the sense of Siegel), and x be an algebraic number; assume that the value f(x) is a real number. As a special case of a more general result, we show that f(x) can be written as g(1), where g is a G-function with…
Error in proof of theorem 10.
Given a prime $p$, the $p$-adic Littlewood Conjecture stands as a well-known arithmetic variant of the celebrated Littlewood Conjecture in Diophantine Approximation. In the same way as the latter, it admits a natural function field analogue…
The only fault we can fairly lay at Lucas' and Penrose's doors, for continuing to believe in the essential soundness of the Goedelian argument, is their naive faith in, first, non-verifiable assertions in standard expositions of classical…
For each of the $15$ known sporadic Ap\'ery-like sequences, we prove congruences modulo $p^2$ that are natural extensions of the Lucas congruences modulo $p$. This extends a result of Gessel for the numbers used by Ap\'ery in his proof of…
Wojciech Kami\'nski has provided a non real-analytic counterexample to our claim in [1] that conformal geodesics cannot spiral. This erratum illustrates how the proof of Lemma 4.6 [1] (on which our claim was based) fails.
We prove that over totally real fields, the $p$-adic Galois representations attached to non-self-dual regular algebraic cuspidal automorphic representations of $\mathrm{GL}(4)$ are irreducible. We then develop the theory of extra-twists in…
Goodstein sequences are numerical sequences in which a natural number m, expressed as the complete normal form to a given base a, is modified by increasing the value of the base a by one unit and subtracting one unit from the resulting…
We introduce a syntactic translation of Goedel's System T parametrized by a weak notion of a monad, and prove a corresponding fundamental theorem of logical relation. Our translation structurally corresponds to Gentzen's negative…
We consider the irreducibility of polynomial $L_n^{(\alpha)} (x) $ where $\alpha$ is a negative integer. We observe that the constant term of $L_n^{(\alpha)} (x) $ vanishes if and only if $n \geq |\alpha| = -\alpha$. Therefore we assume…
The Bell theorem stands as an insuperable roadblock in the path to a very desired intuitive solution of the EPR paradox and, hence, it lies at the core of the current lack of a clear interpretation of the quantum formalism. The theorem…
We present six examples of 3-dimensional mod p Galois representations of type A_6 for which we were able to obtain computational evidence for the generalization of Serre's Conjecture proposed by Ash, Doud, Pollack, and Sinnott. We also…
We argue that the conclusion about the invalidity of the Dirac conjecture, made in the paper by Wang, Li, and Wang (Int. J. Theor. Phys. 48 1894, 2009), was based upon a flawed analysis of the proposed counterexamples. In the case of the…
We show that some mathematical results and their negations are both deducible. The derived contradictions indicate the inconsistency of current mathematics. This paper is an updated version of arXiv:math/0606635v3 with additional results…
In 1931, G\"odel presented in K\"onigsberg his famous Incompleteness Theorem, stating that some true mathematical statements are unprovable. Yet, this result gives us no idea about those independent (that is, true and unprovable)…
The impossibility of theories with hidden variables as an alternative and replacement for quantum mechanics was discussed by J. von Neumann in 1932. His proof was criticized as being logically circular, by Grete Hermann soon after, and as…
This paper is withdrawn because of an error in Lemma 3.1