Álgebra do Cálculo dos Predicados.

Seguindo as celebrações das ações realizadas, festejo, neste 2025, com júbilo, os quinze anos do Curso de Extensão Universitária em CÁLCULO DAS FUNÇÕES PREDICATIVAS QUANTIFICADAS EM LÓGICA MATEMÁTICA, o qual fui o proponente e organizador do projeto do curso (Projeto 10.082) e o ministrante do curso.

Realizado no Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná), no período de 26/04/2010 a 16/06/2010, o curso objetivou apresentar técnicas e procedimentos formais para a estruturação e avaliação de Funções Predicativas e de Funções Proposicionais Quantificadas formalizadas de acordo com a semântica e sintaxe do Cálculo Proposicional e do Cálculo dos Predicados em Lógica Matemática de Primeira Ordem.

DIAS, C. M. C. - 2025

No curso em referência tratei de temas tais como: Termos e Predicados em Lógica Matemática Predicativa; Instanciação de Funções Proposicionais de Várias Variáveis; Conjunto Verdade de Funções Proposicionais de Várias Variáveis; Operações Lógicas sobre Funções Proposicionais; Simplificação de Funções Proposicionais; Quantificação de Funções Predicativas; Variáveis Livres e Variáveis Aparentes; Equivalências entre Funções Quantificadas; Simplificação de Funções Proposicionais Quantificadas; bem como Análise Lógica da Teoria dos Conjuntos.

As Funções Predicativas Quantificadas são a base da Lógica de Predicados a qual é muito mais expressiva que a Lógica Proposicional dado permitir formalizar e analisar sentenças mais complexas e argumentos em Matemática, Ciência da Computação e/ou Filosofia. As Funções Predicativas Quantificadas são uma forma poderosa de expressar afirmações sobre elementos de um conjunto.

Os Predicados (ou Funções Proposicionais) correspondem às sentenças que contém uma ou mais variáveis e que se torna uma proposição (dicotômica e bivalente) quando as variáveis são substituídas por valores específicos de um determinado conjunto (chamado de domínio ou universo de discurso).

Os Quantificadores, por sua vez, são elementos que indicam a "quantidade" de elementos do domínio para os quais o predicado pode ser a Verdade (V). Os dois principais quantificadores são: (a) Quantificador Universal: "Para todo" ou "Para cada" o qual indica que o predicado será a Verdade (V) “para todos os elementos do domínio”; (b) Quantificador Existencial: "Existe um" ou "Pelo menos um" o qual indica que o predicado tem valor Verdade (V) “para pelo menos um elemento do domínio”.

Quando se combinamos as Funções Proposicionais com os Quantificadores surgem as Funções Predicativas Quantificadas, originando o Cálculo dos Predicados em Lógica Matemática. Exatamente a Álgebra deste Cálculo dos Predicados (ou Cálculo das Funções Predicativas Quantificadas) é que desenvolvi no curso aqui rememorado.

Carlos Magno Corrêa Dias
30/07/2025

Inovando em Matemática Computacional.

O ano de 2025 está repleto de celebrações sobre ações que executei desde 1980 seguindo a divulgação das realizações a cada cinco anos. Não que nos intervalos entre estes anos múltiplos de cinco não tenham ações a comemorar. Mas, a escolha da cronologia quinquenal se deve a um planejamento adotando que se julga ser a forma mais objetiva e menos intensa que tanto evita gerar uma visão limitada quanto possibilita impedir uma talvez repetição desnecessária.

As ações assim apresentadas permitem a reflexão sobre os rumos tomados e contribuem com revisões e atualizações periódicas possibilitando adaptações e mesmo mudanças caso sejam necessárias. Apresentar minhas ações de cinco em cinco anos, desde 1980, a cada ano, se consolida como prática eficaz que possibilita análise do progresso atingido em relação a metas e objetivos traçados.

Assim sendo, venho celebrando atividades de extensão conduzidas, livros ou artigos publicados, premiações e distinções recebidas, obras literárias e artísticas produzidas, cursos e palestras ministrados, eventos propostos e/ou coordenados, enfim, trabalhos realizados nas áreas de minha atuação.

Além das ações já mencionadas fui o proponente, redator ou coordenador de Projetos de Cursos de Graduação e de Pós-Graduação como é o caso do Projeto do Curso de Graduação em Bacharelado em Matemática Computacional (com opção para Licenciatura em Matemática), o qual elaborei e coordenei em julho de 1995, para desenvolvimento no CCET (Centro de Ciências Exatas e de Tecnologia) vinculado à Pró Reitoria Acadêmica da PUC-PR (Pontifícia Universidade Católica do Paraná).

DIAS, C. M. C. - 2025

O objetivo do Curso de Bacharelado em referência foi a formação do Profissional da Matemática tanto para atuar na interface entre Matemática e as Ciências Aplicadas quanto desenvolver estudos em Matemática Pura.

A correspondente proposta não pretendia ser a de mais um Curso de Informática ou de um Curso de Matemá­tica com ênfase em Informática; mas, sim, tratava-se, efetiva­mente, de um Curso de Bacharelado em Matemática compatível com a evolução tecno­lógica da época, o qual “tomava os pressupostos da Informática como um instrumento poderoso na im­plementação das soluções propostas pelas teorias da Matemática”.

O Curso foi estruturado para “proporcionar ao educando uma formação sólida e completa quanto ao desenvolvimento do conhecimento matemático e o processo de modelagem em Matemática para a resolução de problemas do mundo real”. O curso foi pensado para “capacitar o educando não somente a utilizar produtos oriundos da Matemática como, também, a projetar e executar mecanismos de otimização dos modelos ma­temáticos implementados através de métodos e técnicas da Informática”; tendo-se, ainda, a opção de se cursar um quinto ano de estudos o qual habilitava legalmente o graduado para exercer o Magis­tério de Matemática e Informática no Primeiro e Segundo Graus do Ensino.

Carlos Magno Corrêa Dias
29/07/2025

Idiotice frente à dor da demência.

Se faz até graça (ridícula, é claro) com a senilidade (caduquice) das pessoas mais velhas; embora a demência (sempre cruel e implacável) sofrida pelos idosos é algo muito triste e doloroso.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa dias
28/07/2025

SBPC divulga “Compêndios de Matemática e Lógica Matemática”.

Seguindo a sequência de celebrações, recordo e festejo a publicação no Jornal da Ciência (JC E-mail), da SBPC (Sociedade Brasileira para o Progresso da Ciência), de 20 de julho de 2000, do texto com o título ““Compêndios de Matemática e Lógica Matemática: Uma Abordagem Extemporânea”, livro de Carlos Magno Corrêa Dias”, no qual é divulgado meu livro “Compêndios de Matemática e Lógica Matemática: Uma Abordagem Extemporânea” (ISBN: 85-900661-4-2).

DIAS, C. M. C. - 2025

No artigo em referência, a SBPC, elogiando a publicação de meus "Compêndios de Matemática e Lógica Matemática: Uma Abordagem Extemporânea", menciona, também, minha atuação como Professor do Centro de Ciências Exatas e de Tecnologia (CCET) da PUC-PR (Pontifícia Universidade Católica do Paraná).

Naquele artigo do Jornal da Ciência da SBPC é observado que aquele meu livro oferece uma perspectiva única sobre Matemática e Lógica Matemática tratando textos selecionados e distintos que abordam tanto temas técnicos quanto tópicos históricos e filosóficos ligados à Matemática e à Lógica Matemática.

É afirmado na publicação que "Compêndios de Matemática e Lógica Matemática: Uma Abordagem Extemporânea" (obra que elaborei, editei e publiquei) se diferenciava pela forma de abordagem não tradicional (“extemporânea”), apresentando ponderações sobre diversos temas ligados à Matemática e/ou à Lógica Matemática sem a preocupação de seguir uma sequência rígida de exposição ou um encadeamento sistemático, algo comum em livros sobre Matemática e/ou Lógica convencionais.

