[FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics

Keith Brian Johnson joyfuloctopus at yahoo.com
Tue Oct 14 22:41:30 EDT 2008

Brian Hart asked:

> Why doesn't Godel's 1st Incompleteness Theorem imply the
> incompleteness of any theory of physics T, assuming that T is
> consistent and uses arithmetic?

Part of Antonino Drago's reply went
"Third. In theoretical physics quantifiers play an important role only when
they are included in some principle: " *Any* body either in rest or in
uniform motion perseveres in its state
unless a force changes its motion" (Newton 1687). Of course, this statement
is incomplete in the sense that Newton did not predicated this statement
about *all* bodies if not in an idealised way, i.e. in a non experimental
way. Is physics this? Again, it is a conjecture in order to obtain results
fitting experimental data. But notice that theoretical physics is capable to
disregard this kind of principles which include quantifiers; the same
inertia principle was stated without quantifiers by Lazare Carnot (1803) as
follows: "Once a body is at rest it does not change its state; when in
motion it is not capable to change its speed and its direction". Hence
physics is capable to dismiss at all the quantifiers; quantifiers come occur
in a way of speaking that make use of more elaborated statements. In the
more adequate statements to the experimental reality, no quantifier does
exist.  In such a case there is not reason to apply Goedel's theorem."
But can quantified statements in theoretical physics be dismissed so easily?  When I look at "Once a body is at rest it does not change its state; when in motion it is not capable to change its speed and its direction," I see a universally quantified statement, as "a body" seems to refer to any arbitrarily chosen body, rather than to some specific body.  Hence, it seems to say something like, "For all x, if x is a body at rest, then it does not change its state, and if it is in motion, then it does not change its speed or direction, without a force's acting on it."  Am I misunderstanding Carnot's formulation?
Keith Brian Johnson


More information about the FOM mailing list