Next: Cardinal numbers Up: Mathematical structure Previous: Axiom of infinity Contents
Completed
second draft of this book
PDF version
of this book
Next: Cardinal numbers Up: Mathematical structure
Previous: Axiom of infinity Contents
Infinite structures do not exist in the physical world as far as
we know. So what do mathematicians mean when they assert the
existence of 
? There is no universally accepted
philosophy of mathematics but the most common belief is that
mathematics touches on an other worldly absolute truth. This idea
has its origins in the Platonic concept of an
ideal and perfect world of which the physical world is a dim
reflection. Many mathematicians hold to this position in some form.
They believe that mathematics involves a special perception of an
idealized world of absolute truth. This comes in part from the
recognition that all that exists in the physical world is imperfect
and falls short of what we can apprehend with mathematical
thinking.
For example all physical circles have imperfections, but the geometric circle is perfect. One can argue that this distinction no longer exists. We cannot construct a perfect circle, but we can construct computer programs that will describe the perfect circle to any desired degree of accuracy. A computer program can be interpreted by a physical device. Its instructions are usually carried out with absolute perfection. Computers can and do make errors but the probability of an error is small and there are techniques that can make that probability arbitrarily small. Thus we have something physical that comes close to being a Platonic ideal.
The infinite used to be thought of as a potential that is never fully realized. This perspective fell into disfavor as mathematicians constructed a hierarchy of infinite sets. that greatly extend mathematics. The practical consequences of these extension suggested there was some special mathematical insight into the infinite.
The hierarchy of infinite sets comes in two flavors, the
ordinals and the cardinals. The ordinals generalize the
construction of the integers. We construct the successor of just as we construct the
successor of a finite integer. We take the union of and all the members of . Ordinals
are important because one can do induction on them in more powerful
ways than one can do induction on the integers. It is induction up
to particular ordinals that allow us to solve particular Halting
Problems. For every Halting Problem there is some ordinal large
enough to solve it.
Completed
second draft of this book
PDF version
of this book
Next: Cardinal numbers Up: Mathematical structure
Previous: Axiom of infinity Contents
| home | consulting | videos | book | QM FAQ | contact |