[Logica-l] Fwd: Proof-theoretic proof of NP=PSPACE?

2016-10-10 Por tôpico Joao Marcos
Mais detalhes em: Welcome to NP=PSPACE Area !!! http://www.tecmf.inf.puc-rio.br/NPPSPACE JM -- Forwarded message -- Date: Sat, 8 Oct 2016 10:06:50 -0600 From: Richard Zach To: New on arXiv this week; has anyone read it/formed an opinion? https://arxiv.org/abs/1609.09562 N

Re: [Logica-l] Fwd: Proof-theoretic proof of NP=PSPACE?

2016-10-10 Por tôpico Francisco Antonio Doria
Lew é muito bom. Logo, se tiver engano, é muito sutil. On Mon, Oct 10, 2016 at 4:06 AM, Joao Marcos wrote: > Mais detalhes em: > > Welcome to NP=PSPACE Area !!! > http://www.tecmf.inf.puc-rio.br/NPPSPACE > > JM > > > -- Forwarded message -- > > Date: Sat, 8 Oct 2016 10:06:50 -060

Re: [Logica-l] Fwd: Proof-theoretic proof of NP=PSPACE?

2016-10-10 Por tôpico Marcelo Finger
Olá. O problema é que um resultado tão quente como NP=PSPACE, para ser aceito pela comunidade hoje em dia, precisa vir com a prova de uma série de resultados correlatos. Em particular, o colapso da hierarquia polinomial deve vir junto com uma forma de encontrar a equivalência de uma fórmula da ló

Re: [Logica-l] Fwd: Proof-theoretic proof of NP=PSPACE?

2016-10-10 Por tôpico Francisco Antonio Doria
Bom, aguardo, interessado é claro, os comentários. On Mon, Oct 10, 2016 at 12:49 PM, Marcelo Finger wrote: > Olá. > > O problema é que um resultado tão quente como NP=PSPACE, para ser aceito > pela comunidade hoje em dia, precisa vir com a prova de uma série de > resultados correlatos. > > Em pa

[Logica-l] uma iniciativa interessante do JFP

2016-10-10 Por tôpico Valeria de Paiva
http://www.cs.nott.ac.uk/~pszgmh/jfp-phd-abstracts.html eles dizem: Preamble Many students complete PhDs in functional programming each year. As a service to the community, the Journal of Functional Programming publishes the abstracts

Re: [Logica-l] Fwd: Proof-theoretic proof of NP=PSPACE?

2016-10-10 Por tôpico Alexandre Rademaker
Professor Doria, Hermann também é muito bom! Os que acompanham de perto sabem que foi o Hermann quem de fato liderou o processo. Alexandre Sent from my iPhone > On 10 Oct 2016, at 12:18, Francisco Antonio Doria wrote: > > Lew é muito bom. Logo, se tiver engano, é muito sutil. > >> On Mon

Re: [Logica-l] Fwd: Proof-theoretic proof of NP=PSPACE?

2016-10-10 Por tôpico Francisco Antonio Doria
Peço desculpas por não haver-lo citado, injustiça e erro meus. Deve estar certo sim. On Tue, Oct 11, 2016 at 12:07 AM, Alexandre Rademaker wrote: > Professor Doria, > > Hermann também é muito bom! Os que acompanham de perto sabem que foi o > Hermann quem de fato liderou o processo. > > > Alexand