Axioma

Axioma
Na lgica tradicional, um axioma ou postulado 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 auto-evidente, 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.

Axioma

Etimologia
A palavra "axioma" vem da palavra grega (axioma), um substantivo verbal[1] do verbo (axioein), que significa "considerar valido", mas tambm "requerer", que por sua vez vem da palavra (axios), que significa "estar em equilbrio", e portanto "ter (o mesmo) valor (de)", "valido", "apropriado". Entre os filsofos da Grcia Antiga um axioma era uma afirmao que poderia ser vista como verdade sem nenhuma necessidade de provas. O significado raz da palavra "postular" "exigir"; por exemplo, Euclides exige que ns concordemos que certas coisas podem ser feitas, ex: quaisquer dois pontos podem ser unidos por uma linha reta, etc.[2] Os antigos geomtricos mantiveram alguma distino entre axiomas e postulados. Ao comentar os livros de Euclides, Proclo adverte que "Geminus[3] considerou que este [4] Postulado no deve ser classificado como um postulado e sim como um axioma, j que, diferente dos trs primeiros Postulados, ele no declara a possibilidade de alguma construo mas sim expressa uma propriedade essencial".[4] Bocio traduziu "postulado" como petitio e chamou os axiomas de notiones communes, mas em manuscritos posteriores esse uso nem sempre foi estritamente mantido.

Desenvolvimento Histrico
Viso Clssica
O mtodo lgico-dedutivo clssico consistia em sistemas a partir dos quais premissas eram seguidas de concluses atravs da aplicao de argumentos (silogismos, regras de inferncia). Com exceo das tautologias, nada pode ser deduzido se nada assumido. Axiomas e postulados so hipteses bsicas subjacentes a um corpo de conhecimento dedutivo. So aceitos sem demonstrao. Todas as outras asseres (teoremas, se estivermos falando sobre matemtica) devem ser demonstradas com o auxlio de hipteses bsicas. No entanto, a interpretao do conhecimento matemtico mudou dos tempos antigos para o moderno, e consequentemente os termos axioma e postulado tiveram uma leve diferena de significado para os matemticos atuais, em contraste com o significado original destes termos para Aristteles e Euclides. Os antigos gregos consideraram a geometria como uma das diversas cincias, e consideraram os teoremas de geometria to importantes quanto fatos cientficos. Dessa forma, eles desenvolveram e usaram o mtodo lgico-dedutivo como um meio de evitar erros, e para conhecimento estrutural e comunicativo. Os analticos posteriores de Aristteles uma exposio definitiva da viso clssica. Um "axioma", na terminologia clssica, refere-se a uma hiptese auto-evidente comum a vrios ramos de cincia. Um bom exemplo seria a assero que Quando retirada uma de duas quantias iguais, sobra uma quantia igual a que foi retirada. Na fundao de vrias cincias so impostas certas hipteses adicionais que so aceitas sem demonstrao. Estas eram denominadas postulados. Enquanto os axiomas eram comuns a vrias cincias, os postulados para cada cincia particular eram diferentes. Sua validade tinha que ser estabelecida por meio de experincias reais. De fato, Aristteles alertou que a satisfabilidade de uma cincia no pode ser transmitida com sucesso, se o aprendiz estiver em dvida sobre a veracidade dos postulados. A viso clssica bem ilustrada pelos elementos de Euclides, onde uma lista de axiomas (muito bsicas, asseres auto-evidentes) e postulados (fatos geomtricos do senso-comum obtidos de nossa experincia), so dados. Axioma 1: Duas coisas iguais a uma terceira, so iguais entre si. Axioma 2: Se parcelas iguais forem adicionadas a quantias iguais, os resultados continuaro sendo iguais. Axioma 3: Se quantias iguais forem subtradas das mesmas quantias, os restos sero iguais. Axioma 4: O todo maior que a parte. Postulado 1: Uma reta pode ser traada de um ponto para outro qualquer.

