Re: [Logica-l] Five stages of accepting constructive mathematics (Andrej Bauer)

Marcelo Finger escreveu: > Como seria uma prova construtiva do resultado de Turing sobre a > existência de números (reais) não computáveis? > > A prova clássica é fortemente não construtiva e não apresenta um tal > número. E nem poderia apresentar pois se houvesse um

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

2016-10-12 11:57 GMT+02:00 Hermógenes Oliveira : > O Hermann vem trabalhando na intersecção entre complexidade > computacional e derivabilidade em CS e DN há um bom tempo. Mas creio > que não haja muitas pessoas amplamente familiriazidas com a

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

Olá, pessoal. O trabalho de Hermann e Gordeev estava na programação da conferência "General Proof Theory"[1] que aconteceu em Tübingen no ano passado. Contudo, não foi possível aos autores participar da conferência. Gordeev apresentou o trabalho no seminário do nosso grupo algumas semanas

Re: [Logica-l] Five stages of accepting constructive mathematics (Andrej Bauer)

> Como seria uma prova construtiva do resultado de Turing sobre a existência > de números (reais) não computáveis? Há de fato pelo menos uma seita do construtivismo que rejeita inteiramente a "existência" de números não-computáveis... Em abordagens construtivistas mais brandas, contudo, talvez