> Eu me lembro de ter assistido uma palestra do Bob Meyer em Londres na década > de 90 sobre a demonstração do teorema de Goedel numa meta-matemática > relevante. Não me lembro se a aritmética era relevante... o que eu mais me > lembro é que ele já não tinha um pedaço do cérebro e sua fala estava alterada.
Ah, nessa época ele já havia inclusive demonstrado que a existência de Deus é equivalente ao Axioma da Escolha. ;-b https://www.jstor.org/stable/2215186 (Historinha: Eu não sei se isto tinha a ver com o pedaço grande que lhe faltava à cabeça, mas o Bob tinha uns hábitos de trabalho bastante curiosos, acordando seus co-autores no meio da noite para discutir como resolver todos os problemas lógicos do universo.) []s, JM -- http://sequiturquodlibet.googlepages.com/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgpYAU8oBKiiapngg3Fhk5rkEZpD2_QGfsFa3%2BnxW%2B%3DwA%40mail.gmail.com.
