Proceedings of the International School of Physics "Enrico Fermi.", Volume 72N. Zanichelli, 1979 - Nuclear physics |
From inside the book
Results 1-3 of 16
Page 275
... dialogs [ 15-18 ] . Since dialogs serve as proof procedures for compound propositions , these pro- positions are said to be dialog - definite . A dialog is a formalized kind of discus- sion between two participants , the proponent P ...
... dialogs [ 15-18 ] . Since dialogs serve as proof procedures for compound propositions , these pro- positions are said to be dialog - definite . A dialog is a formalized kind of discus- sion between two participants , the proponent P ...
Page 284
... dialog is somewhat too restrictive and must be weakened if one really wants to obtain all propositions which are formally true . The reason is simply that the validity of a proposition A , which has been proved at a certain stage of the ...
... dialog is somewhat too restrictive and must be weakened if one really wants to obtain all propositions which are formally true . The reason is simply that the validity of a proposition A , which has been proved at a certain stage of the ...
Page 287
Di dialog , then proposition B can also be justified dialogically . For the proof of the rule AB the proposition A will , therefore , be presupposed by the opponent as a hypothesis before the dialog . The proponent has then to defend ...
Di dialog , then proposition B can also be justified dialogically . For the proof of the rule AB the proposition A will , therefore , be presupposed by the opponent as a hypothesis before the dialog . The proponent has then to defend ...
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