Olá Ricardo, Recentemente investiguei (de forma muito breve) esse assunto, e encontrei este paper aqui:
https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/div-classtitlerussell-and-godeldiv/0C347F171985A54395CDA89D31C4A59A O paper também tem uma lista de referências bibliográficas bastante interessante. Abraços, -- Augusto On Thu, Sep 20, 2018 at 9:48 AM Ricardo Grande <rekdinhopoet...@gmail.com> wrote: > Olá, bom dia. Uma estudante minha de matemática me perguntou se existe > alguma referência de Russell mencionando, comentando ou discutindo os > teoremas de Gödel de 1931. > Eu procurei por algo na net, não vi nada sólido. > Se alguém tiver alguma referência, eu vou repassar para a estudante. > Eu já havia me perguntado isso, mas não sei de menção do lógico britânico > ao gênio de Brünn. > abraços, R. > > -- > > "The evil that men do lives after them; The good is oft interred with > their bones.” W. Shakeaspeare, J.C. > > "The good men do is oft interred with their bones, but the evil that men > do lives on". B. Dickinson. > > "(...) há animais humanos mentalmente retardados cujos cérebros > envergonhariam um chimpanzé". N. Wiener, 22º Parágrafo do 4º Cap. de > *Cibernética > e Sociedade*. > > "De qualquer forma, se existe uma realidade independente do homem, também > existe a verdade relativa a esta realidade; e de certa forma a negação da > primeira gera a negação da existência da seguinte" Einstein em seus > diálogos com Tagore. > > > > -- > Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO5LKz5zUfB7U%3Dq4q4PnngHT5On9jAKt184BXSgSV77Q12HwLQ%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO5LKz5zUfB7U%3Dq4q4PnngHT5On9jAKt184BXSgSV77Q12HwLQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CACFLrnNDhPQ3cO%2BF2xLPH%2BL6eicMdnkOXaJKvZXruGNixoOVUg%40mail.gmail.com.