Wikipédia em português - A enciclop...
Abaixe este dicionário
Axioma de Cantor-Dedekind
Em lógica matemática, a frase axioma de Cantor-Dedekind tem sido usado para descrever a tese de que os números reais são ordenados isomorficamente ao contínuo linear da geometria. Em outras palavras, o axioma indica que existe uma correspondência um a um entre os números reais e os pontos de uma linha.

Este axioma é a "pedra angular" da geometria analítica. O sistema de coordenadas cartesianas desenvolvido por René Descartes explicitamente assume este axioma por misturar os conceitos distintos de sistema de números reais com a reta ou plano geométricos em uma metáfora conceptual. Isto é algumas vezes referido como a combinação reta dos números reais:
Uma consequência deste axioma é que Alfred Tarski's demonstrou que a decidibilidade do corpo real ordenado poderia ser vista como um algoritmo para resolver qualquer problema em geometria euclidiana.

  • 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

Veja mais na Wikipédia.org...


© Esse artigo usa material da Wikipédia® sob a licença Licença GNU de Documentação Livre e sob nos termos da licença Creative Commons Attribution-ShareAlike