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

Caros João Marcos e Hermógenes. Muito obrigado pela clarificação. O que o Hermógenes aponta vai na direção de elucidar as diferenças. A prova de [Turing 1936] sobre a existência de nũmeros não computáveis, esboçada pelo João, realmente demonstra que "Nem todo número real é computável". Em

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] 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

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

Quis dizer: número real não computável. Em 11 de out de 2016 19:36, "Marcelo Finger" escreveu: > Como seria uma prova construtiva do resultado de Turing sobre a existência > de números (rrais) não compatíveis? > > A prova clássica é fortemente não construtiva e não

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 (rrais) não compatí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 algoritmo que o gerasse, o número seria construtivo. Mas uma

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

You've seen the video, now you can read the paper: "On the odd day, a mathematician might wonder what constructive mathematics is all about. They may have heard arguments in favor of constructivism but are not at all convinced by them, and in any case they may care little about philosophy. A