Parabéns aos colegas da UFBA, um grupo poderoso, lindo logo! Só da um pouco de medo que a Lógica escorregue sobre a Topologia. :-)
Abraços, Walter Em sex., 23 de fev. de 2024 14:35, Elaine Pimentel < elaine.pimen...@gmail.com> escreveu: > Parabéns, Samuel e colegas da UFBA, pela maioridade e pelo logotipo. > > Longa vida ao Grupo de Lógica da UFBA!!! > > Abraços, > > On Fri, Feb 23, 2024 at 6:20 PM 'samuel' via LOGICA-L < > logica-l@dimap.ufrn.br> wrote: > >> (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ê recebeu essa mensagem porque está inscrito 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 essa 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 >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/85ce70ba-9593-41f6-95c7-4c3d34d3825an%40dimap.ufrn.br?utm_medium=email&utm_source=footer> >> . >> > > > -- > Elaine. > ----------------------------------- > Elaine Pimentel > Associate Professor in Programming Principles, Logic, and Verification > Department of Computer Science > University College London > https://sites.google.com/site/elainepimentel/ > ----------------------------------- > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <logica-l@dimap.ufrn.br> > --- > Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BUJ5VU5eJRO-JDQnGZ9vt0qPRvQjjwjkLYjCDhsBa9JaA%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BUJ5VU5eJRO-JDQnGZ9vt0qPRvQjjwjkLYjCDhsBa9JaA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CAOrCsLe0Qj%2Be8RZ2pK8iUJFvL7jpYFSojmPywR0JGXzw2X9GAw%40mail.gmail.com.