[Logica-l] Pedido

Caros Colegas, Dois pedidos: 1) Incluir na nossa lista um estudante meu de mestrado. Seu endereco eletronico e [EMAIL PROTECTED] 2) O Eneas esta interesado em Logica de Segunda Ordem. Agradeceria que as referencias e indicacoes que voces possuam acerca do assunto sejam enviadas para ele, com

Re: [Logica-l] Volumes 1 e 2 de Principia: Newton 80anos

Fax: +55-19-3289-3269 Tel.:+55–19-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l Francisco Miraglia mirag...@ime.usp.br

Re: [Logica-l] TRADUÇÃO DE AUGMENTED

://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l Francisco Miraglia mirag...@ime.usp.br ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] weakening theorem - tradução(?)

/ Greek van Peixe - Gamer Rock http://greekvanpeixe.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l Francisco Miraglia mirag...@ime.usp.br

Re: [Logica-l] Fwd: weakening theorem - tradução(?)

Car@s, Tendo lido com atenção as contribuições colegas, continuo preferindo weakening. Nâo seria a primeira vez que incorporaríamos palavras de originárias de outras línguas ao portugues. Poupo-lhes os abundantes exemplos. Aliás, algo muito comum em todas as línguas! Um grande abraço,

[Logica-l] weakening theorem - tradução(?); mais comentários

Car@s Colegas, A mensagem anterior (talvez) tenha sido um pouco críptica e adiciono mais alguns comentários: 1. Traduções precisam levar em conta a sintaxe, denotação e conotação das palavras e/ou expressões na língua original. Weakening é a substantivação de um gerúndio, algo comum em

Re: [Logica-l] weakening theorem - tradução(?); mais comentários

no português. Abraço, Ruy Em 31 de julho de 2012 03:27, Francisco Miraglia mirag...@ime.usp.brescreveu: Car@s Colegas, A mensagem anterior (talvez) tenha sido um pouco críptica e adiciono mais alguns comentários: 1. Traduções precisam levar em conta a sintaxe, denotação e conotação das palavras e/ou

Re: [Logica-l] Fwd: Walter Carnielli: indicação para medalha de ouro

://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l Francisco Miraglia mirag...@ime.usp.br ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] weakening theorem - tradução(?); mais comentários

tb nunca tinha ouvido... abracos tradutivos, Valeria essa estoria de traducao da' panos pra manga, nao e'? abracos, Valeria 2012/8/1 Francisco Miraglia mirag...@ime.usp.br Cara Valéria, Obrigado pela tua mensagem; penso que voce captou bem o jeitãoda minha intuição. Na realidade, estou

Re: [Logica-l] 50o aniversário de E. Hermann Haeusler

Caro Hermann, Foi um enorme parzer conhecer voce e a sua dedicação ao, entre outras coisas, trablaho intelectual. Minhas mais cordiais congratulações e votos de continuidade da tua atividade social e científica. Um GRANDE abraço, Chico Miraglia

[Logica-l] Homenagem à Ofelia Teresa Alas

Car@s, Uma excelente iniciativa; uma pena que lógicos não possam participar, caso contrário teria algo a contribuir. Um grande abraço à Ofélia e aos organizadores!! Chico Miraglia ___ Logica-l mailing list Logica-l@dimap.ufrn.br

[Logica-l] Mensagem do Júlio

Car@s, Concordo integralmente com o Júlio nas suas considerações de que campos obrigatórios do tipo raça (um pseudo-conceito, fartamente desqualificado), religião, entre outros, não podem constar em questionários de instituições governamentais em uma República laica. Talvez fosse a

Re: [Logica-l] Mensagem do Júlio

-SP, Brazil Fax: +55-19-3289-3269 Tel.:+55–19-3521-6517 Francisco Miraglia mirag...@ime.usp.br ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Classificacao bolsistas de produtividade do CNPq

Pereira de Freitas Renata Wassermann Sem bolsas Abilio Azambuja Rodrigues Filho Alexandre Rademaker Arthur Buchsbaum Cassiano Terra Rodrigues Cezar Augusto Mortari Daniel Durante Pereira Alves Francisco Miraglia Neto Frank Thomas Sautter Hércules de Araujo Feitosa Hugo Luiz Mariano Joao Marcos de

Re: [Logica-l] Nota de profundo pesar

Car@s, Faço minhas as palavras tanto do Walter quanto da Andrea. Chico Miraglia PS: Talvez fosse adequado alguma atividade de homenagem ao Elias no próximo EBL, um evento que ele sempre prestigiou e ajudou a construir. Quoting Andrea Loparic alopa...@gmail.com: Muito triste com a

Re: [Logica-l] uma questão de terminologia

Car@s, Não posso concordar com o Marcelo, pois na acepção usual função parcial é uma coleção de pares ordenados. Por exemplo, uma função parcial dos naturais em 2 = {0, 1} é uma função cujo domínio é um subconjunto dos naturais, tomando valores em 2. Como diz o Arthur, funcional também

Re: [Logica-l] Nova Diretoria da SBL

Caros, Faço minhas as palavras da Ítala e de todos que me antecederam. Um grande abraço, Chico Miraglia Quoting Itala M. Loffredo D'Ottaviano it...@cle.unicamp.br: Caro Marcelo: Em seu nome, cumprimento os amigos da nova Diretoria da SBL, desejando ao grupo uma excelente gestão ! Itala

Re: [Logica-l] Recenseamento da comunidade brasileira de lógica

Caro Bruno, As especialidades Lógica, Teoria dos Modelos, Teoria dos Conjuntos, etc. não constam do formulário. Minha área de atuação não se encaixa nem em Filosofia, nem em Ciência da Computação, nem é puramente Matemática (embora eu esteja ligado ao Departamento de Matemática do IMEUSP).

Re: [Logica-l] Uma noticia de profundissimo pesar

Car@s, Acompanho os sentimentos de pesar do Walter. Chico Miraglia Quoting Walter Carnielli : Colegas e amig@s: Achei que me cabia, por estar sabendo, repassar a estarrecedora e pesarorosa noticia sobre a tragédia que envolveu nossa querida colega Carol

Re: [Logica-l] um probleminha com logica intuicionista...

Cara Valéria, Observações que talvez possam ser úteis: 1) O esquema (A --> B) --> (Ng A --> Ng B) é válido no Intucionismo, (versão Heyting); as álgebras de Heyting fornecem uma semântica completa para a versão do Intuicionismo do Arend; 2) Adicionar o esquema recíproco à axiomatização de

Re: [Logica-l] um probleminha com logica intuicionista...

meno humano, não apenas matemático. O mundo das ideias e práticas humanas é um campo fértil para a prática paraconsistente. Já escrevi demais Pelo contrário, escreva mais (vezes)! []s 2017-10-24 4:08 GMT-02:00 Francisco Miraglia <mirag...@ime.usp.br>: Cara Valéria, Observações que t

Re: [Logica-l] um probleminha com logica intuicionista...

az parte dessa conversa menorzinha, do que 'e valido pro Heyting e de que nomes devem ser usados pra que. obrigada tb por >A relação intucionista da disjunção com a implicação resume-se ao óbvio; qualquer outra relação é FALSA era isso mesmo que eu queria verificar. abracos, Valeria 2017-10-23 2

Re: [Logica-l] um probleminha com logica intuicionista...

o que eu queria verificar. abracos, Valeria 2017-10-23 23:08 GMT-07:00 Francisco Miraglia <mirag...@ime.usp.br>: Cara Valéria, Observações que talvez possam ser úteis: 1) O esquema (A --> B) --> (Ng A --> Ng B) é válido no Intucionismo, (versão Heyting); as álgebras de Heyting fornec

[Logica-l] Notas esparsas

Car@s, Alguns esclarecimentos: 1) Nunca disse -- por que não é verdade -- que Brouwer não apreciou a contribuição de ex-estudante Arend Heyting. Falava das posiçoes (bem conhecidas) de Brouwer. 2)Sem prejuízo de outras, considero boas as seguintes referências acerca da história da

Re: [Logica-l] Re: [OUF] imposto de 20% sobre as taxas de inscricao

Caro Jean Yves, Acabo de assinar a petição que voce iniciou. Abraços, Chico Mraglia Quoting jyb : Caro Cassiano Grato pelo apoio. Não conhece bem este site de peticao, é aprimeira vez que estou usando ele mas acredito que não deve ser tão difficil assinar a

Re: [Logica-l] Assunto um pouco[ OFF TOPIC] referente a IC na área de Teoria da Recursão

Car@s, Os clássicos são, em geral, meus preferidos: Hartley Rogers. Da trabalho, mas não há tempo perdido com o trabalho necessário. Abraços , Chico Miraglia > On 13 Apr 2018, at 12:11, Antonio Marmo wrote: > > Além dessas indicações do Rodrigo, você pode também dar uma

