Lógica Formal estabelece cumplicidades entre Paraninfo e Formandos.

A Lógica Matemática não é conjunto de conhecimentos que possa ser de alguma forma classificado como simples ou “fácil” nem mesmo nas condições mais favoráveis. Muito pelo contrário, a Lógica Matemática soma complexidades e desafios que vão se avolumando em grau de dificuldade crescente na medida em que cada vez mais se entendem as teorias sobre as quais é fundamentada.

DIAS, C. M. C. - 1999

Quem um dia estudou Lógica Matemática bem conheceu a gravidade em referência e sabe que a Lógica Matemática é um implacável “divisor de águas”.

Assim sendo, para o Professor das disciplinas de Lógica Matemática ministradas (principalmente) nos primeiros períodos dos Cursos de Graduação é sempre muito gratificante ser reverenciado como Paraninfo das Turmas de Formando.

No dia 29 de janeiro de 1999 recebia dos então ”Jovens” Formados as especiais homenagens como o Paraninfo da Turma BCC-1998/PUCPR (Turma de Formandos de 1998 do Curso de Bacharelado em Ciência da Computação da Pontifícia Universidade Católica do Paraná - PUCPR). Padrinho dos então “Jovens” Acadêmicos que dividiram comigo as grandes emoções da Lógica Matemática lá no início da Graduação em 1995 há quase trinta anos. Muito massa, muito legal.

Digitalização Foto - Convite Formatura - 1999

Que as “cumplicidades” entre Paraninfo e Afilhados sigam nos impulsionando “ao infinito e além”, muito além; para que as “alfa-premissas” condicionem validamente as “beta-conclusões”.

Carlos Magno Corrêa Dias
20/02/2022