"Compêndios de Matemática e Lógica Matemática: Uma Abordagem Extemporânea", segundo aposto no corpo do artigo em referência, é “obra destinada a todos que, em certa medida, se interessam por assuntos relacionados à Matemática e à Lógica Matemática” independentemente de sua formação ou área de foco específica.

Neste 2025, completam-se, então, um quarto de século, vinte e cinco anos, da publicação no Jornal da Ciência da SBPC do artigo em questão; seguindo-se, paralelamente, mais de duas décadas e meia (25 anos) da edição da obra divulgada.

Como pretendido o objetivo da obra sempre foi “o de apresentar um conjunto geral de observações que possa ser utilizado [extemporaneamente] pelo Estudante Universitário em disciplinas introdutórias sobre Lógica Matemática e Filosofia da Matemática” estimulando “a natural curiosidade do Aluno na busca do aprofundamento de determinadas questões ligadas aos temas veiculados”.

As edições de “Compêndios de Matemática e Lógica Matemática: Uma Abordagem Extemporânea" estão esgotadas. Todavia, até atualmente, a obra segue sendo inolvidável (bem como inovadora) e vem chamando seguidamente interessados; o que, possibilita pensar em uma nova edição do livro na sequência para completar as correspondentes celebrações.

Carlos Magno Corrêa Dias
27/07/2025

Diário Popular divulga “Transformadas” na PUC-PR.

Embora estivessem, em 1995, programados em disciplinas de Cálculo Diferencial e Integral conteúdos associados às Transformadas de Laplace, de Fourier e Z (em Variáveis Complexas), para muitos Acadêmicos dos Cursos de Ciências Exatas e de Tecnologia eram ainda “desconhecidos” ou, para outros tantos, exigia-se uma atualização; motivo pelo qual organizei e coordenei o “II Ciclo de Palestras sobre a Matemática” com o tema “Transformadas e suas Aplicações”.

O evento foi divulgado em distintos jornais da época tais como no Jornal Diário Popular que publicou matéria com o título “Palestras sobre a matemática”, em edição veiculada no período de 4 a 5 de junho de 1995, que apresentava o evento em seus detalhes para a Sociedade.

DIAS, C. M. C. - 2025

Foi tornando público naquele jornal que o Centro de Ciências Exatas e de Tecnologias (CCET) da Pontifícia Universidade Católica do Paraná (PUC-PR) estava ofertando a segunda edição do “Ciclo de Palestras sobre a Matemática” que trataria da Estruturação e Aplicações das Transformadas de Laplace, de Fourier e Z.

Na correspondente matéria de divulgação o Diária Popular menciona que, de acordo com minha posição, “O estudo das Transformadas de Laplace, Fourier e Z forma o mais fantástico conjunto de informações para a otimização da solução de inúmeros problemas vivenciados no dia a dia quanto à modelagem matemática”.

O texto colocava, também, que durante o II Ciclo de Palestras sobre a Matemática da PUC-PR seriam proferidas conferências sobre as Transformadas aplicadas à solução de problemas do mundo real; problemas aqueles, em particular associados às Engenharias, Física e Computação; ressaltando ser aquela uma oportunidade única para Estudantes, Engenheiros e Profissionais em geral que desejam receber informações correspondentes de forma sistematizada.

Após discriminar as palestras que comporiam o evento, das quais “Sistematização das Transformadas de Laplace” e “Aplicações das Transformadas de Laplace” apresentei, a correspondente matéria do Diário Popular colocou em evidência minha fala sobre as muitas e distintas aplicações das Equações Diferenciais que podem ser resolvidas por intermédio das Transformadas.

O “II Ciclo de Palestras sobre a Matemática: Transformadas e suas Aplicações”, foi pensado desenvolvido com o necessário rigor científico partindo-se do pressuposto que ou ouvintes detinham fortemente a base de Cálculo Diferencial e Integral exigida para tratar as complexidades envolvidas no tratamento das Transformadas de Laplace, Transformadas de Fourier e Transformadas Z.

O evento em referência foi um sucesso na opinião dos participantes e segundo sequência de reportagens apresentadas em Jornais da época sejam eles públicos ou institucionais como Gazeta do Povo (“Matemática Aplicada é o Tema de Ciclo de Palestras na Universidade Católica”), VIDA UNIVERSITÁRIA da Puc-PR (“Ciclo de Palestras sobre Matemática”), por exemplo.

Carlos Magno Corrêa Dias
26/07/2025

Comemorando a escrita.

Em 25 de julho celebra-se o DIA NACIONAL DO ESCRITOR. A data foi instituída em 25 de julho de 1960 quando da realização do Primeiro Festival do Escritor Brasileiro.

Sempre é uma satisfação celebrar o DIA NACIONAL DO ESCRITOR dada a importância atemporal da escrita na aprendizagem, na cultura e no avanço das Nações.

A escrita é mais do que uma ferramenta; é um pilar fundamental para o educar e para o aprendizado, para a preservação cultural, para o progresso e para o desenvolvimento.

“Cada livro é um universo de possibilidades, um convite à reflexão e uma semente para o futuro”. O escrever gera um mundo de possibilidades e de reflexões.

No DIA NACIONAL DO ESCRITOR comemore-se arte da palavra, a arte do escrever.

DIAS, C. M. C. - 2025

Ler é prazer apenas superado pelo escrever.

Se temos que escrever, escrevamos livros.

Carlos Magno Corrêa Dias
25/07/2025

Lógica Matemática no Cefet-PR.

Outros trinta anos são transcorridos a partir de divulgação de trabalhos meus realizados em favor da ampliação do saber e/ou do conhecimento.

Há mais de três décadas passados, na edição de janeiro de 1995 do Jornal NOSSO JORNAL do Centro Federal de Educação Tecnológica do Paraná (Cefet-PR), na página 5, do número 35, era apresentado, com o título “Lógica Matemática é tema de palestra”, artigo no qual se divulgava a palestra “Lógica Matemática: Considerações sobre a Teoria da Argumentação” que proferi durante o "Ciclo de Palestras do Departamento de Ensino Superior do Centro Federal de Educação Tecnológica do Paraná" (realizado em 10 de novembro de 1994).

DIAS, C. M. C. - 2025 

Durante aquela palestra apresentei “Sistematização da Semântica e a Sintaxe da Linguagem Simbólica do Cálculo Sentencial”, bem como “Estruturação da Álgebra Proposicional para o estabelecimento de Métodos e Técnicas necessários para a avaliação de raciocínios analíticos a partir da Análise Inferencial e da Teoria da Argumentação”.

Conforme evidenciou o NOSSO JORNAL minha palestra, qualificada com grau aprofundado e de rigor técnico, objetivando o “estabelecimento de métodos e técnicas necessários para a avaliação de raciocínios analíticos, fundamenta na Análise Inferencial e na Teoria da Argumentação”; mostrou a preocupação da Instituição (a sempre TECNOLÓGICA) em buscar proficiência na área da Lógica Matemática.

Conforme informado naquela edição do NOSSO JORNAL, minha palestra “Lógica Matemática: considerações sobre a Teoria da Argumentação” foi dirigida aos Estudantes dos Cursos de Ensino Superior e de Pós-Graduação do Cefet-PR para tanto evidenciar a ligação entre a Matemática e a Lógica quanto para evidenciar que a Lógica Matemática é imprescindível para o “bem pensar” na área das Extas e das Tecnologias também.

Como deixado evidente ao longo do texto apresentado naquela edição do NOSSO JORNAL, o Cálculo Proposicional, da Lógica Matemática de Primeira Ordem, muito pode auxiliar na geração de resultados consistentes na tomada de decisão que envolve raciocínios dedutivos.

Conforme a notícia em referência, minha apresentação levou em conta, também, como, efetivamente, corrigir, por meio de técnicas e métodos da Lógica Matemática, os argumentos mal formulados ou falaciosos que são, em várias das vezes, pressupostos para a geração de falhas na área das Ciências Exatas.

