In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics

DOI10.1007/978-3-030-64187-0_16zbMath1482.83001OpenAlexW3171573042MaRDI QIDQ5015981

Michèle Friend, Giambattista Formica

Publication date: 10 December 2021

Published in: Hajnal Andréka and István Németi on Unity of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-64187-0_16

zbMATH Keywords

Andréka-Németi groupaxiometic methodHilbert's philosophy of sciencelogical foundations of scienceunity of sciences

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Einstein's equations (general structure, canonical formalism, Cauchy problems) (83C05) Special relativity (83A05) Methodology of mathematics (00A35) Physics (00A79)

Related Items (2)

Investigations of isotropy and homogeneity of spacetime in first-order logic ⋮ Why Not Categorical Equivalence?

Cites Work

• Pluralism in mathematics. A new position in philosophy of mathematics
• A logic road from special relativity to general relativity
• The existence of superluminal particles is consistent with relativistic dynamics
• Hilbert, logicism, and mathematical existence
• From geometry to conceptual relativity
• Rethinking logic. Logic in relation to mathematics, evolution, and method
• Axiomatic method and category theory
• David Hilbert and the axiomatization of physics (1898--1918). From Grundlagen der Geometrie to Grundlagen der Physik.
• Special relativity over the field of rational numbers
• Why do the relativistic masses and momenta of faster-than-light particles decrease as their speeds increase?
• Existence of Faster than Light Signals Implies Hypercomputation already in Special Relativity
• Hilbert's Programs: 1917–1922
• What properties of numbers are needed to model accelerated observers in relativity?
• DISTANCES BETWEEN FORMAL THEORIES
• The “Axiomatic Method” and Its Constitutive Role in Physics
• Comparing Classical and Relativistic Kinematics in First-Order Logic
• Comparing Theories: The Dynamics of Changing Vocabulary
• In the Shadow of Incompleteness: Hilbert and Gentzen
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics