Abstract

Since 1947 a foundation of Quantum Mechanics (QM) on functional analysis was suggested by Segal. By defining the C*-algebra of the observables, then the Gelfand-Naimark-Segal theorem faithfully represents this algebra into Hilbert space. In the 70’s Emch has reiterated this formulation and improved it. Recently Strocchi improved it even more. First, he suggested an axiomatization of the paradigmatic Dirac-von Neumann’s formulation of QM to which he addresses two basic criticisms, i.e. a weak linkage with the experimental basis of theoretical physics and the obscurity about the separation mark between classical mechanics and QM. Afterwards, through an analysis of the experimental basis of a physical theory he suggests an explanation of Segal’s restriction of the operators to be bounded. Eventually, he represents this algebra into Hilbert space and at last, by means of Weyl algebra he obtains the symmetries of the dynamics of a particle theory. In fact, several characteristic features of this formulation correspond to those determined by the two choices which are the alternative ones to the choices of the dominant formulation. It is a problem-based theory, since it starts rather from than axioms a problem (i.e. the indeterminacy); then, it argues through both doubly negated propositions and an ad absurdum proof. Moreover, its theoretical development is similar to that of an alternative classical theory since it put, before the geometry, the algebra; the bounded operators are represented by a polynomial algebra; which pertains to constructive mathematics. Eventually, he obtains the symmetries of the theory. The problems to be overcome in order to accurately re-construct his formulation according to the two alternative choices which are listed. It is concluded that rather an alternative role, it plays a complementary role to the paradigmatic formulation.

Highlights

  • In previous papers I have characterized the foundations of Theoretical physics as constituted by two dichotomies; one concerns the two kinds of infinity—either the actual infinity (AI), or the potential infinity (PI), or, in formal terms, the two kinds of Mathematics—either the classical Mathematics making use of the idealistic axioms (e.g. Zermelo’s), or the constructive Mathematics—; the other dichotomy concerns the two kinds of organization of a theory—either the axiomatic-deductive one (AO) or the problem-based organization aimed at solving a basic problem through the invention of a new scientific method (PO)—; or, in formal terms, the two kinds of Logic—either the classical Logic or the intuitionist one (Drago, 1996)

  • In the aim at discovering an alternative formulation, i.e. a formulation of Quantum Mechanics (QM) which is based on the choices PI&PO, in a first time I have studied Weyl’s formulation of QM, because this author wanted to base it upon an elementary mathematics and he formulated it through the symmetries

  • We present in this paper a set of postulates for a physical system and deduce from these the main general features of the quantum theory of stationary states. [In opposition to the BvNQM)] Our theory is strictly operational in the sense that only the observables of the physical system are involved in the postulates. [,] The collection of all bounded self-adjoint3 operators on a Hilbert space,4 which has previously been used [by me] as a mathematical model for the observables in quantum mechanics, satisfy the [previously stated] postulates, as do a variety of considerably more general mathematical structures (Segal, 1947: p. 930)

Read more

Summary

Introduction

In previous papers I have characterized the foundations of Theoretical physics as constituted by two dichotomies; one concerns the two kinds of infinity—either the actual infinity (AI), or the potential infinity (PI)—, or, in formal terms, the two kinds of Mathematics—either the classical Mathematics making use of the idealistic axioms (e.g. Zermelo’s), or the constructive Mathematics—; the other dichotomy concerns the two kinds of organization of a theory—either the axiomatic-deductive one (AO) or the problem-based organization aimed at solving a basic problem through the invention of a new scientific method (PO)—; or, in formal terms, the two kinds of Logic—either the classical Logic or the intuitionist one (Drago, 1996). I have characterized the basic choices of each of the main classical theories, both the dominant ones and those based on the alternative choices. In the aim at discovering an alternative formulation, i.e. a formulation of QM which is based on the choices PI&PO, in a first time I have studied Weyl’s formulation of QM, because this author wanted to base it upon an elementary mathematics and he formulated it through the symmetries (which constitute the characteristic mathematical tool of the classical theory of Lazare Carnot’s mechanics, whose choices are the alternative ones, PI & PO; Drago, 2004). I have followed the program of reiterating through the alternative formulations of the classical theories the historical process which led to the birth of QM, in such a way to generate it according to the alternative choices. It resulted in a too difficult task (Drago, 2016)

Drago DOI
Strocchi’s Axiomatic of the Dominant Formulation of QM
Strocchi’s Formulation of Quantum Mechanics
The Principle of Indeterminacy and Its Representation
Symmetries
10. Strocchi’s Formulation as a PO Theory
11. Conclusion
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call