Caro Hermógenes: como se depreende da historinha, Fréchet acreditava na verdade do Axioma da Escolha, e Lebesgue na falsidade. Esse é o ponto da mensagem. O que eu escrevi é menos importante.
De toda forma, escreví que [...] o Axioma da Escolha não é nem óbvio (quer dizer, **obviamente verdadeiro**) nem falso, e se um(a) estudante se sentir "autorizado(a)" a solicitar-me uma demonstração do *Axioma* da Escolha, vai aprender loguinho que deu-se a si próprio(a) uma "autorização" errada... W. Em 1 de abril de 2017 17:05, Hermógenes Oliveira <[email protected]> escreveu: > Walter Carnielli <[email protected]> escreveu: > >> >> [...] >> >> Para os estudantes iniciantes compreenderem [...] o Axioma da Escolha >> não é [...] falso [...] > > Me parece que "estudantes iniciantes", dependendo do seu grau de > doutrinação em Lógica (especialmente lógica clássica ensinada como > "teoria do bom raciocínio"), tenderiam a entender a afirmação acima como > equivalente a "o Axioma da Escolha é verdadeiro" e estariam assim > autorizados a solicitar-lhe, como justificativa dessa alegação, uma > demonstração do *Axioma* da Escolha, visto que "axioma" aqui não pode > ser tomado como verdade óbvia/evidente (conforme você mesmo escreveu). > > -- > Hermógenes Oliveira > > -- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um > e-mail para [email protected]. > Para postar neste grupo, envie um e-mail para [email protected]. > Visite este grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/87pogvnbav.fsf%40camelot.oliveira. -- ----------------------------------------------- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Institutional e-mail: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58PefXHrTvKjpDB%2B6jzb4s0SLwtJ8H55md%3DN3GfjWE0aDg%40mail.gmail.com.
