相关论文: Cox's Theorem Revisited

In this paper we study the logical foundations of automated inductive theorem proving. To that aim we first develop a theoretical model that is centered around the difficulty of finding induction axioms which are sufficient for proving a…

A number of well-known theorems, such as Cox's theorem and de Finetti's theorem. prove that any model of reasoning with uncertain information that satisfies specified conditions of "rationality" must satisfy the axioms of probability…

We review the X = K conjecture and important ingredients for the proof. We also attach notes on the rank estimate for the X = K theorem to hold and on the strange relation that was found to be valid without the assumption that the rank is…

This paper offers a proof of the Coase theorem by formalizing the notion of ideal exchanges.

While model checking has often been considered as a practical alternative to building formal proofs, we argue here that the theory of sequent calculus proofs can be used to provide an appealing foundation for model checking. Since the…

We give an elementary proof of Kelley's theorem based on a minimax argument. Some applications to related problems are also developed.

It is argued that the usual postulates of quantum mechanics are too strong. It is conjectured that it is possible to interpret all experiments if we maintain the formalism of quantum theory without modification, but weaken the postulates…

We deal with an iteration theorem of forcing notion with a kind of countable support of nice enough forcing notion which is proper aleph_2-c.c. forcing notions. We then look at some special cases (Q_D 's preceded by random forcing).

We give a new proof of Brooks' theorem that immediately implies a strengthening of Brooks' theorem, known as Catlin's theorem.

Some formulas and speculations are presented relative to integrable systems and quantum mechanics.

Based on various strategies, we obtain several simple proofs of the celebrated Sharkovsky cycle coexistence theorem.

The usual formulation of quantum theory is rather abstract. In recent work I have shown that we can, nevertheless, obtain quantum theory from five reasonable axioms. Four of these axioms are obviously consistent with both classical…

We prove an analytic KAM-Theorem, which is used in [1], where the differential part of KAM-theory is discussed. Related theorems on analytic KAM-theory exist in the literature (e. g., among many others, [7], [8], [13]). The aim of the…

The original proof of the Sharkovsky theorem is presented in full detail. The proof should be accessible to readers with basic Real Analysis background. Although nowadays there are several alternative proofs of this classical result, we…

We discuss historical attempts to formulate a physical hypothesis from which Turing's thesis may be derived, and also discuss some related attempts to establish the computability of mathematical models in physics. We show that these…

Anthropic models can give testable predictions, which can be confirmed or falsified at a specified confidence level. This is illustrated using the successful prediction of the cosmological constant as an example. The history and the nature…

In this article we propose a revisitation of the well-known argument principle that may lead to the solution of the Riemann hypothesis. We are looking for collaborators.

The import of Bell's Theorem is elucidated. The theorem's proof is illustrated both heuristically and in mathematical detail in a pedagogical fashion. In the same fashion, it is shown that the proof is correct mathematically, but it doesn't…

Unlike mathematics, in which the notion of truth might be abstract, in physics, the emphasis must be placed on algorithmic procedures for obtaining numerical results subject to the experimental verifiability. For, a physical science is…

We give a concise proof of the fundamental theorem of smoothing theory in the special case when a smoothing exists.