... Caindo do alto do elevador ainda, imagine !
Obrigado Walter e Elaine,
Abraços
[]s Samuel
----- Mensagem original -----
De: Walter Carnielli <walte...@unicamp.br>
Para: Elaine Pimentel <elaine.pimen...@gmail.com>
Cc: samuel <sam...@ufba.br>, LOGICA-L <logica-l@dimap.ufrn.br>
Enviadas: Fri, 23 Feb 2024 15:47:57 -0300 (BRT)
Assunto: Re: [Logica-l] Logotipo e Símbolo do Grupo de Lógica da UFBA
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/760582865.2688022.1708714383631.JavaMail.zimbra%40ufba.br.
