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

Axiomas de Hilbert

Índice Axiomas de Hilbert

Os axiomas de Hilbert são um conjunto de 20 (originalmente 21) premissas propostas por David Hilbert em 1899 no seu livro Grundlagen der Geometrie (tr. Fundamentos da Geometria), como a fundação de um tratamento moderno da geometria euclidiana.

27 relações: Alfred Tarski, Axioma, Axioma de Pasch, David Hilbert, Eliakim Hastings Moore, Geometria euclidiana, George David Birkhoff, Independência de axiomas, John Playfair, Método dedutivo, Noção primitiva, Plano (geometria), Ponto (matemática), Postulado das paralelas, Premissa, Propriedade arquimediana, Relação (matemática), Relação binária, Relação ternária, Reta, Robert Lee Moore, Teorema, Teorema de Pasch, Teorema de Pitágoras, Teorema de Tales, Trigésima segunda proposição de Euclides, 1899.

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!!: Axiomas de Hilbert e Alfred Tarski · Veja mais »

Axioma

Na lógica tradicional, um axioma ou postulado é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria.

Novo!!: Axiomas de Hilbert e Axioma · Veja mais »

Axioma de Pasch

O Axioma de Pasch é um axioma criado por Moritz Pasch que complementa a geometria euclidiana.

Novo!!: Axiomas de Hilbert e Axioma de Pasch · Veja mais »

David Hilbert

David Hilbert (Königsberg, — Göttingen) foi um matemático alemão.

Novo!!: Axiomas de Hilbert e David Hilbert · Veja mais »

Eliakim Hastings Moore

Eliakim Hastings Moore (Marietta (Ohio), — Chicago) foi um matemático estadunidense.

Novo!!: Axiomas de Hilbert e Eliakim Hastings Moore · 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!!: Axiomas de Hilbert e Geometria euclidiana · Veja mais »

George David Birkhoff

George David Birkhoff (Overisel, Michigan, — Cambridge) foi um matemático estadunidense, mais conhecido pela elaboração do teorema ergódico.

Novo!!: Axiomas de Hilbert e George David Birkhoff · Veja mais »

Independência de axiomas

Um axioma P é independente caso não haja outros axiomas Q de maneira que Q implique P. Em muitos casos, a independência é desejada, seja para alcançar a conclusão de um conjunto reduzido de axiomas, seja para possibilitar a substituição de um axioma independente a fim de criar um sistema mais conciso (a título de exemplo, o postulado das paralelas é independente de outros axiomas da geometria euclidiana e fornece resultados interessantes quando é negado ou substituído).

Novo!!: Axiomas de Hilbert e Independência de axiomas · Veja mais »

John Playfair

John Playfair (Dundee, Escócia, 10 de março de 1748 – Burntisland, Escócia, 20 de julho de 1819) foi um ministro da Igreja da Escócia, lembrado como cientista e matemático, e professor de filosofia natural na Universidade de Edimburgo.

Novo!!: Axiomas de Hilbert e John Playfair · Veja mais »

Método dedutivo

Método dedutivo o raciocínio dedutivo é a maneira de tirar inferências dedutivas.

Novo!!: Axiomas de Hilbert e Método dedutivo · Veja mais »

Noção primitiva

Em matemática, lógica, e sistemas formais, uma noção primitiva é um conceito indefinido.

Novo!!: Axiomas de Hilbert e Noção primitiva · Veja mais »

Plano (geometria)

paralelos no espaço Na matemática, um plano é um ente primitivo geométrico infinito a duas dimensões.

Novo!!: Axiomas de Hilbert e Plano (geometria) · Veja mais »

Ponto (matemática)

Em Matemática, particularmente na Geometria e na Topologia, um ponto é uma noção primitiva pela qual outros conceitos são definidos.

Novo!!: Axiomas de Hilbert e Ponto (matemática) · Veja mais »

Postulado das paralelas