Axioma Postulado 2: Qualquer segmento finito de reta pode ser prolongado indefinidamente no sentido da reta. Postulado 3: Dados um ponto qualquer e uma distncia qualquer, pode-se traar um crculo de centro naquele ponto e raio igual dada distncia. Postulado 4: Todos os ngulos retos so iguais entre si. Postulado 5: Se uma reta cortar duas outras retas de modo que a soma dos dois ngulos interiores, de um mesmo lado, seja menor que dois ngulos retos, ento as duas outras retas se cruzam, quando suficientemente prolongadas, do lado da primeira reta em que se acham os dois ngulos.

Viso Moderna
Uma lio aprendida pela matemtica nos ltimos 150 anos que til decifrar o significado das asseres matemticas (axiomas, postulados, proposies, teoremas) e definies. Esta abstrao, que poderia at ser chamada de formalizao, faz o conhecimento matemtico mais genrico, capaz de mltiplos diferentes significados e, portanto, til em mltiplos contextos. O estruturalismo matemtico vai mais adiante, e desenvolve teorias e axiomas sem uma aplicao particular em mente. A distino entre um "axioma" e um "postulado" desaparece. Os postulados de Euclides so provavelmente considerados por fornecerem uma rica coleo de fatos geomtricos. A verdade desses fatos complicados est na aceitao de hipteses bsicas. Entretanto, excluindo o quinto postulado de Euclides, obtemos que estes possuem significados em diversos contextos (geometria hiperblica, por exemplo). Devemos simplesmente estar preparados para usar nomes como "linha" e "paralelo" com uma maior flexibilidade. O desenvolvimento da geometria hiperblica ensinou aos matemticos que postulados podem ser considerados como hipteses puramente formais, e no como fatos baseados na experincia. Quando matemticos empregam os axiomas de um campo, as intenes so mais abstratas. As proposies da teoria de campos no interessam a alguma outra aplicao em particular. Os matemticos agora trabalham em completa abstrao. H muitos exemplos de campos. A teoria de campos garante que o conhecimento sobre eles correto. No correto dizer que os axiomas ou a teoria de campos so "proposies que so consideradas como verdade sem nenhuma derivao". O campo de axiomas um conjunto de restries. Se um dado sistema de adio e multiplicao satisfaz estas restries, ento o campo est pronto para nos dar informaes extras sobre esse sistema. A matemtica moderna formaliza seus fundamentos de tal modo que as teorias podem ser consideradas objetos matemticos, e a lgica por si s pode ser considerada como um ramo da matemtica. Frege, Russell, Poincar, Hilbert e Gdel so personagens-chave nesse desenvolvimento. Na viso moderna, um conjunto de axiomas uma coleo de asseres formalmente estveis das quais se seguem outras asseres formais estveis pela aplicao de certas regras bem-definidas. Nesta viso, a lgica se torna apenas um outro sistema formal. Um conjunto de axiomas deve ser consistente, ou seja, deve ser impossvel derivar uma contradio de um axioma. Um conjunto de axiomas no deve ser redundante, isto , uma assero que pode ser deduzida de outros axiomas no precisa ser considerada um axioma. A esperana dos lgicos modernos era que vrios ramos da matemtica, seno todos, pudessem ser derivados de uma coleo consistente de axiomas bsicos. Um sucesso do programa formalista foi a formalizao de Hilbert da Geometria Euclidiana e a demonstrao da consistncia destes axiomas. Ampliando o contexto, houve uma tentativa de basear toda a matemtica na teoria dos conjuntos de Georg Cantor. Neste ponto, levando em considerao o Paradoxo de Russell e a teoria ingnua dos conjuntos viu-se a possibilidade de algum sistema poder se tornar inconsistente. O projeto formalista sofreu uma derrota decisiva, quando em 1931 Gdel mostrou que possvel, para um suficientemente grande conjunto de axiomas (Axiomas de Peano, por exemplo), construir uma hiptese que seja verdadeira independentemente deste conjunto de axiomas. Como corolrio, Gdel provou que a consistncia de uma teoria como a Aritmtica de Peano uma assero improvvel dentro do escopo desta teoria.