O texto do artigo de divulgação “Lógica Matemática é tema de palestra” (LÓGICA MATEMÁTICA É TEMA DE PALESTRA. Nosso Jornal do Cefet-PR, Curitiba, n. 35, p. 5, jan. 1995), insistindo na importância das “ferramentas” que apresentei e tratei formalmente na exposição, é encerrado chamando a atenção para minha posição: “Se as disciplinas ligadas à Matemática fossem ensinadas com o uso da Lógica, a aprendizagem seria muito mais eficiente”.

Carlos Magno Corrêa Dias
24/07/2025

Reflexão sobre os Fundamentos da Matemática na PUC-PR.

Com o título “PUC discute fundamentos da matemática” foi publicado no Jornal Correio Paranaense, na página 2, circulado fisicamente em papel no período de 23 a 30 de abril de 1995, artigo que apresenta algumas de minhas posições sobre o Ensino-Aprendizagem da Matemática as quais se mostram, notavelmente atuais, mesmo mais de três décadas após sua veiculação.

DIAS, C. M. C. - 2025

Tomando-se por base minhas aulas de Lógica Matemática ministradas no Curso de Licenciatura em Matemática, do Departamento de Matemática e Física, do Centro de Ciências Exatas e de Tecnologia, da PUC-PR (Pontifícia Universidade Católica do Paraná), o texto em questão procurou captar minhas perspectivas, abordando os pressupostos filosóficos e lógicos que defendo e que influenciam sobremaneira o desenvolvimento das Ciências Matemáticas.

O artigo leva em conta minha postura de evidenciar a compreensão de que “a responsabilidade pelo aprendizado deve ser compartilhada” e que deficiências no sistema ou nas metodologias de Ensino-Aprendizagem podem ser tão determinantes quanto a dedicação individual do Estudante.

O texto destaca minha posição categórica sobre considerar que falhas no processo de Ensino-Aprendizagem da Matemática existem em decorrência da conjunção entre a carência de incentivos e a falta de condições para o desenvolvimento de métodos e técnicas pedagógicas eficazes; ressaltando que os sistemas de disseminação dos conteúdos “transforma como a Matemática é apresentada e a ausência de contextualização ou aplicação prática podem desestimular o interesse dos Estudantes”.

É afirmado, também, segundo meu parecer, que “o labor matemático e a investigação dos fundamentos lógicos exigem um caminho árduo e complexo"; ressaltando que “perseverança, empenho e dedicação” são qualidades indispensáveis para quem busca compreender a essência das Ciências Matemáticas.

De forma geral, o artigo traz minha perspectiva de se reconhecer que tanto a necessidade de um Sistema de Ensino-Aprendizagem da Matemática mais eficaz quanto a intrínseca dificuldade da disciplina demanda, inevitavelmente, esforço do Estudante e bom entendimento sobre as causas históricas e conjunturais das falhas na difusão da Matemática por parte dos Professores.

É apresentada, ainda, minha defesa que as deficiências verificadas não se devem apenas à competência dos profissionais, mas têm suas origens na "conjuntura científica do país" dado que, historicamente, ao se lidar com a Matemática se relega a um segundo plano, ou mesmo se abandona completamente, os estudos sobre os fundamentos e as questões norteadoras da Matemática. Uma abordagem mais holística que considere tanto os aspectos pedagógicos quanto os sistêmicos e históricos sempre será fundamental.

Carlos Magno Corrêa Dias
23/07/2025

Doença incurável assola mentes insensíveis. (BIS)

Se a dor de um semelhante seu não lhe incomoda, então sua doença já o transformou em um monstro e você não tem tratamento algum quanto mais uma cura.

DIAS, C. M. C. - 2020

Carlos Magno Corrêa Dias
22/07/2025

CARIDADE é apenas uma virtude essencial.

Em 19 de julho passado, ocorreu o DIA NACIONAL DA CARIDADE de 2025; data criada pela Lei número 5.063, de 4 de julho de 1966, visando difundir e incentivar a conscientização sobre a CARIDADE para a prática da solidariedade e a busca por um bom entendimento entre as pessoas.

“CARIDADE é muito mais do que apenas dar dinheiro ou bens materiais. É uma virtude que envolve o amor desinteressado ao próximo, a compaixão e a boa vontade. Essencialmente, é a prática de ajudar quem precisa, seja por meio de apoio material, emocional, espiritual ou de qualquer outra forma que alivie o sofrimento ou promova o bem-estar de outra pessoa”.

Estar-se-á praticando a CARIDADE quando se contribui para a construção de uma sociedade mais justa, solidária e humana. A CARIDADE “fortalece os laços comunitários, promove a igualdade, alivia o sofrimento e inspira esperança. Para quem pratica, a CARIDADE traz um senso de propósito, felicidade e bem-estar, reforçando a conexão com a humanidade”.

DIAS, C. M. C. - 2025

Assim sendo, praticar a CARIDADE não é apenas doar dinheiro, roupas, alimentos ou outros itens materiais. O Voluntariado é, também, uma forma importante de se exercitar a CARIDADE ao se dedicar tempo (sempre precioso) e esforço para ajudar em projetos sociais, hospitais, escolas ou ONGs.

O apoio emocional oferecendo atenção para ouvir e dar suporte a alguém que esteja passando por dificuldades é um ato de CARIDAE. Como o é o compartilhamento de conhecimento quando se ensina, mentora ou orienta alguém que busca aprender ou se desenvolver.

A gentileza e o respeito ao se tratar todas as pessoas com dignidade, consideração e empatia, independentemente de suas diferenças, crenças, ou formas de pensar, são, também, maneiras fundamentais de se praticar a CARIDADE.

Como pensava Francisco de Assis, batizado como Giovanni di Pietro di Bernardone (1182-1226), “O homem deve ter a coragem da partilha”.

DIAS, C. M. C. - 2025

Madre Teresa de Calcutá, nascida Anjezë Gonxhe Bojaxhiu (1910-1997), mostrou que “CARIDADE não é apenas um ato de dar, mas sim uma expressão profunda de amor. O importante não é o que se dá, mas o amor com que se dá".

DIAS, C. M. C. - 2025

Conforme ensinou, também, o Papa Bento XVI (Benedictus P.P. XVI), cujo nome original era Joseph Aloisius Ratzinger (1927-2022), "O Amor supera a Justiça. Justiça é dar ao outro o que já é dele. Amor é dar ao outro o que é meu”.

DIAS, C. M. C. - 2025 

Todavia, embora a CARIDADE exija beneficiar o próximo necessitado de alguma forma (sem almejar retorno algum em troca e sem utilizar qualquer forma de autopromoção), enquanto se lê este texto muitos seres humanos necessitados estão padecendo e morrendo ou de fome ou de frio. Nos próximos minutos outros muitos seres humanos continuarão a morrer ou de fome ou de frio.

Então, se puder, ajude o próximo “necessitado” como for possível. Pratique a CARIDADE em quaisquer de seus inúmeros sentidos.

Carlos Magno Corrêa Dias
21/07/2025

Mestre dos Ares é divisor de realidades.

Em 20 de julho de 1873 nascia aquele que seria o “Mestre dos Ares e o Engenheiro da Aviação Prática”. Em 20/07/1873 nasceu o fantástico Aeronauta Alberto Santos Dumont (1873-1932); um gênio muito além de seu tempo.

Inventor por excelência, dos homens mais inovadores que a história já conheceu, o brasileiro Alberto Santos Dumont foi o primeiro Aeronauta a cumprir um circuito pré-estabelecido conduzindo um balão dirigível (um aeróstato, ou aeronave mais leve que o ar) com motor a gasolina, na presença de testemunhas e com registro oficial.

Seu feito pioneiro realizado em 19 de outubro de 1901 com o seu dirigível “Número 6” lhe rendeu o reconhecimento da Fédération Aéronautique Internationale (FAI) e o Prêmio Deutsch.

DIAS, C. M. C. - 2025

O Prêmio Deutsch foi lançado em 01/05/1900 e destinou cem mil francos à primeira pessoa que conseguisse voar do Parque Saint-Cloud (em Paris, França) até a Torre Eiffel (em Paris, França), sobrevoando o Rio Sena, e retornar em menos de 30 minutos com um balão dirigível. Albert Santos Dumont deu a metade do Prêmio Deutsch para sua Equipe e a outra metade para os pobres de Paris.

O fantástico Albert Santos Dumont é um marco na história da aviação e é seu divisor criando um período antes de Albert Santos Dumont e outro depois de Albert Santos Dumont.

Alberto Santos Dumont é o inventor da primeira AERONAVE DIRIGÍVEL PRÁTICA. Depois de sua invenção os homens seguiram seus passos criando no campo da aviação e tanto os aeróstatos quanto os aerodinos (aeronaves mais pesadas que o ar) puderam voar pelos céus enfim.

“A partir Albert Santos Dumont tudo em aviação é apenas uma simples consequência como a ida à Lua, à Marte, ao Espaço”.

No dia 20/07/1969 a tripulação da Apollo 11 realiza o primeiro pouso tripulado na Lua no Mar da Tranquilidade. No dia 20/07/1976 a sonda da nave Viking 1 aterrissou no solo de Marte. Acontecimentos estes apenas possíveis após a invenção de Albert Santos Dumont. Ressalte-se o dia e o mês de tais acontecimentos.

DIAS, C. M. C. - 2024

Alberto Santos Dumont foi reconhecido pela Força Aérea Brasileira (FAB) como Marechal do Ar em 22/09/1955 (o posto mais elevado da FAB). A FAB mantém o nome de Alberto Santos Dumont no Almanaque de Heróis do Ministério da Aeronáutica celebrando seu legado e concedendo a Medalha Mérito Santos-Dumont a qual objetiva galardoar aqueles que tenham prestado relevantes serviços à FAB ou que tenham dado contribuições significativas para o desenvolvimento e promoção da aviação.

Quando das celebrações dos 150 nos de nascimento de Alberto Santos Dumont, com o título “Celebrando o Mestre dos Ares e o Engenheiro da Aviação Prática”, publicou-se o artigo no qual presto homenagens ao formidável Alberto Santos Dumont apresentando um breve relato sobre suas incríveis conquistas. O texto está disponível nos endereços https://tinyurl.com/245jmrst e https://tinyurl.com/54reuxhm.

Carlos Magno Corrêa Dias
20/07/2025

Dias dos Veteranos.

Em 16 de julho de 1945, o Brasil recebeu de volta os primeiros Heróis do Primeiro Grupo de Aviação de Caça (1ºGAvCa) da Força Aérea Brasileira (FAB) que viveram os horrores da Segunda Guerra Mundial.

Em 18 de julho de 1945, o mesmo Brasil recebeu os primeiros Heróis da Força Expedicionária Brasileira (FEB) que, também, viveram os horrores da Segunda Guerra Mundial.

Cada uma daquelas chegadas foi marcada por celebrações intensas que refletiam o orgulho de uma Nação ao recepcionar seus bravos combatentes que participavam daquela descomunal Segunda Guerra Mundial na qual milhões de pessoas perderam suas vidas e bens incalculáveis da humanidade foram destruídos.

A cada 16 de julho passou-se a celebrar o “Dia do Veterano da Força Aérea Brasileira” a partir de 20 de fevereiro de 2020 por meio da Portaria número 200/GC3 do Comando da Aeronáutica (COMAER).

Pela Portaria do Comandante do Exército número 1.762, de 10 de junho de 2022, passou-se a comemorar em 18 de julho o “Dia do Veterano do Exército Brasileiro”.

Assim sendo, 16 e 18 de julho mais que datas comemorativas são dias de se homenagear todos os homens e mulheres que serviram ao Brasil defendendo a liberdade da humanidade nos gelados e difíceis campos sangrentos de batalha da Itália na Segunda Guerra Mundial.

DIAS, C. M. C. - 2025

As datas devem lembrar, também, os Heróis da Marinha do Brasil que atuaram bravamente no Atlântico Sul tanto escoltando navios aliados quanto enfrentaram bravamente submarinos inimigos e garantiram o abastecimento essencial para o esforço de guerra. Muitos Marinheiros do Brasil perderam suas vidas defendo a Pátria de ataques inimigos seja na costa ou em alto mar.

Passados mais de 80 anos (mais de oito décadas) do retorno daqueles Heróis Imortais, pouquíssimos ainda vivos, sempre o respeito e as lembranças. Cada homenagem sempre será pouca pelo tudo que fizeram. “Que cada brasileiro se reconheça herdeiro da coragem dos Heróis imortais que participaram da Segunda Guerra Mundial, sejam eles da Marinha, do Exército ou da Aeronáutica. Que a história jamais se permita esquecê-los”.

Conforme afirmou (sabiamente) um Veterano da FEB, "Não lutávamos só por uma guerra, mas pela esperança de um mundo melhor".

Carlos Magno Corrêa Dias
19/07/2025

Análise Inferencial para o bem deduzir.

Vez ou outra somos chamados a mudar estratégias definidas tendo em vista ocorrências que vão surgindo no meio do caminho traçado previamente. Tal é o caso do rememorar as atividades realizadas nos 5, 10, 15, 20, 25, 30, 35, 40, 45, ..., anos passados que venho apresentando neste 2025.

Inicialmente, seguia a cronologia dos fatos apresentando observações sobre trabalhos realizados (especificamente) entre os anos de 1980 até 2020, me pautando em relatar (comemorar) as realizações a cada cinco anos naquele período.

Entretanto, na medida que vou celebrando as atividades realizadas nos últimos cinco, dez, quinze, vinte, vinte e cinco, trinta, trinta e cinco, quarenta, quarenta e cinco anos passados, me deparo com atividades executadas entre as datas consideradas que merecem ser relembradas também; como é o caso, por exemplo, do Curso de Extensão Universitária em “CÁLCULO PROPOSICIONAL EM LÓGICA MATEMÁTICA INFERENCIAL DEDUTIVA”.

DIAS, C. M. C. - 2025

O curso em referência, o qual propus, coordenei e ministrei de 14/05/2014 a 30/07/2014, foi um marco inolvidável haja vista ter sido Atividade de Extensão que se obrigou ser realizada em paralelo ao Curso de Extensão Universitária intitulado “CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL” que ministrei para Acadêmicos das Engenharias do Sistema UTFPR (Universidade Tecnológica Federal do Paraná) no período de 12/05/2014 a 28/07/2014.

DIAS, C. M. C. - 2014

Rapidamente o número de vagas disponíveis para o Curso em “CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL” foi preenchido e se criou uma “lista de espera” com mais do dobro de interessados exigindo a abertura de nova turma.

Os Cursos de Extensão Universitária em “CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL” e em “CÁLCULO PROPOSICIONAL EM LÓGICA MATEMÁTICA INFERENCIAL DEDUTIVA” objetivaram apresentar, de forma sistematizada, o Cálculo Proposicional (ou Cálculo dos Enunciados) e a Álgebra da Lógica instituídos em Lógica Matemática Dedutiva de Primeira Ordem necessários para o desenvolvimento de Métodos e Técnicas que permitissem a Avaliação Formal da Validade e da Consistência de Raciocínios Dedutivos estruturados como Argumentos (em geral) ou Inferências (em particular).

DIAS, C. M. C. - 2014

Também foi apresentado, em ambos os cursos, Procedimentos Técnicos de Decisão Semânticos e Sintáticos desenvolvidos em Análise Lógica Inferencial e Teoria da Argumentação Lógica necessários para a Demonstração Formal e Dedutiva de teoremas quaisquer.

Entretanto, no segundo curso, a pedido dos próprios inscritos, foram apresentadas considerações técnicas (bem específicas) sobre questões relacionadas à Lógica Reversa ou à Recursão Lógica.

