Prezados, Aproveito para apresentar uma pergunta que anda pela minha cabeça nos últimos dias.
--> Existiria algum interesse para a Computação se algum desses problemas sobre Complexidade fosse, digamos assim, internalizado em ZF e mostrado ser uma equivalência ou uma consequência de algum principio de escolha (aqui principio de escolha significa alguma asserção que é encarada na literatura sempre no contexto de sua relação com o Axioma da Escolha, por exemplo ultrafiltros livres ou escolhas dependentes) ? Minha pergunta não é meramente retórica, um professor de computação vai passar um ano em pos doc aqui na Ufba colaborando com os grupos de Matemática Aplicada e com a gente de Lógica, e eu sei que ele quer usar coisas relacionadas com o Axioma da Escolha em Computação. A princípio eu disse pra ele, há alguns meses, que os argumentos em Computação devem ser todos construtivos, assim não faria sentido aplicar o Axioma da Escolha em Computação. Porém vi em alguns posts de tcs stack exchange que certas afirmações sobre árvores que dependem de argumentos de escolha poderiam, em determinados pontos de vista, serem aceitos pela Teoria da Computação. Bem, peço a opinião dos colegas. Abraços, []s Samuel -- 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. 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/e725cb88-08a2-421c-9118-fad8bc050dcf%40dimap.ufrn.br.