Axioma razovel acreditar na consistncia da Aritmtica de Peano porque ela satisfeita pelo sistema de nmeros naturais, um infinito mas intuitivamente acessvel sistema formal. Entretanto, at hoje, no h um modo conhecido de demonstrar a consistncia dos modernos axiomas de Zermelo-Frankel para a teoria dos conjuntos. O axioma da escolha, uma hiptese-chave desta teoria, permanece uma hiptese muito controversa. Alm disso, usando tcnicas de forar (Cohen), pode-se mostrar que as hipteses contnuas (Cantor) independente dos axiomas de Zermelo-Fraenkel. Desta forma, mesmo este conjunto genrico de axiomas no pode ser considerado como uma base definitiva para a matemtica.

Lgica Matemtica
Axiomas Lgicos
Axiomas Lgicos so frmulas em uma linguagem que universalmente vlida, ou seja, so frmulas satisfeitas por toda a estrutura sob toda funo de tarefa de variveis. Em outros termos, axiomas lgicos so estados que so verdadeiros em algum possvel universo, para alguma possvel interpretao e com alguma tarefa de valor. Normalmente eles usam axiomas lgicos para um mnimo conjunto de tautologias que suficiente para provar todas as tautologias na linguagem; na lgica de primeira ordem o axioma lgico necessrio para provar verdades lgicas que no so tautologias no sentido rgido. Exemplos Lgica Proposicional Na lgica proposicional comum considerar como axiomas lgicos as frmulas a seguir, onde ser qualquer frmula de linguagem e os conectivos permitidos so apenas " implicao (antecedente para consequente): 1. 2. 3. Cada um desses exemplos um axioma esquemtico, uma regra para generalizar um infinito nmeros de axiomas. por exemplo, se , e so variveis proposicionais, ento e so ambos instncias do primeiro axioma esquemtico, e portanto so axiomas. Podemos mostrar que com apenas esses trs axiomas esquemticos e modus ponens, pode-se provar todas as tautologias do clculo proposicional. E pode mostrar tambm que sem unir esses axiomas no ser suficiente para provar todas as tautologias com modus ponens. Estes axiomas esquemticos so tambm usados no clculo de predicados, mas adicionar axiomas lgicos necessrio. Axioma de Igualdade. Supondo uma linguagem de primeira ordem. para cada varivel , a frmula , e podem " para

" para negao e "

universalmente vlida. Isto quer dizer que, para algum simbolo de varivel , a frmula pode ser dita como um axioma. Alm disso, neste exemplo, para que no haja impreciso do que ns entendemos por (ou, em outras palavras, " igual a") deve estar puramente formal e sintaticamente usvel pelo simbolo que deve estar bem reforado, a respeito deles como uma sequncia e como uma sequncia de smbolos, a lgica matemtica faz de fato isto. Vale lembrar que o mais interessante exemplo de axioma esquemtico, aquele que nos determina o que conhecemos como instanciao universal:

Axioma Axioma esquemtico para instanciao universal. Dado uma frmula uma varivel e um termo que substituvel para em , a frmula na linguagem de primeira ordem ,

universalmente vlida. onde o simbolo significa a frmula com o termo substitudo por . Em termos formais, este exemplo nos possui para todo e que estar . Mais uma vez, ns

permite dizer que para este estado, se ns sabermos que uma certa propriedade podemos afirmar que a frmula

para um objeto particular na nossa estrutura, ento ns estariamos capazes para afirmar

vlida, isto , ns podemos ser capazes de ter uma prova deste fato,

