Proceedings of the International School of Physics "Enrico Fermi.", Volume 72N. Zanichelli, 1979 - Nuclear physics |
From inside the book
Results 1-3 of 81
Page 169
... relations between theories , which seem to be characteristic of physical science . 1 As is well known , a basic concept of standard metamathematics is repre- sented by the relation of theoretical inclusion . A theory T1 is said to be ...
... relations between theories , which seem to be characteristic of physical science . 1 As is well known , a basic concept of standard metamathematics is repre- sented by the relation of theoretical inclusion . A theory T1 is said to be ...
Page 270
... relation of commensurability is closed under the operations A , v and , i.e. A BA¬B , ~ A ~ B , A ~ C ~~ A ~ ( B ^ C ) and A ~ ( BVC ) . From this closure property together with the above - mentioned theorem it follows that three ...
... relation of commensurability is closed under the operations A , v and , i.e. A BA¬B , ~ A ~ B , A ~ C ~~ A ~ ( B ^ C ) and A ~ ( BVC ) . From this closure property together with the above - mentioned theorem it follows that three ...
Page 287
... relation RSS by AB A → B . Di This relation will be called « implication » and must be distinguished from the operation A → B , denoted here as « material implication » . According to the definition , the relation AB between the ...
... relation RSS by AB A → B . Di This relation will be called « implication » and must be distinguished from the operation A → B , denoted here as « material implication » . According to the definition , the relation AB between the ...
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