> 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 possamos nos safar simplesmente com um argumento de cardinalidade? Há demonstrações construtivas bem conhecidas de que os números reais não são contáveis. Supondo, além disso, que a contabilidade dos números computáveis possa ser estabelecida intuicionisticamente (bastaria enumerar "alfabeticamente" todas as máquinas de Turing?), então temos aí um buraco onde viveriam os reais não-computáveis. Que tal? Joao Marcos -- http://sequiturquodlibet.googlepages.com/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhA4Pqk%3DZ5_dVxaeQEGLzS%3D9kJrn3vEahbHqhnY3DrA1g%40mail.gmail.com.
