Contributed talk at the conference Logic, Relativity and Beyond (Budapest 13-15 July 2026)(abstract)(slides)
July 11, 2026
A Constructive Axiomatic Method for Physics: a formal description of LIGO experiment
Comments Off on A Constructive Axiomatic Method for Physics: a formal description of LIGO experiment