(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
<[email protected]>
---
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 [email protected].
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.
