Proceedings of the International School of Physics "Enrico Fermi.", Volume 72N. Zanichelli, 1979 - Nuclear physics |
From inside the book
Results 1-3 of 24
Page 265
... calculus will be called the calculus of effective quan- tum logic . eff = The calculus Qett is a model of the lattice Lai , which differs from the lat- tice L by the axiom V Av¬A , the logical interpretation of which is called the ...
... calculus will be called the calculus of effective quan- tum logic . eff = The calculus Qett is a model of the lattice Lai , which differs from the lat- tice L by the axiom V Av¬A , the logical interpretation of which is called the ...
Page 285
... calculus the rules will be denoted by the double arrow ; several premises will be connected by a double comma The calculus K of formal commensurabilities then reads : k ( A , A ) , k ( A , k ( A , B ) ) , 99 . K ( 1.1 ) K ( 1.2 ) K ...
... calculus the rules will be denoted by the double arrow ; several premises will be connected by a double comma The calculus K of formal commensurabilities then reads : k ( A , A ) , k ( A , k ( A , B ) ) , 99 . K ( 1.1 ) K ( 1.2 ) K ...
Page 286
... calculus Qe of effective quantum logic . After having formulated the argument - rules of the formal quantum dialog - game , we are now going to establish a propositional calculus with the aid of which all those propositions can be ...
... calculus Qe of effective quantum logic . After having formulated the argument - rules of the formal quantum dialog - game , we are now going to establish a propositional calculus with the aid of which all those propositions can be ...
Contents
The discovery of the law of radioactive decay | 6 |
Early models of the nucleus | 15 |
Final remarks | 21 |
Copyright | |
29 other sections not shown
Other editions - View all
Common terms and phrases
3-geometry algebra assertion atoms axioms Boolean Borel field Borel sets calculus classical concept conditional probability conditionalization corresponding countable course defined definition denote derived deterministic dialog dialog-game disjoint dynamics eigenvalue eigenvectors EINSTEIN elementary elements equation equivalent exists finite formal function geometry given Gleason's theorem Hence Hilbert space induction initial interpretation Journ magnitude Math mathematical means NEUMANN observed orthogonal orthomodular lattice particle photon Phys physical quantity physical system physical theories physicists possible postulate precision probabilistic probability measure probability space probability theory problem procedure propositions quantity Q quantum logic quantum mechanics quantum-logical radioactive random variable real numbers relation relative frequency relf represents respect result rule sequence space-time special relativity spin statistical operator structure subset subspace superspace t₁ T₂ theorem tion transformation truth universal constants vector velocity von Neumann algebra