Axioma

Origem: Wikipdia, a enciclopdia livre.

Ir para: navegao, pesquisa Nota: Para outros significados de Axioma, ver Axioma (desambiguao).

Um axioma uma sentena ou proposio que no provada ou demonstrada e considerada como bvia ou como um consenso inicial necessrio para a construo ou aceitao de uma teoria. Por essa razo, aceito como verdade e serve como ponto inicial para deduo e inferncias de outras verdades (dependentes de teoria). Na matemtica, um axioma uma hiptese inicial de qual outros enunciados so logicamente derivados. Pode ser uma sentena, uma proposio, um enunciado ou uma regra que permite a construo de um sistema formal. Diferentemente de teoremas, axiomas no podem ser derivados por princpios de deduo e nem so demonstrveis por derivaes formais, simplesmente porque eles so hipteses iniciais. Isto , no h mais nada a partir do que eles seguem logicamente (em caso contrrio eles seriam chamados teoremas). Em muitos contextos, "axioma", "postulado" e "hiptese" so usados como sinnimos. Como foi visto na definio, um axioma no necessariamente uma verdade autoevidente, mas apenas uma expresso lgica formal usada em uma deduo, visando obter resultados mais facilmente. Axiomatizar um sistema mostrar que suas inferncias podem ser derivadas a partir de um pequeno e bem-definido conjunto de sentenas. Isto no significa que elas possam ser conhecidas independentemente, e tipicamente existem mltiplos meios para axiomatizar um dado sistema (como a aritmtica). A matemtica distingue dois tipos de axiomas: axiomas lgicos e axiomas no-lgicos. Nas teorias das cincias naturais, um axioma considerado uma verdade evidente que e aceita como tal mas que ao rigor da palavra no pode ser demonstrado ou provado uma verdade absoluta dentro do domnio de sua aplicao; geralmente derivado de intuio ou de conhecimento emprico, os quais apoiam-se em todos os fatos cientficos at ento conhecidos e relevantes rea em estudo. A viabilidade ou utilidade de tais teorias, e a classificao das mesmas como teorias cientficas vlidas ou j aprimoradas, todas sempre logicamente derivadas de forma correta de suas premissas (dos axiomas), dependem das escolhas acuradas de seus axiomas e da corroborao dos mesmos frente aos fatos cientficos conhecidos na poca em que foram propostos, e frente aos que forem gradualmente descobertos em pocas futuras s suas proposies. Fatos novos, ao serem descobertos, podem levar evoluo das teorias mediante necessidade explicita de modificaes em seus axiomas, que, conforme propostos no paradigma cientfico evoludo e ora vlido, devem manter-se sempre corroborados pela ntegra dos fatos cientficos conhecidos at a data em questo.

Na engenharia, axiomas so aceitos sem provas formais e suas escolhas so negociadas a partir do ponto de vista utilitrio e econmico. Podem tambm ser considerados como hipteses na modelagem e mudados depois da validao do modelo. Declaraes explcitas de axiomas uma condio necessria para a computabilidade de uma teoria, modelo ou mtodo. Neste caso, o axioma pode ser visto como um conceito relativo dependente de domnio, por exemplo, em cada programa de software, declaraes iniciais podem ser consideradas como seus axiomas locais.