Related papers: Current research on G\"odel's incompleteness theor…
This short squib looks at how using a broader definition of G\"odel numbering to mimic the accessibility relation between possible worlds results in two-world systems that sidestep undecidable sentences as well as the Liar paradox.
We use machine learning to provide a tractable measure of the amount of predictable variation in the data that a theory captures, which we call its "completeness." We apply this measure to three problems: assigning certain equivalents to…
This thesis is comprised of three chapters. The first chapter deals with bounded complexes of Gorenstein projective and Gorenstein injective modules. Deploying methods of relative homological algebra, we approximate such complexes with…
We describe a plan how to prove an effective Siegel theorem (about the exceptional Dirichlet character). We give a brief outline in Section 0. We give a more detailed plan in Sections 1-5. The missing details (mostly routine elementary…
In the present paper, we discuss applications of the derived completion theorems proven in our previous two papers. One of the main applications is to Riemann-Roch problems for forms of higher equivariant K-theory, which we are able to…
Two results on the completeness of maximal solutions to first and second order ordinary differential equations (or inclusions) over complete Riemannian manifolds, with possibly time-dependent metrics, are obtained. Applications to…
An overview of the experimental and observational status in gravitational physics is given, both for the known tests of general relativity and Newtonian gravity, but also for the increasing number of results where these theories run into…
It is generally accepted that the incompleteness of first-order number theory (PA) is established by an application of Godel's proof. This paper shows that the arithmetization of the syntax of PA implies that the hypothesised class of PA…
In much discussed work Artemov has recently shown that, for $\mathrm{PA}$, the consistency schema admits a form of uniform verification via selector proofs, despite the unprovability of the corresponding uniform consistency sentence…
The main aim of this article is to investigate the geometric structures admitting by the G\"{o}del spacetime which produces a new class of semi-Riemannian manifolds (see Theorem 4.1 and Theorem 4.5). We also consider some extension of…
What if the paradoxical nature of quantum theory could find its source in some undecidability analog to that of G\"odel's incompleteness theorem ? This essay aims at arguing for such G\"odelian hunch via two case studies. Firstly, using a…
Rosser theories play an important role in the study of the incompleteness phenomenon and meta-mathematics of arithmetic. In this paper, we first define the notions of $n$-Rosser theories, exact $n$-Rosser theories, effectively $n$-Rosser…
The purpose of this survey is to present analytic versions of the injectivity theorem and their applications. The proof of our injectivity theorems is based on a combination of the L^2-method for the dbar-equation and the theory of harmonic…
This is the first of a series of papers studying real algebraic threefolds using the minimal model program. The main results are outlined in Part II. The present part I. contains the necessary preliminary work concerning terminal…
We explore possibilities and limitations of a purely topological approach to the Dvoretzky Theorem.
We begin the study of completeness of affine connections, especially those on statistical manifolds as well as on affine hypersurfaces. We collect basic facts, prove new theorems and provide examples with remarkable properties.
Elementary proofs of Sylvester's, Wolstenholme's, Morley's and Lehmer's congruence theorems
This article will be a continuation of our research into self-justifying systems. It will introduce several new theorems and their applications. (One of these results will transform our previous infinite-sized self-verifying formalisms into…
We discuss the problems of incompleteness and inexpressibility. We introduce almost self-referential formulas, use them to extend set theory, and relate their expressive power to that of infinitary logic. We discuss the nature of proper…
Two new formulations of Bell's theorem are given here. First, we consider a definite set of two entangled photons with only two polarization directions, for which Bell's locality assumption is violated for the case of perfect correlation.…