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á, 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 coordenar as nossas revisões do texto, Diego > incluiu > as fontes no GitHub sob a licença que acompanhava as fontes que você me > forneceu, isto é CC-BY-4.0 (a mesma do projeto original): > > https://github.com/diegofernandess/paratodxs-rn-pb > > Nós fizemos algumas alterações e correções que estão espalhadas em quatro > bifurcações ("branches"). Tentamos, na medida do possível, granularizar ao > máximo nossas alterações em remendos ("commits") separados, adicionando > comentários explicativos ou motivadores, sempre que possível (alguns, > inclusive, contém discussões e divergências entre eu e Diego). A ideia é > encorajar colaborações e permitir pinçar ("cherry pick") mudanças > localizadas, > facilitando a incorporação em versões paralelas (por quem quer que seja). > > Provavelmente, algumas de nossas correções não são mais aplicáveis, pois > estão > baseadas numa versão mais antiga do texto. Porém, talvez algumas delas > ainda > sejam de interesse. > > Noto que a versão atual contém capítulos sobre lógica modal e metateoria. > Eu > havia começado a trabalhar no capítulo sobre lógica modal, mas > infelizmente > não pude avançar muito. > > Talvez convenha centralizarmos os esforços. Daí nós manteriamos um tronco > separado do repositório de vocês. Isso facilitaria a troca de remendos > entre > as diversas versões. > > Cordialmente, > > -- > Hermógenes Oliveira > > > -- > 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/1664059.lhQJIO16El%40avalon > . > -- 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/CACHAqBn19veTxXQFHQtxeSnuiSju-LExutjqXOU46D0X%3DvBi7A%40mail.gmail.com.