Re: [Logica-l] OFF -TOPIC Abaixo ssinado

Assinado! Chico Miraglia > On 17 Apr 2018, at 01:08, Walter Alexandre Carnielli > wrote: > > Assinado! > Walter > > >> Em 16 de abr de 2018, às 23:13, Cassiano Terra Rodrigues >> escreveu: >> >> Colegas, esta mensagem foi veiculada

Re: [Logica-l] Interseção e Pullbacks: Complemento

mo necessário. Outro abraço, Chico Miraglia Quoting Francisco Miraglia <mirag...@ime.usp.br>: Caro Regivan, Sejam A, B, C conjuntos e sejam $\iota_A$ : A ---> $A \cup B$ e $\iota_B$ ---> $A \cup B$ as imersões canônicas. SUPONHA que existam funções f : C ---> A, g : C ---&g

Re: [Logica-l] Interseção e Pullbacks

Caro Regivan, Sejam A, B, C conjuntos e sejam $\iota_A$ : A ---> $A \cup B$ e $\iota_B$ ---> $A \cup B$ as imersões canônicas. SUPONHA que existam funções f : C ---> A, g : C ---> B, tais que $\iota_A$ o f = $\iota_B$ o g e que A \cap B é vazio; se C fosse não-vazio, esta equação

Re: [Logica-l] Interseção e Pullbacks

Cara Sheila, Não penso que o Regivan inverteu as flechas; sua dúvida era com a PROVA de que a interseção era o pull-back em qualquer caso, mesmo se A e B são disjuntos. Por isto é que enviei para a lista as observações anteriores, mostrando que a prova ainda vale neste caso, pois o único

Re: [Logica-l] Interseção e Pullbacks

regivan AT DOMAIN=dimap,ufrn,br. > > Curriculum Lattes-CNPq > ****** > >> Em 18 de mar de 2018, à(s) 11:14, Francisco Miraglia <mirag...@ime.usp.br> >> escreveu: >> >> Caro Regivan, >> >> Sejam A, B, C conjuntos e sejam $\i

Re: [Logica-l] Nota de repúdio da SBL

Ótima nota! Abraços, Chico Miraglia > On 27 Apr 2019, at 10:14, itala loffredo wrote: > > Obrigada, caros membros da Diretoria da SBL! > Itala > >> Em sex, 26 de abr de 2019 às 23:17, Cassiano Terra Rodrigues >> escreveu: >> Colegas, divulgo aqui a Nota de Repúdio elaborada pela Diretoria

Re: [Logica-l] [OFF TOPIC] A privatização da universidade pública já começou

Car@s, Infelizmente, não é apenas fascismo e “burrizia”, como diz o Doria. Trata-se de tentativa consciente e planejada de destruir toda possibilidade de produção de conhecimento crítico e reduzi-lo à conveniência do capital. Minhas desculpas às sensibilidades que possa estar ofendendo; mas

Re: [Logica-l] Presheaves

Caro Regivan, Há muitos exemplos. Primeiro uma observação: todo perfeixe sobre um espaço topológico pode ser reescrito na abordagem proposta por Fourman e Scott (isto é meio imediato). 1. 0 exemplo mais standard é o prefeixe, P, das funções reais contínuas e limitadas sobre a reta. A função

Re: [Logica-l] [OFF TOPIC] A privatização da universidade pública já começou

Cara Itala, Obrigado! Beijos, Chico Miraglia > On 17 Jul 2019, at 12:36, Itala M. Loffredo D'Ottaviano > wrote: > > Parabéns, Chico! > É isso mesmo, para desalento e desespero nosso e desmonte do país! > Itala > >> Car@s, >> Infelizmente, não é apenas fascismo e “burrizia†, como

Re: [Logica-l] a pior tentativa de explicar a hipotese do continuo

Car@s, Pergunta: qual é a cardinalidade do conjunto das partes do naturais? 0. É fácil ver que essa cardinalidade é igual à do conjunto dos reais (ou do intervalo (0, 1), se preferirem); 1. Cantor fez a hipótese de que seria aleph_1, o primeiro cardinal não enumerável. Esta hipótese passou

Re: [Logica-l] Kurt Gödel and the mechanization of mathematics

