This preview shows page 1. Sign up to view the full content.
Unformatted text preview: 1
THE MATHEMATICAL MEANING OF MATHEMATICAL LOGIC
Harvey M. Friedman
http://www.math.ohio-state.edu/~friedman/ April 15, 2000
Rev. April 21, 2000
I am going to discuss the mathematical meaning of
1. the completeness theorem.
2. the incompleteness theorems.
3. recursively enumerable sets of integers.
5. the Ackerman hierarchy.
6. Peano arithmetic.
8. Zermelo set theory.
9. ZFC and beyond.
Each of these theorems and concepts arose from very specific
considerations of great general interest in the foundations
of mathematics (f.o.m.). They each serve well defined
purposes in f.o.m. Naturally, the preferred way to formulate
them for mathe-matical logicians is in terms that are close
to their roots in f.o.m.
However, the core mathematician does not come out of the
f.o.m. tradition as does the mathematical logician. Instead,
he/she comes out of the much older arithmetic/
algebraic/geometric (a.a.g.) tradition. The significance of
these theorems and concepts are not readily apparent from the
a.a.g. point of view.
In fact, a full formulation of these theorems and concepts
requires the introduction of rather elaborate structures
which can only be properly appreciated from a distinctly
f.o.m. perspective. In fact, the a.a.g. perspective is of
little help in gaining facil-ity with these elaborate
So the core mathematician, steeped in a.a.g, is very unlikely
to spend the considerable effort required to understand the
meaning of such theorems and concepts. In wading through
these develop-ments, he/she will not be putting the a.a.g.
perspective to effective use, and will not anticipate any
corresponding proportionate a.a.g. payoff. 2 Of course, there is nothing to prevent a core mathematician
from becoming familiar with and being perfectly comfort-able
with the f.o.m. tradition. But for various reasons, this has
become quite rare.
To give a prime example of what I have in mind, most of these
theorems and concepts depend on the syntax and semantics of
so called first order predicate calculus with equality. This
is a rather elaborate structure which, with proper
substantial and detailed discussion, sounds like beautiful
music to the ears of an f.o.m...
View Full Document