- #1
mun
- 10
- 0
Hi,
If one were to formalise physics, what would be the appropriate logic to use? Is FOL already sufficient, since the mathematics involved are first-order, e.g., sets, differentials. Or, is a more expressive logic needed?
If one were to formalise physics, what would be the appropriate logic to use? Is FOL already sufficient, since the mathematics involved are first-order, e.g., sets, differentials. Or, is a more expressive logic needed?