Re: [obm-l] Axioma da Escolha

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxxxxxxxxx>]

On Wed, Sep 11, 2002 at 04:01:42PM -0300, 498 - Artur Costa Steiner wrote:
> Nos últimos dias o Axioma da Escolha foi bastante mencionado nesta 
> lista, motivado por um interessante problema (violência), sugerido por 
> uma das participantes, e que involve este axioma.
> 
> Eu não estou certo, mas, no meio matemático, ainda existem hoje 
> restrições a este axioma, no sentido de que alguma prova nele baseada 
> possa ser considerada questionável ou mesmo inválida?

Este assunto mereceria uma resposta mais longa, mas o axioma da escolha
é 'aceito' no sentido seguinte: a maioria dos matemáticos usa este
axioma sem parar para pensar no assunto. Aliás sem nem saber direito
quando está realmente usando o axioma. Alguns matemáticos, entretanto,
especialmente especialistas em lógica ou teoria dos conjuntos, acham
interessante notar exatamente quando o tal axioma é utilizado.

[]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
O administrador desta lista é <nicolau@mat.puc-rio.br>
=========================================================================