"Gödel published about 300 pages in his whole life" http://rjlipton.wordpress.com/2013/04/28/happy-birthday-kurt-gdel/
* * * 2012 foi o centenário de Turing, 2013 o de Erdos... mal posso esperar por 2016. JM PS: Não sei vocês, mas ano que vem comemoro Martin Gardner, um heroi da minha infância. Outros comemorarão José Sebastião e Silva. Suspeito que Arthur Prior também será amplamente comemorado pela comunidade lógico-filosófica mundial. _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
