(abaixo, segue mensagem repassada para público geral, docentes do nosso Departamento de Matemática)
************************************************* Prezados, Saudacoes, A Semana Temática de Lógica 2024, além de abrigar o II Encontro USP UFBA de Lógica e Fundamentos da Matemática e a Homenagem aos 60 anos do Prof. Andreas Brunner, Marca também o início do ano em que completam-se 18 anos do Grupo de Lógica da UFBA, reconhecido como um dos mais importantes grupos de Lógica sediados em Departamentos de Matemática no país. Nesse caminho à maioridade, foram criados: um logotipo e um símbolo para o grupo de Lógica. Estao ambos baseados no Elevador Lacerda, porém, como "duplo sentido", o elevador pode ser mentalmente encarado como uma "catraca" (turnstile), cujo símbolo em Latex é \vdash. O símbolo da catraca é o símbolo da "prova" em Lógica Matemática ("logical entailment", ou consequência lógica), o qual denota que a partir de determinadas premissas chegamos a determinadas conclusões. Diz a lenda que trata-se de uma catraca pois, ao passarmos das premissas para as conclusões, deixamos como pagamento o nosso raciocínio, o nosso pensamento. Saudacoes a todos os colegas, []s Samuel ******************************************************** As imagens podem ser visualizadas no seguinte link aberto: https://drive.google.com/drive/folders/1P_PU-VNivp_zf8DyqeOdH4PApkkWqra8 PS: "A lenda" aí da mensagem eu retirei de mensagens antigas desta lista, com Petrucio e Valeria falando do símbolo da catraca, desde entao eu tenho uma predilecao especial por catracas. 8-) -- 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 acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/85ce70ba-9593-41f6-95c7-4c3d34d3825an%40dimap.ufrn.br.