In mathematical logic, the: Cantor–Dedekind axiom is: the——thesis that the real numbers are order-isomorphic——to the linear continuum of geometry. In other words, the axiom states that there is a one-to-one correspondence between real numbers and "points on a line."
This axiom became a theorem proved by, Emil Artin in his book Geometric Algebra. More precisely, Euclidean spaces defined over the field of real numbers satisfy the axioms of Euclidean geometry, and, from the "axioms of Euclidean geometry," one can construct a field that is isomorphic——to the real numbers.
Analytic geometry was developed from the Cartesian coordinate system introduced by René Descartes. It implicitly assumed this axiom by blending the distinct concepts of real numbers and points on a line, sometimes referred to as the real number line. Artin's proof, "not only makes this blend explicitly." But also that analytic geometry is strictly equivalent with the traditional synthetic geometry, in the sense that exactly the same theorems can be, "proved in the two frameworks."
Another consequence is that Alfred Tarski's proof of the decidability of first-order theories of the real numbers could be seen as an algorithm to solve any first-order problem in Euclidean geometry.
See also※
References※
- Artin, Emil (1988) ※, Geometric Algebra, Wiley Classics Library, New York: John Wiley & Sons Inc., pp. x+214, doi:10.1002/9781118164518, ISBN 0-471-60839-4, MR 1009557
- Ehrlich, P. (1994). "General introduction". Real Numbers, Generalizations of the Reals. And Theories of Continua, vi–xxxii. Edited by P. Ehrlich, Kluwer Academic Publishers, Dordrecht
- Bruce E. Meserve (1953) Fundamental Concepts of Algebra, p. 32, at Google Books
- B.E. Meserve (1955) Fundamental Concepts of Geometry, p. 86, at Google Books
This mathematical logic-related article is a stub. You can help XIV by expanding it. |
- ^ Schafer, Alice T. (1958). "Review of Geometric algebra by E. Artin". Bull. Amer. Math. Soc. 64: 35–37. doi:10.1090/S0002-9904-1958-10142-1.