O postulado das paralelas, também conhecido como quinto postulado de Euclides, foi enunciado por volta dos anos no seu famoso livro “Os Elementos”, da seguinte forma: “É verdade que, se uma reta ao cortar duas outras, forma ângulos internos, no mesmo lado, cuja soma é menor do que dois ângulos retos, então as duas retas, se continuadas, encontrar-se-ão no lado onde estão os ângulos cuja soma é menor do que dois ângulos retos”.

Novo!!: Axiomas de Hilbert e Postulado das paralelas · Veja mais »

Premissa

Em Lógica, uma premissa é uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência.

Novo!!: Axiomas de Hilbert e Premissa · Veja mais »

Propriedade arquimediana

Na álgebra abstrata, a propriedade arquimediana é uma propriedade possuída por alguns grupos, corpos e outras estruturas algébricas.

Novo!!: Axiomas de Hilbert e Propriedade arquimediana · Veja mais »

Relação (matemática)

Em matemática, uma relação é uma correspondência (ou associação) entre elementos de dois conjuntos não vazios.

Novo!!: Axiomas de Hilbert e Relação (matemática) · Veja mais »

Relação binária

Relação binária Relação bináriaNa matemática e na lógica, uma relação binária ou 2-ária é uma relação entre dois elementos, sendo um conjunto de pares ordenados.

Novo!!: Axiomas de Hilbert e Relação binária · Veja mais »

Relação ternária

Na lógica e na matemática, uma relação ternária ou triádica ou 3-ária é uma relação com três elementos.

Novo!!: Axiomas de Hilbert e Relação ternária · Veja mais »

Reta

eixo y no mesmo local). Uma representação de um segmento de reta. A noção de ou linha reta foi introduzida por matemáticos antigos para representar objetos retos (isto é, sem curvatura) com largura e profundidade desprezíveis.

Novo!!: Axiomas de Hilbert e Reta · Veja mais »

Robert Lee Moore

Robert Lee Moore (Dallas, 14 de novembro de 1882 — Austin, 4 de outubro de 1974) foi um matemático estadunidense.

Novo!!: Axiomas de Hilbert e Robert Lee Moore · Veja mais »

Teorema

Na matemática, um teorema é uma afirmação que pode ser provada como verdadeira, por meio de outras afirmações já demonstradas, como outros teoremas, juntamente com afirmações anteriormente aceitas, como axiomas.

Novo!!: Axiomas de Hilbert e Teorema · Veja mais »

Teorema de Pasch

Em geometria o teorema de Pasch, enunciado em 1882 pelo matemático alemão Moritz Pasch, é resultado de uma geometria plana que não é uma decorrência dos postulados de Euclides.

Novo!!: Axiomas de Hilbert e Teorema de Pasch · Veja mais »

Teorema de Pitágoras

área do quadrado construído sobre a hipotenusa (''c''). Na matemática, o teorema de Pitágoras é uma relação matemática entre os comprimentos dos lados de qualquer triângulo retângulo.

Novo!!: Axiomas de Hilbert e Teorema de Pitágoras · Veja mais »

Teorema de Tales

* Teorema de Tales (interseção) — sobre as proporções originadas pela interseção de um feixe de retas paralelas.

Novo!!: Axiomas de Hilbert e Teorema de Tales · Veja mais »

Trigésima segunda proposição de Euclides

A trigésima segunda proposição de Euclides pode ser dividida duas partes.

Novo!!: Axiomas de Hilbert e Trigésima segunda proposição de Euclides · Veja mais »

1899

---- (na numeração romana) foi um ano comum do século XIX do actual Calendário Gregoriano, da Era de Cristo, e a sua letra dominical foi A (52 semanas), teve início a um domingo e terminou também a um domingo.

Novo!!: Axiomas de Hilbert e 1899 · Veja mais »

Redireciona aqui:

Axiomas de Hilbert da geometria euclidiana, Axiomas de hilbert.

CessanteEntrada
Ei! Agora estamos em Facebook! »