Em 29 de janeiro de 1999, há já contados um quarto de século (25 anos), tive a satisfação de ser homenageado como Paraninfo da Turma de Formandos de 1998 do Curso de Bacharelado em Ciência da Computação da Pontifícia Universidade Católica do Paraná (Puc-PR) a Turma BCC-1998/PUCPR.
DIAS, C. M. C. - 2024
Lá no início de 1995, próximo, então, também, de se completar 30 anos (3 décadas), ministrava para os então Jovens Acadêmicos as incríveis (imprescindíveis, rigorosas, categóricas, não menos assustadoras e complexas) disciplinas de Lógica Matemática 1 e 2 tratando com rigor acadêmico e intensidade científica o formalismo (pesado, intenso) da Álgebra e dos Cálculos (Analítica) da Lógica Matemática e da Engenharia Lógica.
Todo aquele que foi meu Aluno sabe o quanto defendo que a Lógica Formal (densa, rigorosa, analítica e em nada relativa, mas apenas necessária e determinante) sempre é fundamental para a boa (adequada, na verdade) formação dos futuros Profissionais gerados nas Universidades os quais com o poder do correspondente estudo podem transformar quaisquer realidades em mundos melhores dado que “alfa premissas determinam beta conclusão” em ciclo dedutivo contínuo e constante que se estende “ao infinito e além”, muito além.
Muito bom, privilégio enorme, então, estar comemorando (com júbilo) agora em 2024 este já um quarto de século da deferência recebida como Paraninfo (Padrinho) da Turma BCC-1998-PUCPR que coroa a forte relação entre Professor e Afilhados os quais (literalmente) arrasaram no campo do raciocínio lógico formal utilizando as incríveis ferramentas para “O BEM PENSAR” da Lógica Matemática (de Primeira Ordem) tanto no Campo do Cálculo Proposicional quanto do Cálculo dos Predicados.
Carlos Magno Corrêa Dias
03/03/2024