Provas do Teorema de Gödel

[Walter Carnielli]

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" <fgya...@gmail.com> escreveu:

Em 3 de julho de 2017 09:40, jyb <jyb.lo...@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+unsubscribe@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@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.

[jyb]

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" <fgya...@gmail.com> escreveu:

Em 3 de julho de 2017 09:40, jyb <jyb.lo...@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+u...@dimap.ufrn.br.

Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.