| Chronology | Current Month | Current Thread | Current Date |
| [Year List] [Month List (current year)] | [Date Index] [Thread Index] | [Thread Prev] [Thread Next] | [Date Prev] [Date Next] |
twayburn@juno.com (Thomas L Wayburn) quotes:
If the axiom system of a deductive theory is complete, and if any
sentence which can be formulated but not proved within that theory is
added to the system, then the axiom system extended in this manner is no
longer consistent. - Tarski, Alfred, *Introduction to Logic ...*, Oxford,
New York (1994), p. 133.
And anyone who is 'into' axiomatic mathematics needs to read up on the
Banach-Tarksi results that clearly show that our current understanding of
differential calculus leads to the result that a shperical set of points
with size equal to the sun can be dissected into a finite number of subsets
that can be reassembled into a sphere the size of a pea (or any other size)
with no points left out, overlapping etc.
hmmm.
-. .-. .-. .-. .-. .-. .-. .-. .-. .-
\ / \ / \ N / \ C / \ S / \ S / \ M / \ / \ /
`-' `-' `-' `-' `-' `-' `-' `-' `-'
Chuck Britton Education is what is left when
britton@odie.ncssm.edu you have forgotten everything
North Carolina School of Science & Math you learned in school.
(919) 286-3366 x224 Albert Einstein, 1936