Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Faça o download
Acesso mais rápido do que o navegador!
 

Axioma de Cantor-Dedekind

Índice 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.

14 relações: Alfred Tarski, Algoritmo, Contínuo linear, Decidibilidade, Geometria, Geometria analítica, Geometria euclidiana, Isomorfismo (teoria das categorias), Lógica matemática, Metáfora conceptual, Número real, Philip Ehrlich, René Descartes, Sistema de coordenadas cartesiano.

Alfred Tarski

Alfred Tarski (Varsóvia, na época Império Russo, atualmente Polônia, — Berkeley, Estados Unidos) foi um lógico, matemático e filósofo polonês.

Novo!!: Axioma de Cantor-Dedekind e Alfred Tarski · Veja mais »

Algoritmo

Uma animação do algoritmo de ordenação quicksort de uma matriz de valores ao acaso. As barras vermelhas marcam o elemento pivô. No início da animação, estando o elemento para o lado direito, é escolhido como o pivô Em matemática e ciência da computação, um algoritmo é uma sequência finita de ações executáveis que visam obter uma solução para um determinado tipo de problema.

Novo!!: Axioma de Cantor-Dedekind e Algoritmo · Veja mais »

Contínuo linear

No campo matemático da teoria da ordem, um contínuo linear, ou simplesmente contínuo é uma generalização da reta real.

Novo!!: Axioma de Cantor-Dedekind e Contínuo linear · Veja mais »

Decidibilidade

Em lógica, o termo decidível se refere a um problema de decisão, ou seja, a questão da existência de um método efetivo para determinar a pertinência em um conjunto de fórmulas.

Novo!!: Axioma de Cantor-Dedekind e Decidibilidade · Veja mais »

Geometria

projetiva (P.Oxy. I 29) mostrando um fragmento dos Elementos de Euclides A geometria (γεωμετρία; geo- "terra", -metria "medida") é um ramo da matemática preocupado com questões de forma, tamanho e posição relativa de figuras e com as propriedades dos espaços.

Novo!!: Axioma de Cantor-Dedekind e Geometria · Veja mais »

Geometria analítica

Sistema cartesiano de coordenadas Representação do plano-''xy'' com a inscrição dos vetores unitários '''''i''''' e '''''j''''' Na matemática clássica, a geometria analítica, também chamada geometria de coordenadas e de geometria cartesiana, é o estudo da geometria por meio de um sistema de coordenadas e dos princípios da álgebra e da análise.

Novo!!: Axioma de Cantor-Dedekind e Geometria analítica · Veja mais »

Geometria euclidiana

Na matemática, geometria euclidiana é a geometria, em duas e três dimensões, baseada nos postulados de Euclides de Alexandria.

Novo!!: Axioma de Cantor-Dedekind e Geometria euclidiana · Veja mais »

Isomorfismo (teoria das categorias)

Um isomorfismo (ou iso), no contexto de teoria das categorias, é uma seta invertível.

Novo!!: Axioma de Cantor-Dedekind e Isomorfismo (teoria das categorias) · Veja mais »

Lógica matemática

A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática.

Novo!!: Axioma de Cantor-Dedekind e Lógica matemática · Veja mais »

Metáfora conceptual

Na linguística cognitiva, metáfora conceptual, ou metáfora cognitiva, refere-se à compreensão de uma ideia, ou domínio conceptual, em termos de outro.

Novo!!: Axioma de Cantor-Dedekind e Metáfora conceptual · Veja mais »

Número real

Um número real é um valor que representa uma quantidade (nula, positiva ou negativa) ao longo de uma linha contínua, ou seja um ponto sobre uma linha reta infinita, chamada de reta numérica ou reta real, onde os pontos correspondentes aos números inteiros são igualmente espaçados.

Novo!!: Axioma de Cantor-Dedekind e Número real · Veja mais »

Philip Ehrlich

Philip Ehrlich é professor no departamento de Filosofia da Universidade de Ohio.

Novo!!: Axioma de Cantor-Dedekind e Philip Ehrlich · Veja mais »

René Descartes

René Descartes (La Haye en Touraine, 31 de março de 1596 – Estocolmo, 11 de fevereiro de 1650) foi um filósofo, físico e matemático francês.

Novo!!: Axioma de Cantor-Dedekind e René Descartes · Veja mais »

Sistema de coordenadas cartesiano

Sistema de coordenadas cartesiano. O sistema de Coordenadas no plano cartesiano, também chamado de espaço cartesiano, é um esquema reticulado necessário para especificar pontos em um determinado "espaço" com dimensões.

Novo!!: Axioma de Cantor-Dedekind e Sistema de coordenadas cartesiano · Veja mais »

CessanteEntrada
Ei! Agora estamos em Facebook! »