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