Related papers: The Hamiltonian Syllogistic
There exist dozens of interpretations of quantum theory, but they do not seem to contribute much to understanding the theory. This paper attempts to clarify some issues that are discussed in those interpretations. The main keywords are:…
In this paper we present an alternative approach to formalize the theory of logic programming. In this formalization we allow existential quantified variables and equations in queries. In opposite to standard approaches the role of answer…
In active learning, membership queries (MQs) allow a learner to pose questions to a teacher, such as ''Is every apple a fruit?'', to which the teacher responds correctly with yes or no. These MQs can be viewed as subsumption tests with…
The pros and cons of various forms of atomism and holism that are applicable both in physical science and today's philosophy of nature are evaluated. To this end, Lewis' thesis of Humean supervenience is presented as an important case study…
In this paper, we briefly review the Hamiltonian formulation of classical systems that are constrained to submanifolds so that, within this context, the true meaning of classical gauge theories becomes clear. Please note that this paper is…
For various theories, in particular gauge field theories, the algebraic form of the Hamiltonian simplifies considerably if one writes it in terms of certain complex variables. Also general relativity when written in the new canonical…
We investigate the classical aspects of Quantum theory and under which description Quantum theory does appear Classical. Although such descriptions or variables are known as "ontological" or "hidden", they are not hidden at all, but are…
This paper has two goals. The first goal is to show how an extension of second-order logic is a natural framework to formalize portions of Aristotle's \emph{Topics} and to bring to the foreground the logical, linguistic and philosophical…
We develop a new algorithm for the quantisation of systems with first-class constraints. Our approach lies within the (History Projection Operator) continuous-time histories quantisation programme. In particular, the Hamiltonian treatment…
We present a reading of the traditional syllogistics in a fragment of the propositional intuitionistic multiplicative linear logic and prove that with respect to a diagrammatic logical calculus that we introduced in a previous paper, a…
We revisit the notion of intuitionistic equivalence and formal proof representations by adopting the view of formulas as exponential polynomials. After observing that most of the invertible proof rules of intuitionistic (minimal)…
In complete analogy with the classical situation (which is briefly reviewed) it is possible to define bi-Hamiltonian descriptions for Quantum systems. We also analyze compatible Hermitian structures in full analogy with compatible Poisson…
In this paper, I first establish -- via methods other than the Gottesman-Knill theorem -- the existence of an infinite set of instances of simulating a quantum circuit to decide a decision problem that can be simulated classically. I then…
The particle in a box is a simple model that has a classical Hamiltonian $H=p^2$ (using $2m=1$), with a limited coordinate space, $-b<q<b$, where $0<b<\infty$. Using canonical quantization, this example has been fully studied thanks to its…
Recently, there has been an increasing interest in modelling and computation of physical systems with neural networks. Hamiltonian systems are an elegant and compact formalism in classical mechanics, where the dynamics is fully determined…
G\"odel's Incompleteness Theorems suggest that no single formal system can capture the entirety of one's mathematical beliefs, while pointing at a hierarchy of systems of increasing logical strength that make progressively more explicit…
Scholars have wondered for a long time whether the language of quantum mechanics introduces a quantum notion of truth which is formalized by quantum logic (QL) and is incompatible with the classical (Tarskian) notion. We show that QL can be…
For a linear non-Hermitian system, I demonstrate that a Hamiltonian can be constructed such that the non-Hermitian equations can be expressed exactly in the form of Hamilton's canonical equations. This is first shown for discrete systems…
The key concept discussed in these lectures is the relation between the Hamiltonians of a quantum integrable system and the Casimir elements in the underlying hidden symmetry algebra. (In typical applications the latter is either the…
In this paper we show several similarities among logic systems that deal simultaneously with deductive and quantitative inference. We claim it is appropriate to call the tasks those systems perform as Quantitative Logic Reasoning. Analogous…