0

There are no ZFC or arithmetic axioms, for example second-order arithmetic, in the physical world. Why can I solve differential equations in the electricity subject?

We may also assume the world has discrete time and space, or just we don't care about the physical rule in the small scale. Then the differential equation is something approximate to a difference equation, and we don't need real numbers of infinite digits, and its existence in real world.

Assuming the consistency of ZFC, we could prove there are provable error bound between the solution of difference equation and the solution of differential equation.

3
  • 1
    What does it mean "There are (there are no) ZFC or arithmetic axioms in the physical world" ? Sep 21, 2021 at 5:51
  • 1
    But yes, (maybe) we can do only with approximation. See Finitism as well as Hartry Field's Science Without Numbers, 1980 Sep 21, 2021 at 5:53
  • 1
    I think you are mixing "exists in the physical world" with "needed in models of the physical world". Not even positive integers "exist in the physical world", they are abstractions used to represent it, and there are physical models where the world has no time or space at the fundamental level, and is represented by algebraic structures other than numbers, see e.g. Evolution in Quantum Causal Histories. For a different sense of "existence" see Do numbers exist independently from observers?
    – Conifold
    Sep 21, 2021 at 9:34

0

You must log in to answer this question.

Browse other questions tagged .