On Hilbert's sixth problem

著者

• Costa, Newton C. A. da
• Doria, Francisco Antônio

書誌事項

On Hilbert's sixth problem

Newton C.A. da Costa, Francisco Antonio Doria

（Synthese library, 441）

Springer, c2022

• : hbk

注記

Includes bibliographical references

内容説明・目次

内容説明

This book explores the premise that a physical theory is an interpretation of the analytico-canonical formalism. Throughout the text, the investigation stresses that classical mechanics in its Lagrangian formulation is the formal backbone of theoretical physics. The authors start from a presentation of the analytico-canonical formalism for classical mechanics, and its applications in electromagnetism, Schroedinger's quantum mechanics, and field theories such as general relativity and gauge field theories, up to the Higgs mechanism. The analysis uses the main criterion used by physicists for a theory: to formulate a physical theory we write down a Lagrangian for it. A physical theory is a particular instance of the Lagrangian functional. So, there is already an unified physical theory. One only has to specify the corresponding Lagrangian (or Lagrangian density); the dynamical equations are the associated Euler-Lagrange equations. The theory of Suppes predicates as the main tool in the axiomatization and examples from the usual theories in physics. For applications, a whole plethora of results from logic that lead to interesting, and sometimes unexpected, consequences. This volume looks at where our physics happen and which mathematical universe we require for the description of our concrete physical events. It also explores if we use the constructive universe or if we need set-theoretically generic spacetimes.

目次

Foreword 1. Preliminary Part I. Physics: A Primer2. Classical mechanics3. Variational calculus4. Lagrangian formulation5. Hamilton's equations6. Hamilton-Jacobi theory7. Where the action is8. From classical to quantum9. Field theory10. Electromagnetism11. Special relativity12. General relativity13. Gauge field theories Part II. Axiomatics14. Axiomatizations in ZFC Part III. Technicalities15. Hierarchies Part IV. More applications16. Arnol'd's 1974 problems17. Forcing and gravitation18. Economics and ecology. Part V. Computer science19. Fast-growing functions Part VI. Hypercomputation20. Hypercomputation References

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BC12301931
• ISBN:
  • 9783030838362
• 出版国コード: sz
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cham
• ページ数/冊数: xiii, 191 p.
• 大きさ: 24 cm
• 分類:
  • DC23 : 531
• 件名:
  • LCSH : Mechanics
  • LCSH : Science -- Philosophy
  • LCSH : Mathematical physics
• 親書誌ID:
  • BA00017801