Caro Jean-Yves, caros todos:
Tenho comigo há alguns anos no CLE a transcrição e as fitas de uma prova do primeiro Teorema de Gödel (o segundo é corolário) que o Kripke deu em Campinas. A prova é substancialmente diferente de uma que ele deu na China e que já apareceu publicada, mas gostaria de comparar com essa de Paris. Já pedi a ele pessoalmente várias vezes que me desse permissão para publicar (em seu none, obviamente,) mas ele sempre diz que está pensando... Essa de Paris vai sair publicada? abraços, Walter Em 3 de jul de 2017 20:43, "Fernando Yamauti" <[email protected]> escreveu: Em 3 de julho de 2017 09:40, jyb <[email protected]> escreveu: > Gostaria de apontar que o Saul Kripke apresentou em Paris uma prova > semantica do teroema de Gödel > "A Model Theoretic Approach to Gödel's Theorem" > http://www.logic-in-question.org/ > Bem detalhada mas ainda não publicada, todavia a palestra foi gravada ... > Saudações > JYB > Oi Jean-Yves, A gravação está disponível em algum lugar online? Eu falhei em encontrar videos no site da conferencia. Slides já seriam o suficiente (caso ele tenha usado), mas também não achei algo do tipo. Abs., Fernando -- 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 [email protected]. Para postar nesse grupo, envie um e-mail para [email protected]. 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-2VBAoYxTAtVz9NOBUe8uQ77Yuxe30t R-wKiqQkYX1asg%40mail.gmail.com <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAJGvw-2VBAoYxTAtVz9NOBUe8uQ77Yuxe30tR-wKiqQkYX1asg%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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. 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/CA%2Bob58NOF-Km46wcH8YwEqbt5LRiVb6B38gCVq3_aWs-s3KbDA%40mail.gmail.com.
