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
