Olá a todos,
É só pra avisar que o livro Cience do Steven French foi traduzido para o
português e será lançado em alguns dias em Canelas no RGS na ANPOF. O livro da
ED. Artes Médicas já está pronto. Acredito que não preciso falar da qualidade
do trabalho do French que é já bem conhecido por muitos, senão todos, dos
frequentadores desta lista.
Abraço a todxs*,
Dídimo Matos
http://didimomatos.zip.net
* x=<o,a>
_______________________
As explicações científicas são reais e completas,
tal como as explicações da vida quotidiana e das religiões
tradicionais. Diferem destas últimas unicamente por serem mais
precisas e mais facilmente refutadas pela observação dos factos.
From: [EMAIL PROTECTED]
Sent: Friday, October 10, 2008 12:42 PM
To: [email protected]
Subject: [Logica-l] Axioma da Escolha na "Matemática Universitária"
Alô a todos,
Gostaria de informar à comunidade de lógicos que na edição recente da
revista "Matemática Universitária" saiu um artigo meu (e de meu aluno
de mestrado), em "comemoração aos cem anos do Axioma da Escolha" -
Zermelo publicou o axioma em 1908, apesar de já tê-lo utilizado em
1904, para provar que todo conjunto pode ser bem ordenado. Vejam a
capa da revista (baseada na alegoria de Russel sobre sapatos e
meias...) em
http://www.sbm.org.br/nova/website/pageviews.php?menu=5&secao=rmu,&idcol=139
O artigo tem algumas demonstrações de equivalência (Lema de Zorn,
Teorema da Boa Ordem) e tem uma demonstração detalhada da
equivalência entre o Axioma da Escolha e o Teorema de Tychonoff para
espaços compactos T_1 (uma descrição da idéia dessa demonstração já
tinha aparecido antes, no prefácio do Newton da Costa para uma edição
de 1994 da tese de doutorado de Edison Farah, de 1954, mas com todos
os detalhes eu nunca tinha visto num texto nacional). Para quem tinha
curiosidade de saber como é essa demonstração, boa leitura !
Até mais,
[]s Samuel
----------------------------------------------------------------
Universidade Federal da Bahia - http://www.portal.ufba.br
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
