Translation for 'axiomatização' from Portuguese to English

axiomatização {f}

axiomatization

axiomatisation [Br.]

• Lembrando que na axiomatização de Kolmogorov, conjuntos mensuráveis são conjuntos que tem uma probabilidade, isto é, os conjuntos correspondem a questões sim/não que tem uma resposta probabilística.
• As pesquisa de Da Costas incluem teoria dos modelos, teoria de Galois, axiomatização da mecânica quântica e da relatividade restrita e teoria da complexidade.
• A axiomatização padrão dos números naturais é chamada de axiomas de Peano, em sua homenagem.
• O axioma de Peano é o mais usado em axiomatização de aritmética de primeira ordem.
• A Parte II (Axiomatics and Ontology Languages) apresenta uma axiomatização completa da GFO, bem como uma biblioteca de linguagens de ontologia e várias ferramentas para análises meta-lógicas de axiomas formais.

  ---

• A Quine não estabeleceu nem axiomatização nem procedimento de prova para PFL.
• No entanto, existem distribuições probabilísticas que não são semi-grafóides e, além disso, não há axiomatização finita para dependências probabilísticas.
• Na matemática, axiomatização, é a formulação de um sistema de afirmações (i.e. ...
• Em 1974 Jon Barwise fornecida uma axiomatização da teoria de modelo abstrato.
• Um grande defensor do formalismo era David Hilbert, cujo programa foi concebido para ser um completo e consistente axiomatização de toda a matemática.

  ---

• Em outros termos, a ZFC não pode ser objeto de uma axiomatização finita.
• Em 1977, Paris e Harrington provaram que o princípio de Paris-Harrington, uma versão do teorema de Ramsey, é indecidível na axiomatização da aritmética dada pelos axiomas de Peano, mas podem ser provadas como verdadeiras em um sistema maior da aritmética de segunda ordem.
• No início do século XX, a teoria dos conjuntos ainda não tinha sido formalizada e estava em crise devido ao paradoxo de Bertrand Russell, e a axiomatização da matemática, sobre o modelo dos Elementos de Euclides, estava a atingir novos níveis de rigor, particularmente na aritmética e na geometria.