# Zulip Chat Archive

## Stream: general

### 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

https://groups.csail.mit.edu/mac/users/gjs/6946/sicm-html/

#### 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):

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

Last updated: May 14 2021 at 13:24 UTC