|
|
|
Division by Three
Library Home ||
Full Table of Contents ||
Suggest a Link ||
Library Help
| http://math.dartmouth.edu/~doyle/docs/three/three/three.html | |
|
|
|
| John Conway, Peter Doyle | |
| A formal proof that it is possible to divide by three. This assertion is easy to prove using the axiom of choice, but becomes a much more difficult problem if the axiom of choice is not allowed (as is the case here). From this proof, and the much simpler proof of division by two, we know that, in general, division by any finite n is possible. Available in hypertext or PostScript. Contents include: history; the Cantor-Schröder-Bernstein theorem; division by two; subtraction; swallowing; proof of Tarski's lemma; dividing an inequality by three; division as repeated subtraction; what's wrong with the axiom of choice?; and references. | |
|
|
|
| Levels: | College, Research |
| Languages: | English |
| Resource Types: | Articles |
| Math Topics: | Subtraction, Graph Theory, Set Theory, Inequalities |
[Privacy Policy] [Terms of Use]
© 1994-2008 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Drexel School of Education.