Olá Regivan. Numa lógica relevante a sua demonstração seria rejeitada. Idem numa lógica linear. Ou seja, a monotonicidade parece ser um requisito para aceitar a sua demonstração.
[]s Em qui., 10 de fev. de 2022 às 10:57, Regivan Hugo Nunes Santiago < regivan.santi...@gmail.com> escreveu: > Caros colegas, > tenho a seguinte dúvida: > > Imaginem que vocês solicitem a alguém para demonstrar A (digamos uma > propriedade de grupos). Essa pessoa assume A, por inexperiência, e > demonstra A sem usar A (usando propriedades mais básicas). > > Como vocês veriam essa demonstração? Aceitariam? > > Para mim a resposta é óbvia, mas o que vocês acham? > > Do meu ponto de vista, isso seria equivalente a fazer um programa que não > fosse um programa mínimo (com variáveis que não foram usada nas linhas de > código do programa) e levando em consideração o isomorfismo de > Curry-Howard e a equivalência de programas do ponto de vista de funções > (fazem a mesma coisa) a demonstração seria equivalente a que não usa a > hipótese A. > > Agora, essa minha argumentação a favor da demonstração só vale por causa > do isomorfismo. O que vocês acham? Você conhecem alguma situação (sem o > isomorfismo) em que isso não fosse aceito? > > Abração, > Regivan > > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <logica-l@dimap.ufrn.br> > --- > 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 ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/8BA61D98-8EB2-4E9C-8FE7-4AC343AD58C4%40gmail.com > . > -- Marcelo Finger Departament of Computer Science, IME-USP http://www.ime.usp.br/~mfinger ORCID: https://orcid.org/0000-0002-1391-1175 ResearcherID: A-4670-2009 Instituto de Matemática e Estatística, Universidade de São Paulo Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw0xdudW9ysh03J%3DY9DuwFYm3FEpKshb1DAwLf-1hnT3kA%40mail.gmail.com.
