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ê 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/CAHQVs%2BUJ5VU5eJRO-JDQnGZ9vt0qPRvQjjwjkLYjCDhsBa9JaA%40mail.gmail.com.
