Ele estava em Viena, creio.
2013/11/6 Vivek Nigam <[email protected]> > Só uma observação, um dos autores do trabalho é brasileiro: Bruno > Woltzenlogel Paleo. > > > On Wed, Oct 30, 2013 at 11:30 PM, Joao Marcos <[email protected]> wrote: > > > > > > http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html > > > > já não é mais segredo: o argumento ontológico gödeliano foi automatizado. > > > > jm > > _______________________________________________ > > 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 > -- fad ahhata alati, awienta Wilushati _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
