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

2020-08-12 Por tôpico Valeria de Paiva
Era exatamente isso que eu queria ter escrito, Mario! Valeu! abs Valeria On Wed, Aug 12, 2020 at 9:41 AM Mario Roberto Folhadela Benevides < ma...@cos.ufrj.br> wrote: > Parabéns Hermann!!! > > Sua coragem e determinação nos inspiram. > > Forte abraço, > > Mario > > Em qua., 12 de ago. de 2020 às

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

2020-08-12 Por tôpico Mario Roberto Folhadela Benevides
Parabéns Hermann!!! Sua coragem e determinação nos inspiram. Forte abraço, Mario Em qua., 12 de ago. de 2020 às 10:35, Marcelo Finger escreveu: > > Olá Hermann. > > Eu admiro sinceramente a sua persistência. > > Acho que já mencionei a você que a forma de obter reconhecimento pelo seu >

Re: [Logica-l] Escola de Inverno do PPGC/UFF - 10 a 14/08

2020-08-12 Por tôpico Bruno Lopes
Muito obrigado, Gisele! Eu participei da organização de uma pequena parte. É uma equipe grande que está tocando essa iniciativa. Abraços, Bruno. Em qua, 12 de ago de 2020 11:14, Gisele Secco escreveu: > Parabéns pela organização do evento, Bruno, está excelente! > > Le ven. 7 août 2020 à

Re: [Logica-l] Escola de Inverno do PPGC/UFF - 10 a 14/08

2020-08-12 Por tôpico Gisele Secco
Parabéns pela organização do evento, Bruno, está excelente! Le ven. 7 août 2020 à 20:05, Bruno Lopes a écrit : > *Escola de Inverno do PPGC/UFF 2020-2* > > No semana de 10 a 14 de agosto, realizaremos mais uma edição da Escola de > Inverno do Programa de Pós-Graduação em Computação da UFF

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

2020-08-12 Por tôpico Marcelo Finger
Olá Hermann. Eu admiro sinceramente a sua persistência. Acho que já mencionei a você que a forma de obter reconhecimento pelo seu trabalho é traduzir os resultados de lógicas pouco conhecidas para outras fontes que sejam muito mais mainstream. No caso da conjectura de NP=PSPACE, isso se traduz

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

2020-08-12 Por tôpico Mauricio Ayala-Rincon
Caro Hermann, parabéns pela coragem e perseverância com esse trabalho. Você honra a nossa comunidade! Um forte abraço, Mauricio On 12/08/20 07:10, logica-l@dimap.ufrn.br wrote: rá em breve a nossa prova, do prof. Lew Gordeev e minha, de que NP=PSPACE. O artigo está na seção de EARLY VIEW

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

2020-08-12 Por tôpico Famadoria
Boa! Forte abraço! Sent from my iPhone > On 11 Aug 2020, at 22:05, Walter Alexandre Carnielli > wrote: > > Caro Herrmann. > > parabéns pela perseverança, já ouvi vc falar várias vezes sobre > isso, e obviamente não conseguiu passar dos primeiros slides... > Mas vocês fizeram muito bem