Re: [Logica-l] Palestra do Prof. Moche Vardi na PUC-Rio

2017-05-07 Por tôpico Marcelo Finger
OI Bruno. Há 2 meses vi um minicurso do Moshe nessas linhas, cobrindo essa mesma temática, e tive inclusive a oportunidade de almoçar com ele. Aproveite o evento e mande um abraço a ele. []s Marcelo On 7 May 2017 at 07:40, Bruno Lopes wrote: > Caros, > > No dia 15 de maio, segunda-feira, as 14

Re: [Logica-l] Morre no Rio o matemático Elon Lages Lima, ex-diretor do IMPA, aos 87 anos

2017-05-07 Por tôpico Valeria de Paiva
Uma grande perda para a matematica brasileira, sem duvida. 2017-05-07 11:58 GMT-07:00 Claus Akira Horodynski Matsushigue < claus...@mat.unb.br>: > > > Nota Oficial do IMPA > > > Morre no Rio o matemático Elon Lages Lima, ex-diretor do IMPA, aos 87 anos > > Um dos mais importantes e prolíficos aut

Re: [Logica-l] Morre no Rio o matemático Elon Lages Lima, ex-diretor do IMPA, aos 87 anos

2017-05-07 Por tôpico German Lourenço Mejia
Elon Lages Lima foi professor de meus professores. Tive a oportunidade de assistir presencialmente dois cursos dele no IMPA. Vale mencionar que professor Elon foi um dos responsáveis pela criação do curso de pós em Matemática da PUC-Rio... Uma enorme perda. German Curso de *Análise na Reta*

Re: [Logica-l] Morre no Rio o matemático Elon Lages Lima, ex-diretor do IMPA, aos 87 anos

2017-05-07 Por tôpico Walter Carnielli
Caros colegas: Uma lástima. Elon era um matemático "impiano" que respeitava a Lógica. Devo a ele poder aceitar uma bolsa da Fundação Alexandre von Humboldt (AvH) em 1988, coisa que nenhum matemático brasileiro tinha ainda obtido. O IMEC da Unicamp vergonhosamente havia negado meu afastamen

[Logica-l] Morre no Rio o matemático Elon Lages Lima, ex-diretor do IMPA, aos 87 anos

2017-05-07 Por tôpico Claus Akira Horodynski Matsushigue
Nota Oficial do IMPA Morre no Rio o matemático Elon Lages Lima, ex-diretor do IMPA, aos 87 anos Um dos mais importantes e prolíficos autores de livros de matemática no país, Elon Lages Lima, ex-diretor do IMPA (Instituto de Matemática Pura e Aplicada), morreu na manhã deste domingo, aos 87 anos,

[Logica-l] Fwd: Falecimento do Professor Elon Lages Lima

2017-05-07 Por tôpico Mario Benevides
-- Mensagem encaminhada -- De: "walcy santos" Data: 07/05/2017 12:40 Assunto: Falecimento do Professor Elon Lages Lima Para: "i...@im.ufrj.br" Cc: Comunico com pesar o falecimento do Professor Elon Lages Lima ocorrido esta manhã. Elon era pesquisador aposentado do IMPA e teve um

Re: [Logica-l] Logic Prize: from Newton da Costa to the World

2017-05-07 Por tôpico jyb
Caro JM A ideia do prêmio para cada pais é a mesma: o UNILOG oferece hospedagem e a taxa de inscricao, o pais do prêmio oferece a passagem, isso faz uma bom equilibro: metade / metade, mas para o UNILOG vai ser cada vez mais difficil se ha muitos paises: em Istanbul so tinha o Brasil, em Vichy s

Re: [Logica-l] Logic Prize: from Newton da Costa to the World

2017-05-07 Por tôpico Joao Marcos
Excelente notícia, Jean-Yves. Você poderia informar desde já de onde sairá o suporte financeiro para pagar a viagem do ganhador da edição brasileira do prêmio para Vichy no ano que vem? Joao Marcos On May 7, 2017 13:32, "jean-yves beziau" wrote: > O segundo prêmio Newton da Costa de Lógica ser

[Logica-l] Logic Prize: from Newton da Costa to the World

2017-05-07 Por tôpico jean-yves beziau
O segundo prêmio Newton da Costa de Lógica sera entrega durante o EBL em Pirenopólis, quarta feira de manha. Tudo mundo é bemvindo para participar a cerimônia e conhecer o vencedor. Conforme anunciado no UNILOG'2015 em Istabul estamos desenvolvendo prêmios de lógica em todos os paises do mundo segu

[Logica-l] Palestra do Prof. Moche Vardi na PUC-Rio

2017-05-07 Por tôpico Bruno Lopes
Caros, No dia 15 de maio, segunda-feira, as 14:30h no auditório Padre Anchieta no prédio Cardeal Leme da PUC-Rio teremos apalestra do Projeto. Moshe Vardi. Dentre os diversos prêmios que o Prof. Moshe Vardi obteve estão o ACM SIGACT Goedel Prize, ACM SIGMOD Codd Award, IBM Outstanding Innovation

[Logica-l] [HUMOR] what has pure reason ever done for us?

2017-05-07 Por tôpico Joao Marcos
remember before we had logic? http://existentialcomics.com/comic/183 JM -- 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.