Prezados da lista de Lógica, tenho o penoso dever de comunicar que hoje de manhã faleceu em Lima o ilustre professor peruano Francisco Miró Quesada Cantuarias, quem foi lógico, filósofo, matemático, jornalista e educador, reconhecido no âmbito latino-americano. Todos sabem de sua amizade com o nosso Newton Da Costa quem o chamava de 'irmão', e de sua contribuição à consolidação, desde a filosofia, da hoje chamada de Lógica Paraconsistente, nome que ele cunhou na década de 70. Miró Quesada fez 100 anos em dezembro de 2018 e em inícios desse ano houve uma conferência internacional em sua homenagem em Lima. Os dois sites a seguir anunciam seu falecimento e divulgam sua trajetória, principalmente ligada ao jornal El Comercio do qual foi diretor geral:
https://elcomercio.pe/lima/fallecio-francisco-miro-quesada-cantuarias-director-general-diario-comercio-filosofia-periodismo-educacion-fotos-noticia-643848 https://elcomercio.pe/archivo-elcomercio/francisco-miro-quesada-impecable-trayectoria-imagenes-noticia-643978 Eu tive a sorte de seu convívio nos meus anos de graduação em Lima e seu contagiante entusiasmo pela lógica. Aliás, foi ele quem me apresentou a Newton Da Costa em 1975 por ocasião de sua visita a Lima. Um documento que guardo como um tesouro é a cópia xerox do exemplar de Miró Quesada, com anotações manuscritas dele de inícios dos anos 80, do livro "Ensaio sobre os fundamentos da lógica" de Newton Da Costa. Então, meus sentimentos de pesar para todos os que o conheceram com um forte abraço, especialmente ao professor Newton Da Costa a quem esta mensagem também vai direcionada. Cifuentes Em sáb, 8 de jun de 2019 às 07:03, Joao Marcos <botoc...@gmail.com> escreveu: > In what ways is ZF (without Choice) “somewhat constructive”? > > https://mathoverflow.net/questions/297738/in-what-ways-is-zf-without-choice-somewhat-constructive > > What examples of existence forcing proofs are there? > > https://mathoverflow.net/questions/333299/what-examples-of-existence-forcing-proofs-are-there > > -- > Você recebeu essa mensagem porque está inscrito 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 logica-l+unsubscr...@dimap.ufrn.br. > Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh4fwtjDVXFf%2Bg1psjWVFcR6zQTfnVcDBnkS83RVX8t_Q%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh4fwtjDVXFf%2Bg1psjWVFcR6zQTfnVcDBnkS83RVX8t_Q%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. 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/CAEQwYASWQPkV6gSepyvMHQYH_62HkrR8t-HiJLLK1vBPgLNOXQ%40mail.gmail.com.
