Re: [obm-l] Postulado

["Rafael" <cyberhelp@xxxxxxxxxx>]

Caro Artur,

Definamos o que é um dogma, o que é um postulado e o que é um axioma.

Dogma: Ponto fundamental e indiscutível duma doutrina religiosa, e, por
extensão, de qualquer doutrina ou sistema. Na Igreja Católica Apostólica
Romana, ponto de doutrina já por ela definido como expressão legítima e
necessária de sua fé.

Postulado: Proposição não evidente nem demonstrável, que se admite como
princípio de um sistema dedutível, de uma operação lógica ou de um sistema
de normas práticas.

Axioma: Premissa imediatamente evidente que se admite como universalmente
verdadeira sem exigência de demonstração. Ou ainda, proposição que se admite
como verdadeira porque dela se podem deduzir as proposições de uma teoria ou
de um sistema lógico ou matemático.

(Todas as definições pertencem ao Novo Dicionário Aurélio.)


Parece-me, assim, que Axioma da Escolha seja mais adequado.


Abraços,

Rafael de A. Sampaio


----- Original Message -----
From: "Artur Costa Steiner" <artur@opendf.com.br>
To: <obm-l@mat.puc-rio.br>
Sent: Sunday, February 01, 2004 11:27 AM
Subject: [obm-l] Postulado


> Eu noutro dia estava conversando com um padre da Igreja Catolica que
tambem
> gosta de matematica e acabou surgindo a seguinte questao: A Igreja afirma
> que, quando trata de assuntos da mesma, o Papa eh infalivel. Na Igreja,
isto
> eh um dogma de fe'. Na Logica, nao existem dogmas nem fe'. Sob este ponto
de
> vista, eu classificaria esta afirmacao como um postulado no ambito da
> Igreja, mas nao como um axioma. A Igeja aceita a afirmacao como
verdadeira,
> sem demonstracao. Axiomas sao mais semelhantes a definicoes, a regras.
> Assim, com relacao ao famoso Axioma da Escolha, parece-me que seria mais
> logico dizer Postulado da Escolha.
> Artur



=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================