Fui contatado essa semana por um certo Adriano que me diz que ele era o neto do Kurt Gödel. Obviamente não acreditei, e achei que o cara era doido: Como Gödel poderia ter um neto se não tive filhos? o famoso problema do "missing link" ... que justamente o Adriano me explicou: a mae dele, Adeline, era a filha do Gödel.
Ela faleceu recentemente e deixou uma autobiografia a ser publicada so depois da morte dela. Adeline se casou com um brasileiro (o pae do Adriano), estudante de logica do Professor Barreto da UFF, que foi fazer pos-doutorado no Instituto de Princeton na decada 1970. O pae do Adriano conheceu o Gödel, e se apaixonou por a filha dela, se casou e voltou no Brasil com ela. A filha do Gödel vivia escondida na casa de vizinhos do casal Gödel. Kurt não tinha revelado a mulher dele, Adele, que a filha era dele. O mais incrivel é que a mae da filha do Gödel é a Marylin Monroe, com a qual Gödel tive uma relação amorosa no final da decada 1950. Conhecida é a relação que a Marylin tive com o Einstein, em particular a travez da famosa anecdota: Marylin teria dito ao Einstein: vamos ter um filho junto, ele vai ter sua inteligencia e minha beleza. Einstein, conhecido por ser meio grosseiro, teria respondido: imagino o contrario! Talvez e isso que levou ao fim do namoro dos dois e fiz a Marylin começar a namorar o Gödel, um pessoa muito mais elegante e discreta. A Adeline Gödel Monroe fala sobre tudo isso é muito mais numa autobiografia que ela deixou antes de morrer. Ela fala também de uma prova do Gödel não publicada, chamada "terceiro teorema de incompletude", segundo o qual seria impossivel de provar a não existencia de deus. Não tive tempo ainda de verificar a prova e de ler todo o livro, mais é muito interessante. Foi escrito em portugues e vamos publicar-lo na coleção Cadernos de Lógica e Filosofia da College Publication (O Gabbay ja autorizou). A gente esta se apressando para que o livro esteja pronto daqui pouco e fazer o lançamento na altura do proximo EBL em Pirenopolis. -- 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCnp%3DSpL%2BYDUp15zkViuf_CuaenHo%2BZ79feCxf-VyBGug%40mail.gmail.com.