ou melhor falando, uma meta prova. atualmente, estes exemplos so meta teoremas da nossa teoria da lgica matemtica desde que estejamos relacionados com o mais conceitos de auto prova. A partir disto, ns podemos ter a generalizao do existencial: Axioma esquemtico para generalizao do existencial. Dada um frmula na linguagem de primeira ordem , uma varivel e um termo que substituvel para em , a frmula

universalmente vlida.

Axiomas No-lgicos
Axiomas no-lgicos so frmulas que usam a funo de hipteses de teorias especificadas. Em razo sobre duas diferentes estruturas, por exemplo os nmeros naturais e os integrais, podem envolver o mesmo axioma lgico; os axiomas no-lgicos visam capturar o que especial sobre uma estrutura particular(ou conjunto de estruturas, como os grupos). Desse modo os axiomas no-lgicos, diferentemente dos axiomas lgicos, no so tautologias. Outro nome para um axioma no-lgico postulado. Quase toda a teoria da matemtica moderna iniciou de um dado conjunto de axiomas no-lgicos, e eles eram imaginados como um principio que toda teoria pode ser axiomatizada neste caminho e formalizada por uma linguagem vazia de frmulas lgicas. Isto se tornou impossvel e provou ser totalmente uma histria; Assim recentemente esta aproximao retornou na forma de neologismo. Axiomas no-lgicos so frequentemente simples referncias para os axiomas na matemtica dissertativa. Isto no significa que eles so verdades no seu sentido absoluto. Por exemplo, em alguns grupos, o grupo operao comutativo, e este pode ser declarado com a introduo de um axioma adicional, mas sem este axioma ns podemos realmente fazer um bom desenvolvimento da teoria de grupo, e ns podemos sempre ter as negaes como um axioma para o estudo de grupos no-comutativos. Deste modo, um axioma uma base elementar para um sistema de lgica formal que junto com as regras de inferncia define um sistema dedutivo. Exemplos Esta sesso tem exemplos de teoria matemticas que so desenvolvidos por um conjunto de axiomas no-lgicos. Um rigoroso tratamento de alguns destes tpicos comeou com uma especificao destes axiomas. Teorias bsicas, assim como aritmtica, analise reais e analises complexas so muitas vezes introduzidas como no axiomatizveis, mas implicitamente ou explicitamente existe geralmente uma hiptese que os axiomas utilizados so os axiomas da teoria dos conjuntos de Zermelo-Fraenkel como opo, ou alguns sistemas mais similares da teoria dos conjuntos axiomatizados, mais frequentemente teoria dos conjuntos de Von-Neumann-Bernays-Godel. Isto uma extenso conservativa do de Zermelo, com teoremas idnticos sobre conjuntos, e portanto quase relatados. algumas vezes teorias como a teoria dos conjuntos de Morse-Kelley ou teoria dos conjuntos com um cardinal inacessvel permitir o uso de um universo Grothendieck so usados, mas de fato mais matemticos podem provar todas as necessidades de um sistema quanto o Zermelo, assim como a aritmtica de segunda ordem.

Axioma Geometria assim como a Geometria de Euclides, geometria projetiva, geometria simplista. Interessantemente um dos resultados da quinto axioma euclideano estar um axioma no-lgico aquele que trs ngulos de um triangulo soma-se 180. somente sobre a proteo da geometria euclideana isto ser verdade.

Aritmtica
O axioma de Peano o mais usado em axiomatizao de aritmtica de primeira ordem. eles so um conjunto de axiomas fortes o suficiente para provar alguns importantes fatos sobre teoria dos nmeros e eles permitem que Godel estabilize sua famosa segunda teoria da incompletude. Ns temos uma linguagem axiomas: 1. 2. 3. para alguma formula A estrutura padro interpretado como o numero 0. com uma varivel livre. onde o conjunto dos nmeros naturais, a funo sucessora e onde uma constante e uma funo unitria e seguida dos

