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...
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
Muito obrigado, João Marcos, pela indicação da entrevista com o Gödel. É
sempre bom saber um pouco mais sobre a opinião e a vida dos grandes mestres.
Na carta de 1956, ao formular a primeira versão do problema P vs NP, Gödel
explicitamente disse acreditar que P=NP, sustentou que talvez fosse
PS: Para o Gödel, sonhar com máquinas de Turing seria loucura,
Para quem não tiver notado a referência, neste caso, vale a pena citar
o livro semi-ficcional O Madman Dreams of Turing Machines, escrito
pelo astrofísico Janna Levin.
JM
Em 11 de novembro de 2011 10:37, Joao Marcos
Temho esse livro. O título se refere a um conto famoso de sci fi.
Sent from my iPhone
On 11/11/2011, at 15:41, Joao Marcos botoc...@gmail.com wrote:
PS: Para o Gödel, sonhar com máquinas de Turing seria loucura,
Para quem não tiver notado a referência, neste caso, vale a pena citar
o