Re: [obm-l] Postulado

["Rafael" <cyberhelp@xxxxxxxxxx>]

Caro Nicolau,

Infelizmente, não vejo no que escreve algo tão gritantemente diferente do
que exposto pelo dicionário em questão. Você escreveu: "Axioma é um ponto de
partida para uma teoria". Segundo o dicionário: "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." No máximo, posso dizer que você foi
mais sintético.

E, embora eu não faça parte da elaboração do dicionário, dizer que ele é uma
péssima referência é, diretamente, desconsiderar o renomado trabalho de
pesquisadores como Anita Macedo e Horácio Macedo. Se você os desconsidera,
assim como todos os outros, busque fontes que melhor o agradem. Nenhuma
delas será tão parcial como você foi ao referir-se a "evidente" como algo
tão absoluto: "Alguns teoremas são bem 'evidentes' e muitos axiomas são
obscuros para alguém que nunca pensou no assunto."

No mais, concordo com o que disse a respeito da palavra postulado, pois, de
fato, muitos autores já escrevem tal observação em seus livros.


[]s,

Rafael de A. Sampaio





----- Original Message -----
From: "Nicolau C. Saldanha" <nicolau@mat.puc-rio.br>
To: <obm-l@mat.puc-rio.br>
Sent: Sunday, February 01, 2004 5:11 PM
Subject: Re: [obm-l] Postulado


> ...que é uma péssima referência em se tratando de matemática.
> Procure a definição de número. Aliás, não só em se tratando de
> matemática: procure a definição de dinossauro.
>
> A definição de dogma é totalmente off-topic, eu não vou discutir.
> Mas as definições de axioma e postulado não correspondem au uso
> moderno em matemática.
>
> Um axioma é um ponto de partida para uma teoria. Ele pode ou não
> ser "intuitivamente evidente". Na matemática não se considera
> que algo é axioma ou teorema segundo a coisa for mais ou menos
> evidente. Alguns teoremas são bem "evidentes" e muitos axiomas
> são obscuros para alguém que nunca pensou no assunto.
> O axioma da escolha é um axioma mais ou menos por definição,
> já que muitos matemáticos usam ZFC, que é um sistema de axiomas
> no qual ele aparece. Isto é independente de qq discussão filosófica.
>
> A palavra postulado é obsoleta e é usada apenas por motivos históricos.
>
> []s, N.


=========================================================================
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
=========================================================================