Related papers: On consistency and existence in mathematics
We argue that it is neither necessary nor sufficient for a mathematical proof to have epistemic value that it be "correct", in the sense of formalizable in a formal proof system. We then present a view on the relationship between…
It has been noticed long ago that in Higgs models with `complete symmetry breaking' one can move from the confinement to the Higgs regime without crossing a phase boundary, a fact sometimes called referred to as `complementarity'. In a…
We describe some properties of consistent sets of histories in the Gell-Mann--Hartle formalism, and give an example to illustrate that one cannot recover the standard predictions, retrodictions and inferences of quasiclassical physics using…
The purpose of this article is to show that on an open and dense set, complete integrability implies the existence of symmetry.
Adding rewriting to a proof assistant based on the Curry-Howard isomorphism, such as Coq, may greatly improve usability of the tool. Unfortunately adding an arbitrary set of rewrite rules may render the underlying formal system undecidable…
Algorithms of control of differential equations solutions are under investigation in the article. Idealized and real modifications of the algorithms are distinguished. An equation, which can be the base equation for investigation of the…
The paper deals with a class of cooperative functional differential equations (FDEs) with infinite delay, for which sufficient conditions for persistence and permanence are established. Here, the persistence refers to all solutions with…
We give a new proof the arithmetic Hilbert-Samuel theorem by using classical reductions in the theory of coherent sheaves, a direct proof in the case of the projective space and the conservation of some numerical invariants, called…
The Wholeness Axioms, proposed by Paul Corazza, axiomatize the existence of an elementary embedding j:V-->V. Formalized by augmenting the usual language of set theory with an additional unary function symbol j to represent the embedding,…
In this paper we propose an interpretation for self-referential propositions in a "meta-model" N* of ZF. This meta-model N* is considered as an informal model of arithmetic that mathematicians often use when working with number theory.…
This paper is about the metaphysical debate whether objects persist over time by the selfsame object existing at different times (nowadays called `endurance' by metaphysicians), or by different temporal parts, or stages, existing at…
The aim of this note is to present some new results concerning "almost everywhere" well-posedness and stability of continuity equations with measure initial data. The proofs of all such results can be found in \cite{amfifrgi}, together with…
The replication mechanism resolves some challenges with big data such as data durability, data access, and fault tolerance. Yet, replication itself gives birth to another challenge known as the consistency in distributed systems.…
It is well-known that Choice and Regularity are independent of each other but have important common consequences of logical character (reflection principles, representations of classes by sets, etc.). We explain this phenomenon by isolating…
We give a survey of current research on G\"{o}del's incompleteness theorems from the following three aspects: classifications of different proofs of G\"{o}del's incompleteness theorems, the limit of the applicability of G\"{o}del's first…
We present a notion of $\Delta$-stability and stability filtration in arbitrary categories which is equivalent to the existence of Harder-Narasimhan (HN) sequences on objects. Indeed it is equivalent to the existence of a zero morphism, a…
Interpretational questions that arise in the Consistent Histories formulation of quantum mechanics are illustrated by the familiar example of a beam passing through multiple slits.
In this paper, we prove that a domain which verifies some integral inequality is either (strictly) contained in the solution of some free boundary problem, or it coincides with an $N$-ball. We also present new overdetermined value problems…
Rosenbaum (2005) proposed the crossmatch test for two-sample goodness-of-fit testing in arbitrary dimensions. We prove that the test is consistent against all fixed alternatives. In the process, we develop a general consistency result based…
There are the longstanding differences in the continuity of continuum among mathematicians. Starting from studies on a mathematical model of contact, we construct a set that is in contact everywhere by using the original idea of Dedekind's…