相关论文: Computability Superselection Rule and its physical…
The paper was withdrawn due to another possible solution to the dataset that is significantly different in nature. This issue will be addressed shortly and clarified with an additional data point.
This paper has been withdrawn because the content has been substantially improved in a later paper, arXiv:0806.1165.
Mass-superselection rule (MSR) states that in the non-relativistic quantum theory superpositions of states with different masses are unphysical. While MSR features even in textbooks, its validity, physical content and consequences remain…
In this short note we report on results on a computational search for a counterexample to the strong coincidence conjecture. In particular, we discuss the method used so that further searches can be conducted.
Whenever P is a proper definable forcing for adding a real, the countable support iteration of P has all the preservation properties it can possibly have, within a wide syntactically identified class of properties.
This paper introduces a new simplified version of the countable branching recurrence of Computability Logic, proves its equivalence to the old one, and shows that the basic logic induced by it is a proper superset of the basic logic induced…
This note provides a summary of the meaning of the term `Superselection Rule' in Quantum Mechanics and Quantum-Field Theory. It is a slightly extended version of a contribution to the Compendium of Quantum Physics: Concepts, Experiments,…
Reproducibility is an important feature of science; experiments are retested, and analyses are repeated. Trust in the findings increases when consistent results are achieved. Despite the importance of reproducibility, significant work is…
The paper was withdrawn because of its significant overlap with a paper appeared recently.
For $\lambda$ inaccessible, we may consider $(< \lambda)$-support iteration of some specific $(<\lambda)$-complete $\lambda^+$-c.c. forcing notion. But this fails a "preservation by restricting to a sub-sequence of the forcing, we "correct"…
This paper has been withdrawn due to some errors in the reported discussion, and needs a thorough revision
Reproducibility is a confused terminology. In this paper, I take a fundamental view on reproducibility rooted in the scientific method. The scientific method is analysed and characterised in order to develop the terminology required to…
Computer science is also an experimental science. This is particularly the case for parallel computing, which is in a total state of flux, and where experiments are necessary to substantiate, complement, and challenge theoretical modeling…
This paper has been withdrawn due to the adherance to the double submission policies of a refereed journal. Our apologies.
This article reformulates the theory of computable physical models, previously introduced by the author, as a branch of applied model theory in first-order logic. It provides a semantic approach to the philosophy of science that…
This submission is being withdrawn due to serious errors in the achievability proofs. The reviewers of the journal I had submitted to had found errors back in 2006. I had forgotten about this paper until I saw the CFP for a JSAC issue on…
Two typos in the published paper are pointed out. Both are just typos and the calculations in that paper are based on the correct formulism.
In this article, the decidability and computability issues of dynamic probability logic (DPL) are addressed. Firstly, a proof system $\mathcal{H}_{DPL}$ is introduced for DPL and shown that it is weakly complete. Furthermore, this logic has…
I survey recent progress on a classic and challenging problem in social choice: the fair division of indivisible items. I discuss how a computational perspective has provided interesting insights into and understanding of how to divide…
We reconstruct finite-dimensional quantum theory with superselection rules, which can describe hybrid quantum-classical systems, from four purely operational postulates: symmetric sharpness, complete mixing, filtering, and local equality.…