Neste 2025 celebro, então, com júbilo e satisfação, os mais de dez anos do sucesso da edição daqueles dois cursos que além inovadores promoveram sequências de estudos que perduram até hoje.

Carlos Magno Corrêa Dias
18/07/2025

O “Guri” segue galopando na Galeria dos Imortais.

No início deste ano de 2025, em 07/02/2025, tive o privilégio de apresentar cumprimentos ao Herói Elmo Diniz um dos excelentes ex-Combatentes Cobra Fumante da FEB (Força Expedicionária Brasileira) que atuou bravamente durante a Segunda Guerra Mundial e que em 04/02/2025 completava seus 103 anos de vida.

Hoje, com tristeza, recebo a notícia sobre o falecimento, em Porto Alegre (RS), do Veterano Capitão Elmo Diniz, ocorrida no último dia 14/07/2025, o qual a partir de então passa a iluminar a Galeria dos Heróis Imortais da Pátria.

DIAS, C. M. C. - 2025

Todos aqueles que tiveram a honra de conhecer o formidável Pracinha Elmo Diniz bem o sabem o quanto lúcido e bondoso foi o homem Elmo Diniz natural de Cruz Alta (RS). O “Guri” da Estação Lagoão contagiava a todos com a sua vitalidade, alegria e senso de dever cumprido, sempre rememorando, com respeito, os feitos heroicos dos colegas de farda combatentes nas batalhas vividas nos campos gelados da Itália na Segunda Guerra Mundial. Seu exemplo de coragem, determinação e amor à Pátria seguirá inspirando gerações futuras.

O gaúcho Elmo Diniz iniciou sua carreira militar em 02/05/1939 alistando-se no então 6º Regimento de Artilharia Montada (6º RAM), o atual 29º GAC AP (Grupo de Artilharia de Campanha Autopropulsado) conhecido como “Grupo Humaitá”. Elmo Diniz, como 2º Sargento, incorporou o 4º Escalão da FEB que foi para a guerra na Itália. 

De volta ao Brasil Elmo Diniz seguiu carreira no então Quartel-General da Artilharia Divisionária da 3ª Divisão de Infantaria, atual Artilharia Divisionária da 3ª Divisão de Exército (AD/3). Em 1948, de volta ao 6º RAM, foi promovido à 1º Sargento e Subtenente. Em 06/01/1954, torna-se 2º Tenente. Em 28/12/1962, reconhecido pelos serviços prestados ao Exército do Brasil e como exemplo a ser seguido, o FEBiano Elmo Diniz foi promovido a Capitão. Também atuou junto ao Instituto Brasileiro de Geografia e Estatística (IBGE), contribuindo no mapeamento fotográfico do Brasil.

Em 01/08/2024, em Cruz Alta, o 29º GAC AP inaugurou a “Biblioteca Capitão FEB Elmo Diniz” na qual é possível conhecer tanto a história do Forte Humaitá quanto a história do Capitão Elmo Diniz o qual dentre as honrarias recebeu, em 19/04/1954, a Medalha do Pacificador devido à qualidade de seu trabalho em favor do serviço militar.

Em março de 2025, o Pracinha Elmo Diniz foi homenageado na ponte móvel instalada entre os municípios de Lajeado (RS) e Arroio do Meio (RS), durante a Operação Taquari 2 devido a sua forte ligação com a Engenharia do Exército do Brasil.

Merecedor de todas as honrarias, ícone do Grupo Humaitá, o imortal Capitão Elmo Diniz segue agora “galopando” (como o fazia pelos campos do Lagoão) pela Galeria dos Imortais da Pátria.

Hurra! Hurra! Hurra! Salve, Salve! Salve! Salve Cobra Fumante Pracinha FEBiano Herói Imortal Capitão Elmo Diniz.

Carlos Magno Corrêa Dias

17/07/2025

Dominação em Matemática.

Ontem, 15/07/2025, por meio do artigo de título “Softwares Algébricos no ensino do Cálculo”, fiz rememorar o capítulo da obra “Tecnologia na Construção Civil e Matemática Aplicada” (ISBN: 85-72920-77-3), no qual está apresentado meu artigo intitulado “Gráficos em 2D e 3D através do MAPLE V”, lá publicado há mais de duas décadas atrás pela Editora Champagnat.

Mas, naquele mesmo livro existe um segundo artigo meu publicado, também, como capítulo na seção “Matemática Aplicada”. Assim, aproveito para relembrar o particular texto em referência intitulado “Dominação em Matemática”, desenvolvido nas páginas de 119 até 133.

DIAS, C. M. C. - 2025

A partir de meus estudos sobre a “Lógica da Teoria dos Conjuntos” me deparei com a instigante “Relação de Dominação em Matemática”; a qual, para a maioria, é totalmente desconhecida, embora seja, apenas, essencial para se demonstrar Teoremas Fundamentais da Teoria dos Conjuntos como são os casos (particulares) das comprovações formais do “Teorema de Schröder-Bernstein” e do “Teorema de Cantor”.

No artigo trato tópicos relacionados com a “Relação de Dominação em Matemática” e com base nela demonstro o “Teorema de Schröder-Bernstein” e o “Teorema de Cantor”. Apresento, também, questões gerais objetivas sobre os Números Cardinais e os Números Ordinais, bem como sobre Conjuntos Infinitos.

Embora seja um assunto “elementar” (fundamental) desde aquela época, ainda atualmente parece envolver alguns mistérios. Todavia, é básico: os números naturais podem ser tomados como “régua” para medir o “tamanho" dos conjuntos, especialmente os conjuntos infinitos.

Os números naturais (1, 2, 3, ...) podem ser usados para comparar o "tamanho" de conjuntos, incluindo conjuntos infinitos. Tal comparação é feita mediante a noção de correspondência biunívoca, onde cada elemento de um conjunto pode ser associado a um único elemento de outro conjunto, e vice-versa. Se dois conjuntos, porém, podem ser colocados em correspondência biunívoca, eles têm o mesmo "tamanho".

A Relação de Dominação em Matemática estabelece que existe uma função injetora de A em B; o que, em termos mais simples, significa afirmar que o conjunto A tem "no máximo" o mesmo número de elementos que o conjunto B. Mas, se existe uma bijeção entre A e B, diz-se que os conjuntos são equipotentes.

A demonstração do “Teorema de Schröder-Bernstein” evolve um processo um tanto intrincado, não podendo ser classificado como “trivial”; entretanto afirma que se um conjunto A domina um conjunto B ao mesmo tempo que o conjunto B domina o conjunto A, então os conjuntos A e B são equipotentes. Assim, se existe uma função injetora de A em B e uma função injetora de B em A, então existe uma função bijetora entre A e B. Minha demonstração, também, em nada trivial, considera uma partição dos conjuntos envolvidos de forma a ser possível a construção da bijeção desejada.

Carlos Magno Corrêa Dias
16/07/2025

Softwares Algébricos no ensino do Cálculo.

No início dos anos 2000, o Maple V era um dos principais Softwares Algébricos disponíveis. Já considerado uma ferramenta poderosa para Computação Gráfica, Numérica e Simbólica, o Maple V passava a ser uma opção interessante para resolver amplamente uma vasta gama de problemas matemáticos.

Oferecendo um conjunto robusto de funcionalidades as quais incluíam soluções em Cálculo Simbólico, Cálculo Diferencial e Integral; Álgebra Linear e Vetorial; bem como sendo capaz gerar Gráficos em 2D e em 3D (gráficos de funções em duas e três dimensões); o Maple V oferecia, também, ferramentas para Matemática Financeira e Estatística; possuindo uma Linguagem de Programação própria e “descomplicada”.

Embora no cenário dos Softwares Algébricos figurassem nomes fortes (comerciais) como Mathematica, MATLAB, Derive, MuPAD, tanto o Maple V (também comercial e uma ferramenta de ponta para a Computação Matemática) e o Maxima (Gratuito/“Open Source”) começavam a se despontar. O Maple V, por sua vez, dotado de amplas capacidades simbólicas, numéricas e gráficas, se apresentava como uma escolha mais popular para estudantes, pesquisadores e profissionais nas áreas das Ciências Exatas.

