Results 1 
8 of
8
Thermodynamics and Garbage Collection
 In ACM Sigplan Notices
, 1994
"... INTRODUCTION Computer scientists should have a knowledge of abstract statistical thermodynamics. First, computer systems are dynamical systems, much like physical systems, and therefore an important first step in their characterization is in finding properties and parameters that are constant over ..."
Abstract

Cited by 11 (0 self)
 Add to MetaCart
INTRODUCTION Computer scientists should have a knowledge of abstract statistical thermodynamics. First, computer systems are dynamical systems, much like physical systems, and therefore an important first step in their characterization is in finding properties and parameters that are constant over time (i.e., constants of motion). Second, statistical thermodynamics successfully reduces macroscopic properties of a system to the statistical behavior of large numbers of microscopic processes. As computer systems become large assemblages of small components, an explanation of their macroscopic behavior may also be obtained as the aggregate statistical behavior of its component parts. If not, the elegance of the statistical thermodynamical approach can at least provide inspiration for new classes of models. 1 Third, the components of computer systems are approaching the same size as the microscopic pr
A Classification of HiddenVariable Properties
, 2008
"... Hiddenvariable models of quantum mechanics (QM) are complete descriptions of quantum phenomena. These models have been analyzed under conditions such as locality (Bell [1, 1964]) and noncontextuality (KochenSpecker [20, 1967]). We give a uniform presentation of six underlying properties that can ..."
Abstract

Cited by 7 (4 self)
 Add to MetaCart
Hiddenvariable models of quantum mechanics (QM) are complete descriptions of quantum phenomena. These models have been analyzed under conditions such as locality (Bell [1, 1964]) and noncontextuality (KochenSpecker [20, 1967]). We give a uniform presentation of six underlying properties that can be asked of hiddenvariable models and show all the relationships among them (as depicted in Figure 1.1). Two positive existence theorems are given which show that hiddenvariable models of certain types always exist. We follow this with a unified treatment of the “nogo ” theorems of EinsteinPodolskyRosen [15, 1935], Bell [1, 1964], and KochenSpecker [20, 1967]. Within our sixproperty classification scheme, we are able to give a complete picture of hiddenvariable models.
Against ”Realism
"... We examine the prevalent use of the phrase “local realism ” in the context of Bell’s Theorem and associated experiments, with a focus on the question: what exactly is the ‘realism ’ in ‘local realism ’ supposed to mean? Carefully surveying several possible meanings, we argue that all of them are fla ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
We examine the prevalent use of the phrase “local realism ” in the context of Bell’s Theorem and associated experiments, with a focus on the question: what exactly is the ‘realism ’ in ‘local realism ’ supposed to mean? Carefully surveying several possible meanings, we argue that all of them are flawed in one way or another as attempts to point out a second premise (in addition to locality) on which the Bell inequalities rest, and (hence) which might be rejected in the face of empirical data violating the inequalities. We thus suggest that the phrase ‘local realism’ should be banned from future discussions of these issues, and urge physicists to revisit the foundational questions behind Bell’s Theorem. KEY WORDS: quantum mechanics; local realism; Bell’s theorem; EPR; quantum nonlocality
A Classification of HiddenVariable Properties ∗
"... Hiddenvariable models of quantum mechanics (QM) are complete descriptions of quantum phenomena. These models have been analyzed under conditions such as locality (Bell [1, 1964]) and noncontextuality (KochenSpecker [20, 1967]). We give a uniform presentation of six underlying properties that can ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Hiddenvariable models of quantum mechanics (QM) are complete descriptions of quantum phenomena. These models have been analyzed under conditions such as locality (Bell [1, 1964]) and noncontextuality (KochenSpecker [20, 1967]). We give a uniform presentation of six underlying properties that can be asked of hiddenvariable models and show all the relationships among them (as depicted in Figure 1.1). Two positive existence theorems are given which show that hiddenvariable models of certain types always exist. We follow this with a unified treatment of the “nogo ” theorems of EinsteinPodolskyRosen [15, 1935], Bell [1, 1964], and KochenSpecker [20, 1967]. Within our sixproperty classification scheme, we are able to give a complete picture of hiddenvariable models. 1
Bell’s Theorem Reexamined
, 2005
"... A very simple proof of Bell’s theorem is presented, in which neither the assumption that there is a welldefined space of complete states λ of the particle pair and welldefined probability distribution ρ(λ) over this space nor the use of counterfactuals is necessary. ..."
Abstract
 Add to MetaCart
A very simple proof of Bell’s theorem is presented, in which neither the assumption that there is a welldefined space of complete states λ of the particle pair and welldefined probability distribution ρ(λ) over this space nor the use of counterfactuals is necessary.
Contra Classical Causality: Violating Temporal Bell Inequalities in Mental Systems Harald Atmanspacher1,2, Thomas Filk1,3,4 1Institute for Frontier Areas of Psychology, Freiburg
"... Temporally nonlocal measurements – single measurements yielding information about the state of a system at different instances – may provide a way to observe nonclassical behavior in mental systems. The signature for such behavior is a violation of temporal Bell inequalities. We present such inequ ..."
Abstract
 Add to MetaCart
Temporally nonlocal measurements – single measurements yielding information about the state of a system at different instances – may provide a way to observe nonclassical behavior in mental systems. The signature for such behavior is a violation of temporal Bell inequalities. We present such inequalities applicable to scenarios with two alternating mental states, such as in the perception of ambiguous figures. We indicate empirical options for testing temporal Bell inequalities, and speculate about possible explanations in case these inequalities are indeed violated. 1 1
The Objective Indefiniteness Interpretation of Quantum Mechanics
, 2012
"... The commonsense view of reality is expressed logically in Boolean subset logic (each element is either definitely in or not in a subset, i.e., either definitely has or does not have a property). But quantum mechanics does not agree with this "properties all the way down " picture of microreality. A ..."
Abstract
 Add to MetaCart
The commonsense view of reality is expressed logically in Boolean subset logic (each element is either definitely in or not in a subset, i.e., either definitely has or does not have a property). But quantum mechanics does not agree with this "properties all the way down " picture of microreality. Are there other coherent alternative views of reality? A logic of partitions, dual to the Boolean logic of subsets (partitions are dual to subsets), was recently developed along with a logical version of information theory. In view of the subsetpartition duality, partition logic is the alternative to Boolean subset logic and thus it abstractly describes the alternative dual view of microreality. Perhaps QM is compatible with this dual view? Indeed, when the mathematics of partitions using sets is "lifted " from sets to vector spaces, then it yields the mathematics and relations of quantum mechanics. Thus the vision of microreality abstractly characterized by partition logic matches that described by quantum mechanics. The key concept explicated by partition logic is the old idea of "objective indefiniteness " (emphasized by Shimony). Thus partition logic, logical information theory, and the lifting program provide the back story so that the old idea then yields the objective indefiniteness interpretation of quantum mechanics.