Zulip Chat Archive

Stream: general

Topic: Formal treatment for physics


view this post on Zulip 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.

view this post on Zulip 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
https://groups.csail.mit.edu/mac/users/gjs/6946/sicm-html/

view this post on Zulip Abhishek Chugh (Feb 28 2021 at 01:52):

Thanks Jalex. The formal treatment is very helpful.

view this post on Zulip Abhishek Chugh (Feb 28 2021 at 01:54):

For future reference, here is another paper that discusses formalization of physics in detail

view this post on Zulip Abhishek Chugh (Feb 28 2021 at 01:55):

https://nyuscholars.nyu.edu/en/publications/proof-verification-technology-and-elementary-physics


Last updated: May 14 2021 at 13:24 UTC