[Logica-l] RES: Nota de profundo pesar

2013-11-06 Por tôpico Jorge Alberto Molina
Fico muito entristececido pela noticia. Elias era um homem amável, bom, muito gentil e, além disso, um excelente profesor. Uma das melhores pessoas que eu conhecei na mina vida. Jorge Molina De: logica-l-boun...@dimap.ufrn.br [logica-l-boun...@dimap.ufr

Re: [Logica-l] Computer Scientists Prove God Exists

2013-11-06 Por tôpico Walter Carnielli
Sim, e agora está em Nancy. Em 6 de novembro de 2013 17:56, Francisco Antonio Doria escreveu: > Ele estava em Viena, creio. > > > 2013/11/6 Vivek Nigam > >> Só uma observação, um dos autores do trabalho é brasileiro: Bruno >> Woltzenlogel Paleo. >> >> >> On Wed, Oct 30, 2013 at 11:30 PM, Joao M

Re: [Logica-l] Computer Scientists Prove God Exists

2013-11-06 Por tôpico Walter Carnielli
E Christoph Benzmüller publicou no número especial de Logica Universalis que Pizzi e eu editamnos (accesso livre via Portal Capes): Logica Universalis Volume 7, Issue 1, March 2013 Special Issue on Multimodal Logics Edited by Walter Carnielli and Claudio Pizzi http://link.springer.com/journal/1

Re: [Logica-l] LoLITA Seminars / UFRN - 13Nov2013 [CORREÇÃO DE DATA!]

2013-11-06 Por tôpico Joao Marcos
Esses números primos me confundem... Peço desculpas a todos. A palestra anunciada para o dia 19/11 na realidade será no dia 13/11 (próxima 4a-feira). JM On Wed, Nov 6, 2013 at 5:35 PM, Joao Marcos wrote: > Mais um evento do LoLITA > (Group for Logic, Language, Information, Theory, and Applic

[Logica-l] LoLITA Seminars / UFRN - 19Nov2013

2013-11-06 Por tôpico Joao Marcos
Mais um evento do LoLITA (Group for Logic, Language, Information, Theory, and Applications) do DIMAp/UFRN. Estão todos convidados! * * * Title: "A resolution-based calculus for Coalition Logic" Lecturer: Claudia Nalon (UnB) Local: sala de reuniões do DIMAp / UFRN Horário: 15:00-16:30 http://g

Re: [Logica-l] Computer Scientists Prove God Exists

2013-11-06 Por tôpico Francisco Antonio Doria
Ele estava em Viena, creio. 2013/11/6 Vivek Nigam > Só uma observação, um dos autores do trabalho é brasileiro: Bruno > Woltzenlogel Paleo. > > > On Wed, Oct 30, 2013 at 11:30 PM, Joao Marcos wrote: > > > > > > http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematical

Re: [Logica-l] Computer Scientists Prove God Exists

2013-11-06 Por tôpico Vivek Nigam
Só uma observação, um dos autores do trabalho é brasileiro: Bruno Woltzenlogel Paleo. On Wed, Oct 30, 2013 at 11:30 PM, Joao Marcos wrote: > > http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html > > já não é mais segredo:

[Logica-l] Novo reitor da PUC/PR

2013-11-06 Por tôpico Décio Krause
Pessoal Conheci o novo reitor da PUC/PR quando trabalhei com ele na pró-reitoria de pesquisa e PG da UFPR nos anos 90. É excelente, alguém que realmente entende o papel da universidade e sabe o que tem que ser feito. Parabéns ao pessoal da PUC. Têm um reitor com R maiúsculo. Espero que ele consi