相关论文: Potential theory and forcing
It is found that the deviation of an effective potential from the quartic form is related to the metric and vector torsion dependencies of the effective potential in the vector torsion coupled conformally induced gravity.
Quantum theory makes the most accurate empirical predictions and yet it lacks simple, comprehensible physical principles from which the theory can be uniquely derived. A broad class of probabilistic theories exist which all share some…
What are the most general principles in set theory relating forceability and truth? As with Solovay's celebrated analysis of provability, both this question and its answer are naturally formulated with modal logic. We aim to do for…
We develop a classical propositional logic for reasoning about combinatory logic. We define its syntax, axiomatic system and semantics. The syntax and axiomatic system are presented based on classical propositional logic, with typed…
The potential concept that is successful in classical electrodynamics should also be applicable to the nonlinear electromagnetic forces acting on matter. The obvious method of determining these potentials should be provided by Helmholtz's…
We give a sufficient condition for quantising integrable systems.
It is demonstrated that energy conservation allows for a straight derivation of Newtonian mechanics without an apriori definition of the concept of work. Furthermore it is shown that energy must be depicted as a function of position and…
The technique of "classical realizability" is an extension of the method of "forcing"; it permits to extend the Curry-Howard correspondence between proofs and programs, to Zermelo-Fraenkel set theory and to build new models of ZF, called…
This paper deals with formulas of set theory which force the infinity. For such formulas, we provide a technique to infer satisfiability from a finite assignment.
The foundations of forcing theory are reworked to streamline the presentation and to show how the most basic results are applicable in very general contexts.
For the classical mind, quantum mechanics is boggling enough; nevertheless more bizarre behavior could be imagined, thereby concentrating on propositional structures (empirical logics) that transcend the quantum domain. One can also…
The dynamics of a quantum particle is governed by its wavefunction, which in turn is determined by the classical potential to which it is subjected. However the wavefunction itself induces a quantum potential, the particle `sees' the sum of…
Starting from the multiplicative torsion approach of gravity and assuming a Killing vector to be proportional to the axial-vector matter current, here we derive Newton's law of gravity where the logarithm of the proportionality factor has…
We formalize the theory of forcing in the set theory framework of Isabelle/ZF. Under the assumption of the existence of a countable transitive model of ZFC, we construct a proper generic extension and show that the latter also satisfies…
Argumentation theory is a powerful paradigm that formalizes a type of commonsense reasoning that aims to simulate the human ability to resolve a specific problem in an intelligent manner. A classical argumentation process takes into account…
We introduce the logic LRC, designed to describe and reason about agents' abilities and capabilities in using resources. The proposed framework bridges two - up to now - mutually independent strands of literature: the one on logics of…
Probability theory can be modified in essentially one way while maintaining consistency with the basic Bayesian framework. This modification results in copies of standard probability theory for real, complex or quaternion probabilities.…
Bertrand's theorem in classical mechanics of the central force fields attracts us because of its predictive power. It categorically proves that there can only be two types of forces which can produce stable, circular orbits. In the present…
Given two potentials V0 and V1 together with a certain nodeless solution {\phi}0 of V0, we form a composition of these two potentials. If V1 is exactly solvable, the composition is exactly solvable, too. By combining various solvable…
Classical Decision Theory provides a normative framework for representing and reasoning about complex preferences. Straightforward application of this theory to automate decision making is difficult due to high elicitation cost. In response…