Havia, entretanto, uma rivalidade intensa entre o Maple e o Mathematica, principalmente dentro das Academias. Enquanto o foco do Maple V era a computação simbólica pura com uma simplicidade de sintaxe para matemática padrão e ferramentas de aprendizado passo a passo; o uso do Mathematica era priorizado devido à qualidade de visualização, por possuir uma plataforma mais integrada para diferentes tipos de computação (simbólica, numérica, gráfica) e por ter uma abordagem de programação funcional.

Exatamente pela facilidade de uso, com uma interface mais próxima do “pensar” humano e da linguagem matemática, com comandos mais simples que tornavam a relação homem-máquina “mais amigável”, sempre incentivei o uso do Maple V na manipulção do Cálculo Diferencial e Integral; o que, diga-se, de passagem, causou algum “furor” (não tanto pelo uso do Maple V, mas por instigar os Acadêmicos a usarem Softwares Algébricos naquela época).

Para mostrar as possibilidades de utilização do Maple V nas disciplinas de Cálculo Diferencial e Integral, enquanto Professor do Departamento de Matemática e Física, do Centro de Ciências Exatas e de Tecnologia, da Puc-PR (Pontifícia Universidade Católica do Paraná), escrevi e foi publicado o meu artigo intitulado “Gráficos em 2D e 3D através do MAPLE V”, no livro Tecnologia na Construção Civil e Matemática Aplicada, da Série Coleção Exatas, com ISBN 85-72920-77-3.

DIAS, C. M. C. - 2025

O principal objetivo daquele artigo, publicado há mais de duas décadas, era divulgar a importância de se utilizar o Software Algébrico Maple V como ferramenta para bem representar graficamente funções matemáticas no Plano (2D) e no Espaço (3D), bem como para melhor conhecer as estruturas de quaisquer funções.

Carlos Magno Corrêa Dias
15/07/2025

Imortal avança perpetuando seu exemplo.

“Acho que a esperança é a última que morre, por isso, eu vou ter essa esperança”, segue dizendo o Cobra Fumante, Pracinha, FEBiano, Herói Imortal, Nestor da Silva, nascido em Lagoa Santa (MG), no dia 13 de junho de 1917, que neste julho de 2025 completou seus 108 (cento e oito) anos de idade, ex-Combatente linha de frente da FEB (Força Expedicionária Brasileira) durante a Segunda Guerra Mundial.

DIAS, C. M. C. - 2025

O Tenente-Coronel Nestor da Silva comandou mais de 20 (vinte) patrulhas nas linhas inimigas, integrou o 10º Regimento de Infantaria em Belo Horizonte (MG), o 11º Batalhão de Infantaria (11 Bi) em São João Del Rei (MG) uma das unidades da FEB, bem como fez parte da Brigada de Infantaria de Paraquedistas (composta de soldados voluntários e considerada de elite), do 11º Batalhão de Infantaria de Montanha (unidade de elite do Exército Brasileiro especializada em combate em ambiente de montanha) e do Estado Maior do Exército do Brasil.

Reconhecido pelo Exército Verde-Oliva do Brasil como Herói Imortal da Humanidade, o Tenente Coronel Nestor da Silva é inspiração, símbolo, estímulo e referência para diversas gerações tendo em vista os diversos atos de heroísmo, coragem, patriotismo e excelentes serviços prestados durante a guerra e depois como militar da ativa do Exército do Brasil.

Homem de uma simpatia única e de vitalidade lúcida incrível o centenário FEBiano Nestor da Silva sempre foi exemplo e inspiração para os mais novos. Seu legado inspira gerações. Sua conduta é exemplo notável. Seu patriotismo é contagiante.

Hurra! Hurra! Hurra! Salve, Salve! Salve Herói da FEB, do Brasil e do Mundo, Nestor da Silva que fez a COBRA FUMAR e ajudou a acabar com a insana Segunda Guerra Mundial.

Carlos Magno Corrêa Dias
14/07/2025

Sempre uma reflexão sobre a condição humana.

Em 13 de julho, deste 2025, celebre-se, uma vez mais, o DIA DO ROCK.

Debaixo de todas as caras e feições existe sempre uma CAVEIRA que (sem rosto, sem identidade) continuará sorrindo sarcasticamente independentemente das ridículas diferenças que venhamos criar entre nós.

DIAS, C. M. C.

A efemeridade da vida e a universalidade da morte são representadas na imagem da CAVEIRA a qual “sorrindo” (sempre) “sarcasticamente” por trás de todas as "caras e feições" é um convite que chama considerações que ressoam na própria essência da existência humana.

Venho repetindo, precisamente a cada dia 13 de julho, a reflexão do segundo parágrafo precedente a qual segue sendo uma perspectiva que toma a CAVEIRA (indissociada do ROCK), despida de qualquer traço de individualização, como um lembrete de que, no fim, todos os humanos são iguais. As distinções sociais, raciais, econômicas, morais, culturais, ou até mesmo as diferenças físicas, que tanto se insistem em encontrar, desvanecem diante da estrutura óssea da CAVEIRA que todos os humanos possuem em comum.

O "sorriso sarcástico" da CAVEIRA é pensado como um espelho irônico da vaidade das distinções humanas e força a reconhecer o quão insignificantes são muitas das "ridículas diferenças" que persistentemente se criam e, pior, se valorizam entre as pessoas.

É necessário não esquecer o clássico conceito do "memento mori" (deve-se lembrar que “se vai morrer”). Assim, é sempre bom refletir sobre a transitoriedade da vida, não para se deprimir, mas para o impulsionar a valorizar o presente e a viver de uma forma a mais autêntica e plena possível. A CAVEIRA, “sem rosto", "sem identidade", no fundo, representa aquilo que permanece quando tudo o mais se for.

A CAVEIRA e o ROCK formam uma dupla icônica que vai muito além de uma simples estética” ou “representação; sendo relação profunda, desde as origens do ROCK, para gritar de forma contundente alguma recusa para se atingir a liberdade individual.

No ROCK, a CAVEIRA incorpora, também, o conceito de “memento mori”. “Se a morte é uma certeza, então cada momento do existir deve ser vivido ao máximo, com paixão e sem arrependimentos”. O ROCK sempre foi uma voz para a juventude, um veículo para a expressão de descontentamento social e uma força poderosa para a mudança cultural. A energia e diversidade do ROCK continuam (e continuarão) a inspirar novas gerações em todo o mundo.

A CAVEIRA do ROCK é um convite a se despojar das ilusões cotidianas e de se enxergar a verdadeira e crua essência da existência, uma verdade que ressoa tanto na filosofia profunda quanto na vibrante cultura do ROCK o qual para além de um estilo musical é fenômeno cultural que continua a evoluir e a ressoar.

Vivas ao ROCK no seu dia, 13 de julho.

Carlos Magno Corrêa Dias
13/07/2025

Transição Energética Marítima.

Mais uma vez é chamado o giro forte da Tríplice Hélice do Conhecimento-Inovação fazendo com que esforços coordenados entre Governo, Marinha, Indústria e Academia (Universidades) venham estabelecer a construção de soluções integradas para o futuro do transporte marítimo sustentável no Brasil.

Constando-se a necessidade urgente de se “adaptar frotas, criar infraestrutura adequada para combustíveis alternativos e desenvolver marcos regulatórios nacionais alinhados às diretrizes internacionais” é verificado que o Brasil, por meio da sua “Representação Permanente” junto à IMO (Organização Marítima Internacional) e da articulação entre os correspondentes setores, tem se posicionado como referência na “Transição Energética Marítima”.

A “Transição Energética Marítima” refere-se ao processo de substituição dos combustíveis de origem fóssil, como o óleo combustível, utilizados em navios, por fontes de energia mais limpas e renováveis, como biocombustíveis, hidrogênio e amônia, com o objetivo de reduzir as emissões de gases de efeito estufa no setor marítimo.

