Caro Walter e colegas A presentação do Kripke em Paris foi muito detalhada e tecnica. A maioria de pessoas que assistirem não entenderem nada. Foi a primeira vez que o Kripke estava fazendo uma palestra em Paris. A sala estava cheia, mas principalemente com filosofos, que conhecem muito pouco de lógica.
Estamos preparando um volume com as palestras de LIQ-2011-2017 http://www.logic-in-question.org/ que deve estar pronto para o proximo LIQ. O Kripke ainda não me falou se ele vai publicar este artigo no nosso livro. Não tive mais noticias dele depois que ele foi para Auschwitz. A palestra do Kripke foi filmada por Michael Wrigth, (ele filmou também todas palestras de LIQ7) direitor de Archive for Mathematical Sciences & Philosophy http://www.archmathsci.org/ Ainda não tive tempo de falar com ele para saber o que ele vai fazer com este material Um abraço Jean-Yves Le mardi 4 juillet 2017 03:56:15 UTC+2, Walter Carnielli a écrit : > > 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] > <javascript:>> escreveu: > > > > Em 3 de julho de 2017 09:40, jyb <[email protected] <javascript:>> > 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] <javascript:>. > Para postar nesse grupo, envie um e-mail para [email protected] > <javascript:>. > 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-2VBAoYxTAtVz9NOBUe8uQ77Yuxe30tR-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/6b60b9e2-bfa8-4c43-ad6c-78f2ff803838%40dimap.ufrn.br.
