Axiomas de Hilbert
De Wikipedia, a enciclopédia encyclopedia
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. Outras axiomatizações modernas da geometria euclidiana são as de Alfred Tarski e de George Birkhoff.
Esta página ou seção foi marcada para revisão devido a incoerências ou dados de confiabilidade duvidosa. (Janeiro de 2012) |
O objetivo de Hilbert foi o de identificar um conjunto simples e completo de axiomas independentes a partir do qual os mais importantes teoremas geométricos pudessem ser deduzidos.[1] Os objetivos principais eram tornar rigorosa a geometria euclidiana (para evitar pressupostos escondidos) e deixar claras as ramificações do postulado das paralelas.