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.

Responder a