A utilização de energias limpas e renováveis no Mar “se apresenta não apenas como um imperativo ambiental global, mas como uma oportunidade estratégica fundamental para o Brasil” dado que o país vem se posicionando “como um hub global de tecnologias sustentáveis, impulsionando a Economia Azul e consolidando sua liderança na governança internacional dos oceanos”.

Para tratar dos respectivos desafios e para uma compreensão das possibilidades envolvidas o Cembra (Centro de Excelência para o Mar Brasileiro) promoveu a palestra "A Transição Energética no Mar e o Futuro da Economia do País" a qual foi realizada online no dia 26 de junho de 2025.

Cembra (Centro de Excelência para o Mar Brasileiro) - 2025 

Durante o evento foi apresentado, em específico, um panorama abrangente sobre o papel do Brasil nas negociações internacionais voltadas à descarbonização do transporte marítimo, bem apresentou leque de possibilidades envolvido na transição energética marítima a qual se mostra crucial para alcançar metas globais de redução dos efeitos das mudanças climáticas.

A convite do Cembra tive a oportunidade de aprender mais sobre o potencial do Brasil para desenvolver e exportar soluções energéticas limpas para o setor marítimo as quais não apenas geram novos empregos e renda, mas também posiciona o Brasil na vanguarda da inovação tecnológica na correspondente área o que, na mais simples das considerações, permite ao país o fortalecimento de sua soberania e competitividade mundial.

Ficou claro que “a transição energética no mar é um convite para o Brasil ir além da discussão ambiental, abraçando um futuro onde a inovação, a sustentabilidade e a liderança global se entrelaçam para construir uma Economia Azul próspera e responsável”.

Carlos Magno Corrêa Dias
12/07/2025

Fórum de Academias de Ciência.

Entre os dias 24 e 25 de junho de 2025, no Rio de Janeiro (RJ), foi realizado o “Fórum de Academias de Ciências do BRICS” o qual reuniu membros da comunidade científica para discutir estratégias para se estabelecer a cooperação científica global, especialmente entre as Nações do Sul do Planeta.

ABC - 2025

Durante o evento foi elaborada declaração conjunta intitulada "Fortalecendo a Cooperação Científica para uma Governança Mais Inclusiva e Sustentável" a qual representa apelo para que a Ciência e as Tecnologias constituam conhecimento voltado ao desenvolvimento sustentável e à equidade global.

Todo ano o “Fórum de Academias de Ciências dos BRICS” objetiva a promoção da cooperação entre países emergentes em áreas estratégicas como Ciência, Tecnologias, Inovação, Economia e Sustentabilidade.

Todavia, em particular neste 2025, a edição do evento, organizada pela ABC (Academia Brasileira de Ciências), com patrocínio do BNDES (Banco Nacional de Desenvolvimento Econômico e Social) e do Governo Federal, sendo apoiada pela Capes (Coordenação de Aperfeiçoamento de Pessoal de Nível Superior), foi realizada com o lema “Fortalecendo a Cooperação entre o Sul Global por uma Governança mais Inclusiva e Sustentável” e focada em Ciência e Tecnologias para a transição energética, como biocombustíveis e hidrogênio verde, abordando, também, a “emergência climática”.

Fui convidado pela ABC para participar do evento em tela o qual além de elaborar aquela declaração conjunta que defende o fortalecimento da cooperação científica entre os países e propor a criação da Rede de Soluções Climáticas, teve o reconhecimento sobre a urgência de se apresentar soluções inovadoras e colaborativas entre as Academias de Ciências do BRICS.

Em um cenário global cada vez mais instável, os grandes e difíceis desafios que vão desde crises geopolíticas até emergências ambientais devem ser seguidamente discutidos e avaliados. O compromisso de se contribuir com propostas fundamentadas no conhecimento, na solidariedade e na valorização da diversidade, tornou-se a base das discussões durante o encontro.

Foi dado, também, ênfase na formação de jovens talentos por meio de programas de Pós-Graduação e intercâmbios internacionais, bem como incentivado o investimento empresarial em Ciência e Tecnologias. Fortalecer o “Ecossistema de Inovação e Pesquisa” tanto nas Academias de Ciências quanto no Setor Produtivo é crucial para mais adequadamente embasar Políticas Públicas com evidências científicas sólidas.

O Fórum mostrou que “os países do BRICS têm a oportunidade de oferecer uma liderança global na construção de um mundo mais justo, próspero e, acima de tudo, sustentável. A colaboração proposta é um testemunho da crença de que, juntos, esses países podem moldar um futuro onde o conhecimento e a inovação sejam os pilares do bem-estar coletivo”.

Carlos Magno Corrêa Dias
11/07/2025

Desvendando negócios na América Latina.

Na América Latina, quanto no mundo todo, cada vez mais a interconexão é uma realidade que faz com que a busca por novos mercados e a expansão de negócios para além das fronteiras nacionais é imperativa para o crescimento e a sustentabilidade de empresas.

No correspondente contexto, a Federação das Indústrias do Estado do Paraná (Fiep), por meio da Gerência de Relações Internacionais e do CIN-PR (Centro Internacional de Negócios do Paraná), demonstrou sua visão estratégica ao promover o Webinar "Mercados Internacionais: Paraguai, Bolívia e Colômbia"; evento realizado 3 de junho de 2025.

CIN-PR / Fiep - 2025

Fui convidado pela Fiep, por meio da Coordenação de Cooperação Internacional (“International Cooperation”) da Gerência de Relações Internacionais (“Management of International Relations) da Fiep, para participar daquele Webinário e conhecer melhor o ambiente de negócios e os canais de distribuição do Paraguai, Colômbia e Bolívia; particularmente no Setor de Máquinas, Equipamentos e Tecnologia para o Agro.

Durante o evento foi apresentado um panorama da internacionalização e rodada de negócios, bem como sobre o atual ambiente de negócios e os canais de distribuição do Paraguai, Colômbia e Bolívia.

Paraguai, Colômbia e Bolívia representam economias em desenvolvimento na América Latina com potencial de demanda para produtos e tecnologias do setor agroindustrial, um pilar fundamental da economia paranaense e brasileira.

A Fiep mais uma vez reforça seu papel como catalisadora do desenvolvimento industrial e comercial do Estado do Paraná ao realizar o Webinário "Mercados Internacionais: Paraguai, Bolívia e Colômbia" dando acesso ao correspondente conhecimento a quem tivesse o interesse em conhecer e/ou expandir o intercâmbio de informações estratégicas e a compreensão das particularidades comerciais daqueles mercados. “Iniciativas como esta são fundamentais para capacitar o setor produtivo a identificar e capitalizar as vastas oportunidades que a América Latina oferece”.

Carlos Magno Corrêa Dias
10/07/2025

Relações entre saber e vazio.

O saber que não promove alguma forma de transformação é apenas falho em seu propósito.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
09/07/2025

PAZ e BEM pintada em “Franca Alegoria”.

Em 2005, o mundo vivia a “Terceira Revolução Industrial” (“Indústria 3.0” ou “Revolução Digital”) e avançava a passos largos (dados muito rapidamente) nos campos da Digitalização, Automação, Robótica e Interconexão Global; desenvolvimentos aqueles fortemente impulsionadas pela Internet.

Em 2005, surfava-se, também, na “Quinta Onda de Inovação” a qual era impulsionada pelas Tecnologias da Informação e Comunicação (TIC) iniciadas com os microprocessadores anos antes e que se popularizava com a difusão da Internet, bem como da Telefonia Móvel e dos Computadores.

Com a “Indústria 3.0” e a “Quinta onda de Inovação” o mundo das Tecnologias era um mundo em efervescência e de contínuas descobertas que se transformava com desenvolvimentos cada vez mais surpreendentes. Aquele mundo, disruptivo, inovador e inolvidável, fazia convites para atuação, também, em outras áreas do saber como no caso das Artes.

