Skip to main content
Notice added Book Recommendation by Qmechanic
Post Made Community Wiki by Qmechanic
Source Link
user107952
  • 1.3k
  • 1
  • 10
  • 19

Newtonian Mechanics in first-order logic

I asked a similar question before, but it did not give the answer I was looking for, so I will clarify what I actually want in this question. H. Andreka created a formal first-order logic theory that was meant to axiomatize special relativity. I very much enjoyed reading his paper and other papers that axiomatized special relativity. However, I have yet to find a similar text for Newtonian mechanics. What I am looking for is a paper or papers that give a formal first-order theory that axiomatize Newtonian mechanics.