Re: [Logica-l] Russell - Gödel - Pergunta

[Augusto Andraus]

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 
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
> 
> .
>

-- 
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.

Re: [Logica-l] LaTeX para Mac

[Augusto Andraus]

Também uso o MacTeX.

On Mon, Aug 7, 2017 at 4:54 PM Fernando Yamauti  wrote:

> Baixa o pacote inteiro do MacTeX http://www.tug.org/mactex/
>
>  PS: O MacTeX contem o TeXShop entre outros editores e mais alguns
> programas muito úteis (tipo BibDesk e LaTeXiT)
>
> Em 7 de agosto de 2017 15:41, Famadoria  escreveu:
>
>> TeXShop.
>>
>> Sent from my iPhone
>>
>> On 7 Aug 2017, at 13:59, Evandro L. Gomes  wrote:
>>
>> Pessoal,
>>
>> Estou com um estudante que precisa instalar o TeX numa máquina para
>> trabalhar e a máquina dele é Mac. Que compilador e editor vocês recomendam?
>>
>> abs,
>>
>> Evandro.
>>
>> --
>> 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/CANa0U%3Dq_dWtGSJnptkc786D%3Dk5JLSaXAA94rj8MJYyd5fG_XFw%40mail.gmail.com
>> 
>> .
>>
>> --
>> 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/2F7C30F3-96E6-4CFA-81DC-133F299FE40F%40gmail.com
>> 
>> .
>>
>
> --
> 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/CAJGvw-1vnum8Ja-qe6QU7g7p1Ai8UCPguXxLRyOuPt4JQref1g%40mail.gmail.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 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/CACFLrnPNoub94ySAjj6fbJ3hkSY8j9g1yEU8VnjZsRtDjjjgug%40mail.gmail.com.