Geometria euclidiana
Provavelmente a mais antiga e mais famosa lista de axiomas so os 4 + 1 postulados de Euclides da geometria plana. Os axiomas so ditos como "4 + 1" pois por volta de dois milnios o quinto postulado era questionvel por ser uma derivao dos quatro primeiros. Ultimamente, o quinto postulado foi considerado independente dos outros quatro. Sem dvida, ele pode assumir que no existem paralelas atravs de um ponto externo a uma linha existente, ou que infinitamente alguns existem. Estas opes nos do formas alternativas de geometria em que os ngulos internos de um tringulo somados com o menor deles, exatamente, ou mais que um linha correta respectivamente e conhecida como geometrias hiperblicas, elpticas e euclidianas. Anlises reais O objetivo de estudo os nmeros reais. Os nmeros reais so de certa forma escolhidos pelas propriedades de um corpo ordenado completo (um corpo ordenado completo um corpo ordenado cujos subconjuntos no vazios que possuem quota superior ou elemento majorante admite um elemento marojante mnimo, chamado supremo). Ento, expressando estas propriedades como axiomas teremos que usar a lgica de segunda ordem. O teorema de Lowenheim-Skolem nos diz que se ns restringimos para a lgica de primeira ordem, alguns sistemas axiomticos para as permisses reais em outros modelos, incluindo ambos modelos que so menores e maiores que os reais. Alguns dos segundos so estudados nas anlises no padronizadas.

Papel na lgica matemtica

Sistema dedutivo e completude Um sistema dedutivo consiste, de um grupo conjunto de axiomas lgicos, um conjunto , . de axiomas no-lgicos, e um de regras de inferncia. Uma propriedade desejvel de um sistema dedutivo que ele seja Se ento existe atualmente uma deduo do estado de

completo. Um sistema dito ser completo se, para todas as frmulas significa que para alguns estados que a consequncia lgica de

isto , algumas vezes, expressados como "tudo que verdadeiro provado", mas ele pode ser entendido como "verdade" aqui significa "tornou-se verdade pelo conjunto de axiomas", e no, por exemplo, "verdade na interpretao pretendida". O teorema da completude de Godel estabiliza a completude de um certo comumente usado

Axioma tipo de sistema dedutivo. Note que "completude" tem um diferente significado aqui, ento no contexto do primeiro teorema da incompletude de Godel, o qual estados no recursivos, conjuntos consistentes de axiomas no-lgicos da teoria da aritmtica completa, No sentido que sempre existe um estado aritmtico um dado conjunto de axiomas. Existe dessa forma, de um lado, a noo da completude de um sistema dedutivo e do outro temos a completude dos conjuntos de axiomas no-lgicos. A teoria da completude e a teoria da incompletude, a despeito de seus nomes, no contradiz o outro. tal que nenhum nem pode ser provado de

Notas
[1] [2] [3] [4] Noo verbal com propriedades nominais similares s de um substantivo. Wolff, P. Breakthroughs in Mathematics, 1963, New York: New American Library, pp 478 Geminus de Rhodes Heath, T. 1956. The Thirteen Books of Euclid's Elements. New York: Dover. p200

Ligaes externas
Axiom (http://en.wikipedia.org/wiki/Axiom/) Planet Math (http://planetmath.org/encyclopedia/Axiom.html)

Fontes e Editores da Pgina

Fontes e Editores da Pgina

Axioma Fonte: http://pt.wikipedia.org/w/index.php?oldid=36863481 Contribuidores: 333, Alyppyo, Arabela Luz, Bisbis, Cristinabarriossouza, E2mb0t, Fernando S. Aldado, Gdamasceno, Gonzalcg, Helder.wiki, Jonathan.lopes, Jorge, Laura Nielsen, Lauro Chieza de Carvalho, Luckas Blade, Manuel Anastcio, Mnica Padilha, OS2Warp, P.r.caetano, Philostrate, Randellschneider, Renato sr, Rossi pena, Row Hi, Salgueiro, Santana-freitas, Tpaolini, Yanguas, Yurivs, 69 edies annimas

Licena
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/