s > do resultado gödeliano. > > -- > Hermógenes Oliveira > > > From: Francisco Miraglia Neto > Sent: Sunday, 29 December 2019 12:47 > Cc: Lista brasileira > Subject: Re: [Logica-l] Kurt Gödel and the mechanization of mathematics > > >> Car@s, >>

Re: [Logica-l] Kurt Gödel and the mechanization of mathematics

> Car@s, > > Me indago porque ninguém parece se lembrar da tese de doutorado do Smulian em > Princeton, publicada naquela coleção de Princeton que tinha capa vermelha. > Para quem não conhece , recomendo: > A theory of formal systems > Princeton Univ Press, 1961. > > Há um artigo anterior

Re: [Logica-l] intuitionistic math & quantum physics?

Car@s, Lógica intuicionista talvez não; mas tenho indicações que Lógica Linear intuicionista não comutativa poderia... Abração, Chico Miraglia > On 11 Apr 2020, at 13:10, Joao Marcos wrote: > > -- Forwarded message - > From: "Kreinovich, Vladik" > To: "f...@cs.nyu.edu" >

Re: [Logica-l] intuitionistic math & quantum physics?

os bem, > abracos, > Valeria > >> On Sat, Apr 11, 2020 at 9:46 AM Francisco Miraglia Neto >> wrote: >> Car@s, >> >> Lógica intuicionista talvez não; mas tenho indicações que Lógica Linear >> intuicionista não comutativa poderia... >> >&g

Re: [Logica-l] intuitionistic math & quantum physics?

Cara Valéria, Ok, obrigado!! Abraços, Chico Miraglia > On 11 Apr 2020, at 19:45, Valeria de Paiva wrote: > >  > Obrigada Chico! > intuicoes, motivacao e trabalho anterior, ja' sao suficientes pra mim. > abs > Valeria > >> On Sat, Apr 11, 2020 at 3:29 PM Fran

[Logica-l] Ainda o tempo

Caro Rodrigo , Em complemento à mensagem anterior, me lembro de St. Agostinho: o tempo; se me perguntares o que é, direi não sei. Se não for perguntado, então tenho a impressão de saber. Outro abraço, Chico Miraglia -- Você está recebendo esta mensagem porque se inscreveu no grupo

Re: [Logica-l] intuitionistic math & quantum physics?

o? >> >> Abraços, >> >> Caio >> >> Em sáb., 11 de abr. de 2020 às 19:45, Valeria de Paiva >> escreveu: >>> Obrigada Chico! >>> intuicoes, motivacao e trabalho anterior, ja' sao suficientes pra mim. >>> abs >>> Valeri

[Logica-l] Yet Time

Car@s, Há também a possibilidade de que a teoria de hidden variables volte à moda. Nesse caso, talvez a lógica intuicionista e a teoria das espécies nos forneça alguma luz. Estou quase arrependido de ter entrado nesta conversa, tão interessante... a “coceira” de pensar nela aumentou muito e

[Logica-l] Ainda o tempo

Caro Rodrigo, Obrigado pela tua mensagem. Apontaria que há outras questões envolvidas as quais me parece que a lógica intuicionista não pode dar conta: observáveis que não comutam (i.e., operadores que não comutam),o problema (não é um paradoxo) EPD (Einstein, Podolski e Rosenberg), as

Re: [Logica-l] sobre os efeitos negativos da estética questionável da "paraconsistent newsletter"

Também apoio a posição da Elaine, assim como as do Marcelo, do Walter e as ponderações do Júlio. Ça suffit! Abraços e cuidem-se bem! Chico Miraglia > On 17 Sep 2020, at 12:04, Marcelo Finger wrote: > >  > Apoio a posição da Elaine. > > Na época em que essa newsletter rodava por email,

Re: [Logica-l] [OFF TOPIC] Desinclusão em Lógica/ Ciência

Car@s, Concordo inteiramente com as considerações do Walter. Com votos de que todos estejam bem, Abraços e cuidem-se!! Chico Miraglia > On 24 Jul 2020, at 13:23, Walter Alexandre Carnielli > wrote: > > Car@s colegas: > > embora ninguém desta lista tenha comentado minha mensagem ao

Re: [Logica-l] [OFF TOPIC] governo de São Paulo destruindo a C

Car@s, Esse é o projeto de reforma administrativa do governo Dória, que foi cabo eleitoral de Bolsonaro e trará consequências gravíssimas para o desenvolvimento paulista e brasileiro. Precisamos reagir de forma unitária e enérgica a mais esse ataque às universidades, à Fapesp e aos serviços

