Re: [Logica-l] Triste nota de pesar

2021-05-28 Por tôpico Famadoria
Era muito boa gente, e competente. Sent from my iPhone > On 28 May 2021, at 17:56, Adolfo Neto wrote: > >  > Que triste, Walter. > Não o conheci pessoalmente, mas ele era bastante ativo por aqui. > Meus sentimentos a você e à família dele. > > >> Em sex., 28 de mai. de 2021 às 17:16,

Re: [Logica-l] Triste nota de pesar

2021-05-28 Por tôpico josé carlos cifuentes
Meus sentimentos a todos os familiares e os que o conheceram pessoalmente. Tony Marmo foi um personagem importante da comunidade lógica e especialmente desta lista. Um abraço triste a todos. Cifuentes

Re: [Logica-l] Triste nota de pesar

2021-05-28 Por tôpico Walter Carnielli
Prezada Elisa: Agradecemos pelas informações corrigindo a data da partida do nosso querido Tony, 26 de maio ao invés de 25. Fico contente em saber que ele estava tendo sucesso na sua busca por posições acadêmicas. Lamentamos, mais uma vez, a perda abrupta para todos nós. Walter Em sex, 28 de

Re: [Logica-l] Triste nota de pesar

2021-05-28 Por tôpico Tony Marmo
"Estava buscando uma posição, algo muito difícil de encontrar nestes tempos- escrevi várias cartas de recomendação, e ele estava na luta para conseguir trabalho, e conecar uma vida acadêmica. Sinto muitíssimo pela perda do Tony ,muito jovem para nos deixar." Quanto a essa sua citação lhe informo

Re: [Logica-l] Triste nota de pesar. Agradecimentos

2021-05-28 Por tôpico Tony Marmo
Sou irmã do Antonio. Em nome da minha família agradeço a nota de seu falecimento. Mas lhes informo que ele não morreu de covid foi de sua consequência, sequelas. A data de seu regresso à casa do Pai Eterno foi na última quarta - feira, 26 de maio. Elisa Em sex, 28 de mai de 2021 17:16, Walter

Re: [Logica-l] Triste nota de pesar

2021-05-28 Por tôpico Marcelo Finger
Walter. Muito triste esta notícia! Mais um para o Panteão dos que se foram por motivos evitáveis. Lamentável. Minhas condolências aos familiares e amigos []s Em sex., 28 de mai. de 2021 às 17:16, Walter Carnielli escreveu: > Faleceu no dia 25 de maio nosso querido colega, ex-estudante,

Re: [Logica-l] Triste nota de pesar

2021-05-28 Por tôpico Evandro L. Gomes
Walter, Que notícia mais triste. Lembro-me de boas e interessantes conversas que tivemos em inúmeras ocasiões. Acho que a última vez que o revi foi no EBL de Pirenópolis. Muito triste. Meus mais profundos sentimentos à família. Evandro. On Fri, May 28, 2021 at 5:16 PM Walter Carnielli

Re: [Logica-l] Triste nota de pesar

2021-05-28 Por tôpico Adolfo Neto
Que triste, Walter. Não o conheci pessoalmente, mas ele era bastante ativo por aqui. Meus sentimentos a você e à família dele. Em sex., 28 de mai. de 2021 às 17:16, Walter Carnielli escreveu: > Faleceu no dia 25 de maio nosso querido colega, ex-estudante, orientando > e companheiro de

Re: [Logica-l] Triste nota de pesar

2021-05-28 Por tôpico Ricardo Grande
Que triste notícia. Tony era uma pessoa muito querida, rimos muito nos cafés na Unicamp durante a pós-graduação. Meus profundos sentimentos :( Em sex., 28 de mai. de 2021 às 17:16, Walter Carnielli escreveu: > Faleceu no dia 25 de maio nosso querido colega, ex-estudante, orientando > e

[Logica-l] Triste nota de pesar

2021-05-28 Por tôpico Walter Carnielli
Faleceu no dia 25 de maio nosso querido colega, ex-estudante, orientando e companheiro de discussões Antônio (Tony) Marmo, vítima da COVID 19. Tony foi meu orientando de mestrado na Unicamp, e orientando de doutorado do Jean-Yves Beziau na UFRJ. Estava buscando uma posição, algo muito difícil

Re: [Logica-l] Para Todxs: Natal - Procuram-se coautoras e coautores

2021-05-28 Por tôpico Daniel Durante
Obrigado, Marcelo. Nós é que já agradecemos qualquer ajuda na revisão. Um abraço, Daniel. Em sexta-feira, 28 de maio de 2021 às 14:48:13 UTC-3, Marcelo Finger escreveu: > Oi Daniel. > > Gostaria de agradecer ao favor que vocês fazem à comunidade em > disponibilizar um recurso como este. > >

Re: [Logica-l] Para Todxs: Natal - Procuram-se coautoras e coautores

2021-05-28 Por tôpico Marcelo Finger
Oi Daniel. Gostaria de agradecer ao favor que vocês fazem à comunidade em disponibilizar um recurso como este. []s Marcelo Em sex., 28 de mai. de 2021 às 10:26, Daniel Durante escreveu: > Colegas, > > Finalmente fechamos uma versão completa do nosso livro didático de > introdução à lógica,

Re: [Logica-l] Para Todxs: Natal - Procuram-se coautoras e coautores

2021-05-28 Por tôpico Daniel Durante
Oi Andrea, Você certamente vai encontrar muitos "lapsos" e coisas piores  Muito obrigado por sua ajuda. A lista de coautores já começou a ficar chic!!! Abraços, Daniel. Em sexta-feira, 28 de maio de 2021 às 14:07:05 UTC-3, aloparic escreveu: > Que projeto legal, Daniel! > Vou ler o texto e,

Re: [Logica-l] Para Todxs: Natal - Procuram-se coautoras e coautores

2021-05-28 Por tôpico Daniel Durante
Que bacana, Hermógenes! É muito bom saber que vocês aproveitaram e desenvolveram o projeto. Vamos fazer vários Para Todxs, com muitos sotaques! Esta é a ideia. Sim, acho que seira ótimo juntarmos os diferentes Para Todxs em um único repositório com diversas ramificações. Além disso, as

Re: [Logica-l] Para Todxs: Natal - Procuram-se coautoras e coautores

2021-05-28 Por tôpico Andrea Loparic
Que projeto legal, Daniel! Vou ler o texto e, se encontrar lapsos, preencho o forme mando. Sempre têm, corrigimos um do First Order Logic do Smullyan quando fizemos a tradução. Abração, Andres Em sex., 28 de mai. de 2021 às 12:35, Hermógenes Oliveira < olive...@daad-alumni.de> escreveu: > Olá,

Re: [Logica-l] Para Todxs: Natal - Procuram-se coautoras e coautores

2021-05-28 Por tôpico Hermógenes Oliveira
Olá, Daniel. Muito legal o projeto! Há algum tempo atrás, eu escrevi para sondar sobre o projeto e, na ocasião, você me enviou as fontes LaTeX da tradução feita pelo grupo de Natal. Eu e Diego estamos usando o texto como livro didático das disciplinas de lógica aqui em João Pessoa. Para

[Logica-l] Para Todxs: Natal - Procuram-se coautoras e coautores

2021-05-28 Por tôpico Daniel Durante
Colegas, Finalmente fechamos uma versão completa do nosso livro didático de introdução à lógica, o "Para Todxs: Natal", disponível aqui: http://tiny.cc/wwpksz O projeto completo, com os arquivos fontes do LaTeX, estão livremente disponíveis no GitHub aqui: