Examples of non-constructive proofs in quantum theory

摘要: Unlike mathematics, in which the notion of truth might be abstract, physics, emphasis must placed on algorithmic procedures for obtaining numerical results subject to experimental verifiability. For, a physical science is exactly that: (built certain mathematical formalism) verifiable conclusions from set basic hypotheses. By admitting non-constructivist statements theory loses its concrete applicability and thus verifiability predictions. Accordingly, requirement constructivism indispensable any theory. Nevertheless, at least some theories, especially quantum mechanics, one can find examples non-constructive statements. The present paper demonstrates couple such dealing with macroscopic states (i.e., standard formalism systems). As it shown, these proofs existence are based logical principles allowing decide predicates over an infinite number things.