Re: [Logica-l] uma pergunta sobre. wiki brasil

Car@s, Corroboro inteiramente as palavras do Walter. Além disso, dependendo do assunto, há outros lugares (Columbia, Stanford, Cambridge, etc.) que tratam bem esses assuntos. Na realidade, nada como uma boa biblioteca e a conversa com quem é do ramo... Abraços e cuidem-se bem!! Chico

Re: [Logica-l] Nota de profundo pesar (falecimento do Prof. Paulo Augusto Veloso)

Perco um grande amigo e nós um intelectual de grande porte. Meus sentimentos à família e, em particular, à Sheila. Chico Miraglia > On 14 Nov 2020, at 14:49, Bruno Lopes wrote: > > Caros, > > Encaminho a nota da SBL em pesar pelo falecimento do Prof. Paulo Augusto > Veloso. > > Abraços,

Re: [Logica-l] Nota de profundo pesar (falecimento do Prof. Paulo Augusto Veloso)

Perco um grande amigo e nós um intelectual de grande porte. Meus sentimentos à família e, em particular, à Sheila. Chico Miraglia > >> On Sat, Nov 14, 2020 at 10:30 AM nastassja pugliese >> wrote: >> Lembro com carinho do prof. Paulo Veloso, sempre presente nos eventos de >> lógica

Re: [Logica-l] Eleição para Diretoria da SBL 2021 - Cédula de Votação

Caros, Apoio à proposta do Marcelo, por exatamente a mesma razão. Abraços, Chico Miraglia > On 3 Mar 2021, at 15:18, Marcelo Finger wrote: > >  > Caros. > > Gostaria de sugerir mui respeitosamente que a próxima eleição da SBL > contemple a alternativa de votação eletrônica. Estamos

Re: [Logica-l] Eleição para Diretoria da SBL 2021 - Cédula de Votação

Caros e Caras Colegas, Faço minhas as palavras e propostas da Ítala : meus parabéns à diretoria que termina seu mandato e meu total apoio à que vai assumir a direção da SBL. Um grande abraço e cuidem-se bem nestes tempos dark. Chico Miraglia > On 6 Mar 2021, at 15:52, C. Mortari wrote: > >

Re: [Logica-l] [OFF] Nota da SBF sobre a troca de presidentes na Capes

Car@s, Também apoio a proposta do Walter, endossada pela Ítala. Abraços, Chico Miraglia > On 16 Apr 2021, at 15:16, Walter Carnielli wrote: > > A SBL certamente deveria se posicionar também, como fez (muito bem) > em várias ocasiões. > > Abs, > > Walter > >> Em sex., 16 de abr. de

[Logica-l] Pesar

Caros Colegas, Prezadas Colegas, Meus sentimentos de profundo pesar aos familiares do Carlos, um amigo querido de tantos anos. Abraços, Chico Miraglia -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e

Re: [Logica-l] Andrea Loparic

Colegas, Faço minhas as palavras da Ítala. Mais uma amiga e companheira querida de luta, que não está mais entre nós. Chico Miraglia On Mon, Oct 25, 2021 at 10:53 AM Itala Maria Loffredo D'Ottaviano < it...@unicamp.br> wrote: > Colegas, que notícia triste! > Tempos tão difíceis, tantas perdas.

Re: [Logica-l] 17 anos de LOGICA-L

Faço minhas as palavras do Wslter! Abraços, Chico Miraglia On Sat, 25 Mar 2023 at 21:57 Walter Carnielli wrote: > A Lista de Lógica quase maior de idade! > > Parabéns ao João pela boa vontade em administrar, sem esquecer que a > Carol foi também administradora. > > Parabéns a todos nós que

[Logica-l] ‘Too greedy’: mass walkout at global science journal over ‘unethical’ fees | Peer review and scientific publishing | The Guardian

https://www.theguardian.com/science/2023/may/07/too-greedy-mass-walkout-at-global-science-journal-over-unethical-fees -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos

Re: [Logica-l] tradução entre linguagem natural e linguagem formal

Caro João, O livro do Kleene, “Mathematical Logic” (John Wiley) nas sessões 14 e 15 do capítulo I tem exemplos e exercícios que achei pertinentes (Applications to ordinary language, p. 58ff e 67ff.) Mas talvez eu esteja chovendo no molhado. Abraços, Chico Miraglia On Thu, 16 Nov 2023 at 10:29