Na época, como Professor de Ensino Superior e desenvolvendo Pesquisas nas áreas da Matemática e da Lógica, já me aventurando no campo das Artes, fui incentivado a pintar a obra que intitulei “Franca Alegoria”, um óleo sobre tela, de dimensões 60cm por 40cm (hoje pertencente ao meu acervo particular).

DIAS, C. M. C. - 2005

Foi no mês de julho de 2005 (por volta do dia 5 de julho) que pintei aquele quadro para homenagear o especial Giovanni di Pietro di Bernardone (1182-1226), canonizado São Francisco de Assis; que foi uma "luz que brilhou sobre o mundo", reconheceu (sem hesitação) a bondade e a maravilha da criação, que se dedicou aos mais pobres dos pobres e que amou todas as criaturas chamando-as de irmãos.

Com seu lema “PAZ e BEM” São Francisco de Assis não apenas possuía uma visão positiva do homem e da natureza como, também, dedicou sua vida terrena para manter a dignidade entre os homens objetivando uma humanidade sempre melhor.

DIAS, C. M. C. - 2025

A data de 5 de julho faz alusão ao dia de nascimento de Giovanni di Pietro di Bernardone no ano de 1181, embora se soubesse que o Dia de São Francisco de Assis, Dia do Patrono dos Animais e do Meio Ambiente (Padroeiro Protetor dos Animais e da Natureza), coincidisse com o Dia dos Animais, o Dia da Natureza e o Dia do Cachorro (Dia dos Cães), sendo celebrado todo ano em 4 de outubro (dia de falecimento de São Francisco de Assis).

São Francisco de Assis, detentor de humildade fora do comum, dedicou sua vida em prol de prestar o BEM para as pessoas; renunciando a todos os seus bens materiais e vivendo para ajudar enfermos e pobres e amando a natureza e os animais de forma jamais vista.

DIAS, C. M. C. - 2025

A pintura “Franca Alegoria” completa neste 2025 seus vinte anos de existência e segue cumprimentando São Francisco de Assis que continua a inspirar as pessoas, tanto católicos quanto não católicos, a viverem com respeito por toda a criação.

Carlos Magno Corrêa Dias
08/07/2025

Pai da Computação e da IA.

As ideias revolucionárias de Alan Mathison Turing (1912-1954) lançaram as bases para a ERA DIGITAL em que se vive atualmente, moldando profundamente a compreensão sobe a Computação e sobre a Inteligência.

PAI DA COMPUTAÇÃO TEÓRICA e PAI DA IA (Inteligência Artificial) Alan Mathison Turing pensava diferente. Máquinas “pensam” (de forma dessemelhante da humana, mas “pensam”).

DIAS, C. M. C. - 2024/2025

Muito à frente de seu tempo, Alan Mathison Turing dizia que as máquinas ao processarem informações de forma lógica e autônoma possuíam a capacidade de “pensar”; prevendo um futuro em que as máquinas poderiam executar tarefas complexas, aprender e até mesmo se envolver em conversas que desafiariam a própria definição de “inteligência”. O conceito do Teste de Turing, proposto em seu artigo de 1950 "Computing Machinery and Intelligence", permanece fundamental no debate filosófico (e mesmo científico) em torno das múltiplas questões sobre a IA e sobre a capacidade de “pensar” das máquinas.

Além de suas contribuições teóricas sobre o “computar”, o trabalho prático de Alan Mathison Turing durante a Segunda Guerra Mundial, particularmente seu papel na quebra do código Enigma das forças alemãs, demonstrou o imenso poder do pensamento computacional para resolver problemas do mundo real com impacto global.

O dispositivo eletromecânico chamado “Bombe”, idealizado por Alan Mathison Turing, foi fundamental para o esforço dos Aliados na Segunda Guerra Mundial. É presumido que o uso de “Bombe”, que permitia quebrar as configurações diárias da Enigma, revelando as mensagens secretas alemãs, encurtou a guerra (em dois a três anos) e salvou inúmeras vidas (cerca de 14 a 15 milhões), mostrando os benefícios tangíveis da mentalidade inovadora (e inolvidável) de Alan Mathison Turing.

O mundo em que se vive atualmente é inegavelmente e infinitamente melhor graças aos trabalhos de Alan Mathison Turing. Dos “smartphones” aos algoritmos complexos que alimentam tudo, desde diagnósticos médicos até mercados financeiros, o legado de Alan Mathison Turing está embutido em quase todas as Tecnologias que o homem uso e necessita. Suas ideias visionárias continuam a inspirar novas gerações de cientistas e engenheiros, de pensadores e filósofos, expandindo sobremaneira os limites do que é possível com a Computação e a IA.

Carlos Magno Corrêa Dias
07/07/2025

Tautológica necessária suficiência.

A Engenharia Lógica é necessária para engendrar boas soluções (soluções lógicas) porque resolver problemas de Engenharia sem apoio da Lógica Matemática não tem sentido algum.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
06/07/2025

Na era da Computação a Lógica segue fazendo história.

Os meses de junho e julho de 1995 foram revolucionários para o mundo das Tecnologias, especialmente para a área da Internet e o cenário da Computação (tanto teórica quanto prática) no qual ocorreriam mudanças profundas decorrentes de intensa inovação e do surgimento de plataformas que se tornariam pilares do mundo digital.

No período surgem gigantes como PHP (em junho de 1995), Amazon (em julho de 1995), Java (anunciada em maio de 1995), preparação para o Windows 95 (que surgiria em agosto de 1995), MP3, criação do Primeiro Wiki (que mais tarde daria origem à Wikipedia), ferramentas de segurança como “Security Administrator Tool for Analyzing Networks”, bem como o lançamento pela Intel das versões de 120 MHz e de 133 MHz do processador Pentium.

Em 1995 um novo mundo se apresentava e a Internet estava deixando de ser um domínio exclusivo de acadêmicos e pesquisadores para se tornar um ambiente comercial; podendo-se dizer, também, que junho e julho de 1995 foram “meses-chave” para o estabelecimento do futuro digital.

Em meio à efervescência tecnológica da época e a despeito dos naturais condicionamentos, entretanto, o mundo do conhecimento científico continuava com as portas abertas para receber os interessados em fortalecer e/ou ampliar suas bases e multiplicar saberes.

Assim sendo, em função de meus estudos no campo da Lógica Matemática de Primeira Ordem organizei, coordenei e ministrei o Curso de Extensão Universitária sobre “Lógica matemática: Análise Inferencial e Teoria da Argumentação no Cálculo Proposicional”, o qual foi realizado de 14/06/1995 a 04/07/1995, em um total de 20 horas, na Puc-PR (Pontifícia Universidade Católica do Paraná).

DIAS, C. M. C. - 2025

Aquele Curso foi um sucesso de público (todas as vagas foram rapidamente preenchidas) e deu no que falar haja vista ter sido desenvolvido com todo rigor científico e centrado no formalismo acadêmico clássico abordando tema pouco convencional na época e (aparentemente) ao que se desenvolvia em paralelo no mundo real.

O Curso sobre “Lógica matemática: Análise Inferencial e Teoria da Argumentação no Cálculo Proposicional” teve como objetivo a apresentação sistematizada do Sistema Algébrico que funda a Lógica Matemática no nível do Cálculo Sentencial para dar sustentação ao desenvolvimento de métodos e técnicas necessários e suficientes para a manipulação da Teoria da Argumentação e da Análise Inferencial direcionados para a avaliação da legitimidade de argumentos dedutivos.

Hoje se sabe que sem aqueles conhecimentos a Computação, a Transformação Digital, a IA (Inteligência Artificial), a Engenharia Lógica e tantos outros desenvolvimentos associados não estariam desenvolvidos como estão.

Celebre-se, então, com júbilo e satisfação, as três décadas da realização daquela inovadora Ação de Extensão Universitária e Tecnológica.

Carlos Magno Corrêa Dias
05/07/2025