Proceedings of the International School of Physics "Enrico Fermi.", Volume 72N. Zanichelli, 1979 - Nuclear physics |
From inside the book
Results 1-3 of 33
Page 167
... axioms A and a set of rules of inference D. Any physical formal system FS has a mathematical subsystem FS .; any element of the set A , of the axioms of FS , will be either a logical or a mathe- matical axiom of FS ; any element of AA ...
... axioms A and a set of rules of inference D. Any physical formal system FS has a mathematical subsystem FS .; any element of the set A , of the axioms of FS , will be either a logical or a mathe- matical axiom of FS ; any element of AA ...
Page 194
... axiom ) . In other words , the axioms of the theory describe , in the same way , « normal » physical systems such as σ and « strange » systems such as A and σ + A. As it usually happens , the different ways out of the paradox are ...
... axiom ) . In other words , the axioms of the theory describe , in the same way , « normal » physical systems such as σ and « strange » systems such as A and σ + A. As it usually happens , the different ways out of the paradox are ...
Page 294
... axioms of L the axioms L1 ( 4.2 ) L ( 4.3 ) q L ( 4.4 ) V Av¬A , A¬¬A , A B ¬B¬A qi qi are valid in L. However , in the lattice L1 it can easily be shown [ 16 ] that the relations VAv¬AA = ¬¬A , ABB < ¬A are satisfied . Therefore , if ...
... axioms of L the axioms L1 ( 4.2 ) L ( 4.3 ) q L ( 4.4 ) V Av¬A , A¬¬A , A B ¬B¬A qi qi are valid in L. However , in the lattice L1 it can easily be shown [ 16 ] that the relations VAv¬AA = ¬¬A , ABB < ¬A are satisfied . Therefore , if ...
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