Gödel nos fala sobre incompletude, P=NP, viagens no tempo... http://rjlipton.wordpress.com/2011/10/31/an-interview-with-kurt-gdel/
[...] GLL: Do you dream of Turing machines? Gödel: What do you think I am, a madman? [...] :-b JM _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
