Re: [Logica-l] Prova de NP=PSPACE no Bulletin of Section of Logic

2020-08-14 Por tôpico Walter Alexandre Carnielli
Caro Anderson, Obrigado pela sua opinião, eu não tenho a menor ideia sobre a corretude do trabalho do Frank Vega. Mas se uma proposta está totalmente errada, qual seria um contra-exemplo? :-) Abraços Walter Em sex, 14 de ago de 2020 16:18, Anderson Beraldo de Araújo < andera...@gmail.com>

Re: [Logica-l] Prova de NP=PSPACE no Bulletin of Section of Logic

2020-08-14 Por tôpico Tony Marmo
Eu vejo com muita simpatia trabalhos assim, já que eu mesmo insisto que devemos buscar meios tais que permitam demonstrações as mais breves possíveis. Destarte, esses são assuntos que merecem pelo menos uma atenção cuidadosa. Não é uma questão de ser fã do Pravitz. Tem muitos aspectos positivos

Re: [Logica-l] Prova de NP=PSPACE no Bulletin of Section of Logic

2020-08-14 Por tôpico Anderson Beraldo de Araújo
Caro Hermann, Muito obrigado por sua resposta. Ainda não tive tempo de ler o artigo de vocês da Studia Logica. Farei isso mais para frente, quando tiver um tempo disponível. Meu comentário baseou-se no artigo que você compartilhou. Depois de ler sua mensagem e espiar o artigo um de vocês, creio

Re: [Logica-l] Prova de NP=PSPACE no Bulletin of Section of Logic

2020-08-14 Por tôpico Anderson Beraldo de Araújo
Caro Walter, Muito obrigado por indicar o trabalho do Frank Vega. Diferentemente do trabalho do Lev e Hermann, que tem muitos pontos positivos, a proposta do Frank Vega está totalmente errada - caso ele esteja aqui na lista, lamento pelo tom áspero! :) Primeiro, o Vega errou na estimativa da

[Logica-l] Video- talk by Alfredo Freire - Colloquium Logicae

2020-08-14 Por tôpico Walter Alexandre Carnielli
Dear all: Here is the link for the video-recording of the recent talk by Alfredo Freire at Colloquium Logicae: https://www.youtube.com/watch?v=9U_sZcePbfE=youtu.be Best, Walter Carnielli -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.

Re: [Logica-l] Prova de NP=PSPACE no Bulletin of Section of Logic

2020-08-14 Por tôpico Claus Akira Horodynski Matsushigue
Prezado amigo Herman!!! (Não sei por que os e-mails só foram enviados em privado. Repasso aqui.) Pois é, o problema é exatamente a interface entre o resultado anterior e o de vocês. Os passos que vocês fizeram são interessantes e perspicazes. Mas o "pulo-do-gato" é justamente a utilização do