Topic: Formal treatment for physics
Abhishek Chugh (Feb 27 2021 at 23:00):
Can someone point me to any formalization work done in physics.
For example, proving "when a force of 1N is applied to an object of mass 1kg, it travels 2m in 2 seconds" using Newton's laws (and required math) as axioms.
Not hoping to find an actual working system, but any theoretical work, i.e. book chapters, papers dealing with rigorous proof will also be quite helpful.
Jalex Stark (Feb 27 2021 at 23:29):
I haven't studied this, but I think it might be asking the lines of what you're looking for
Abhishek Chugh (Feb 28 2021 at 01:52):
Thanks Jalex. The formal treatment is very helpful.
Abhishek Chugh (Feb 28 2021 at 01:54):
For future reference, here is another paper that discusses formalization of physics in detail
Abhishek Chugh (Feb 28 2021 at 01:55):
Last updated: May 14 2021 at 13:24 UTC