Finalmente, a segunda parte da entrevista com Kurt Gödel! Gödel fala de verdade X validade, sobre suas demonstrações horríveis, que ninguém leu de verdade, sobre a Parte II do teorema de incompletabilidade, que nunca apareceu, sobre aritmética não-standard e máquinas de Turing infinitas... http://rjlipton.wordpress.com/2012/11/03/more-interview-with-kurt-godel/
JM On Fri, Nov 11, 2011 at 9:37 AM, Joao Marcos <[email protected]> wrote: > 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 -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
