Caros. Quando o Kripke esteve na Unicamp há alguns anos, acho que ele apresentou um esboço desta prova. SE não me engano, naquela época p único escrito sobre isso era um relatório de outro pesquisador sobre a prova de Kripke. Ele começava contando o que se sabia sobre o assunto ANTES de Goedel.
Alguém mais se lembra disso? []s 2017-07-03 22:42 GMT-03:00 Fernando Yamauti <fgyama...@gmail.com>: > > > Em 3 de julho de 2017 09:40, jyb <jyb.logic...@gmail.com> 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 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-2VBAoYxTAtVz9NOBUe8uQ77Yuxe30tR-wKiqQkYX1asg%40mail.gmail.com. -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger -- 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/CABqmzx24iiZ118OKTqJHE6o935EEcju4ZTz_JnXL5qGN%2BApRGA%40mail.gmail.com.
