axioma

axioma | s. m.
a·xi·o·ma |acsi| a·xi·o·ma |acsi|
(latim axioma, -atis, do grego axíoma, -atos )
substantivo masculino

Proposição tão evidente que não precisa ser demonstrada.


substantivo masculino Evidência cuja comprovação é dispensável por ser óbvia; princípio evidente por si mesmo.
Expressão que contém um sentido moral ou geral; provérbio, máxima ou sentença.
[Matemática] Noção comum; afirmação geral aceita sem discussão: “a parte é menor que o todo” é um exemplo de axioma.
[Gramática] Representação inicial das regras sintagmáticas; estrutura correta sem explicação comprovada.
Etimologia (origem da palavra axioma). Do latim axioma.atis.


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. Por essa razão, é aceito como verdade e serve como ponto inicial para dedução de outras verdades (dependentes de teoria).
Na matemática, um axioma é uma hipótese inicial de qual outros enunciados são logicamente derivados. Pode ser uma sentença, uma proposição, um enunciado ou uma regra que permite a construção de um sistema formal. Diferentemente de teoremas, axiomas não podem ser derivados por princípios de dedução e nem são demonstráveis por derivações formais, simplesmente porque eles são hipóteses iniciais. Isto é, não há mais nada a partir do que eles seguem lógicamente (em caso contrário eles seriam chamados teoremas). Em muitos contextos, “axioma”, “postulado” e “hipótese” são usados como sinônimos.
Como foi visto na definição, um axioma não é necessariamente uma verdade autoevidente, mas apenas uma expressão lógica formal usada em uma dedução, visando obter resultados mais facilmente. Axiomatizar um sistema é mostrar que suas inferências podem ser derivadas a partir de um pequeno e bem definido conjunto de sentenças. Isto não significa que elas possam ser conhecidas independentemente, e tipicamente existem múltiplos meios para axiomatizar um dado sistema (como a aritmética). A matemática distingue dois tipos de axiomas: axiomas lógicos e axiomas não-lógicos.
Nas teorias das ciências naturais, um axioma é considerado uma verdade evidente que e é aceita como tal mas que ao rigor da palavra não pode ser demonstrado ou provado uma verdade absoluta dentro do domínio de sua aplicação; é geralmente derivado de intuição ou de conhecimento empírico, os quais apoiam-se em todos os fatos científicos até então conhecidos e relevantes à área em estudo. A viabilidade ou utilidade de tais teorias, e a classificação das mesmas como teorias científicas válidas ou já aprimoradas, todas sempre logicamente derivadas de forma correta de suas premissas (dos axiomas), dependem das escolhas acuradas de seus axiomas e da corroboração dos mesmos frente aos fatos científicos conhecidos na época em que foram propostos, e frente aos que forem gradualmente descobertos em épocas futuras às suas proposições. Fatos novos, ao serem descobertos, podem levar à evolução das teorias mediante necessidade explicita de modificações em seus axiomas, que, conforme propostos no paradigma científico evoluído e ora válido, devem manter-se sempre corroborados pela íntegra dos fatos científicos conhecidos até a data em questão.
Na engenharia, axiomas são aceitos sem provas formais e suas escolhas são negociadas a partir do ponto de vista utilitário e econômico. Podem também ser considerados como hipóteses na modelagem e mudados depois da validação do modelo.
Declarações explícitas de axiomas é uma condição necessária para a computabilidade de uma teoria, modelo ou método. Neste caso, o axioma pode ser visto como um conceito relativo dependente de domínio, por exemplo, em cada programa de software, declarações iniciais podem ser consideradas como seus axiomas locais.




Novas Palavras no dicionário

  • mundaréu
    mundaréu | s. m. mun·da·réu (mundo + -aréu ) nome masculino [Brasil]   [Brasil]   Grande número de pessoas ou … Read more
  • pacas
    pacas | adv. pa·cas (redução de pa[ra] ca[cete] ou de pa[ra] ca[ralho] + s expressivo ) advérbio [Brasil, Informal]   … Read more
  • bastantemente
    bastantemente | adv. derivação de bastante bas·tan·te·men·te (bastante + -mente ) advérbio De modo bastante. bas·tan·te bas·tan·te (bastar + -ante … Read more
  • seguido
    seguido | adj. masc. sing. part. pass. de seguir se·gui·do adjectivo adjetivo 1. Imediato. 2. Que se segue. 3. Contínuo. … Read more
  • ulteriormente
    ulteriormente | adv. derivação de ulterior ul·te·ri·or·men·te (ulterior + -mente ) advérbio De modo ulterior. ul·te·ri·or |ô| ul·te·ri·or |ô| adjectivo … Read more
  • genro
    genro | s. m. gen·ro (latim gener, -eri, genro, noivo da filha, cunhado ) substantivo masculino Homem casado ou viúvo, … Read more

Leave a Comment