OUTUBRO ROSA segue sendo um chamado à conscientização

O OUTUBRO ROSA é um movimento internacional de extrema relevância que mobiliza a sociedade em torno da conscientização e da prevenção do câncer de mama.

Criado na década de 1990 nos Estados Unidos, o movimento OUTUBRO ROSA rapidamente se espalhou pelo mundo. No Brasil, a iniciativa ganhou força nos anos 2000 com a iluminação cor-de-rosa de monumentos históricos, tornando-se um símbolo universal da luta contra a doença.

Mais do que uma campanha anual, é um lembrete constante de que a informação e o diagnóstico precoce salvam vidas.

Participar do movimento OUTUBRO ROSA envolve ações práticas do dia a dia tais como: (1) compreender os fatores de risco, os sinais de alerta e a importância dos exames preventivos regulares (como a mamografia de rastreamento recomendada pelos órgãos de saúde); (2) compartilhar conhecimento com familiares, amigas e colegas, desmistificando tabus e incentivando o diálogo aberto sobre a saúde da mulher; (3) apoiar emocional e logisticamente mulheres que enfrentam o diagnóstico, fortalecendo a rede de apoio tão essencial durante o tratamento.

“Prevenir sempre será o melhor remédio.”

DIAS, Carlos Magno Corrêa - 2026

A detecção precoce amplia significativamente as chances de sucesso terapêutico e preserva a qualidade de vida.

OUTUBRO ROSA segue chamando, também, a participação.

Conheça, oriente, ajude. OUTUBRO ROSA.

Conscientizar sobre a prevenção do câncer de mama é, também, uma ação necessária.

Carlos Magno Corrêa Dias
02/10/2026

Além da fronteira do impossível

A resiliência mostra que o impossível é apenas uma fronteira que ainda não foi ultrapassada.

DIAS, Carlos Magno Corrêa - 2026

Carlos Magno Corrêa Dias
01/10/2026

O legado dos Jogos Paralímpicos de Tóquio 2020

Realizados sob o signo da resiliência global e marcados pelo desafio de acontecerem em meio a um cenário de transição sanitária mundial, os Jogos Paralímpicos de Tóquio 2020 transcenderam o papel de uma simples competição.

Conforme aponto no artigo “Os fantásticos Jogos Paralímpicos de Tóquio 2020 deixam incrível legado”, publicado pelo Sindicato dos Engenheiros no Estado de São Paulo (Seesp), o evento deixou um legado incalculável, rompendo barreiras, desafiando preconceitos e redefinindo os limites do potencial humano.

Os Jogos Paralímpicos de Tóquio 2020 mudaram a perspectiva que se impôs à sociedade. Historicamente, a deficiência foi tratada muitas vezes sob o viés da limitação ou da assistência assistencialista. No entanto, o espetáculo proporcionado pelos Paratletas japoneses e internacionais escancarou uma realidade de altíssimo rendimento, disciplina rigorosa, tecnologia de ponta e excelência técnica.

Cada modalidade adaptada revelou corpos transformados em potências atléticas, impulsionados por uma força de vontade inabalável. O legado tecnológico e de acessibilidade urbana promovido pelo Japão serviu de espelho e cobrança para as demais nações: a inclusão não é um favor social, mas uma exigência de infraestrutura e cidadania plena.

Celebrar Tóquio 2020 é, sobretudo, exaltar a vitória da esperança coletiva. Os atletas paralímpicos atuaram como verdadeiros embaixadores da inclusão, ensinando ao mundo que a superação não diz respeito apenas a vencer o adversário, mas a transformar a adversidade em trampolim para a glória.

Os Jogos Paralímpicos de Tóquio 2020 permanecem como um convite permanente para que governos, instituições e cidadãos repensem espaços, atitudes e oportunidades. O legado que fica é a certeza de que uma sociedade verdadeiramente civilizada é aquela que mede seu desenvolvimento pela capacidade de integrar, valorizar e celebrar todas as suas diferenças.

No endereço https://www.seesp.org.br/site/comunicacao/noticias/item/20591-os-fantasticos-jogos-paralimpicos-de-toquio-2020-deixam-incrivel-legado está disponível o meu artigo “Os fantásticos Jogos Paralímpicos de Tóquio 2020 deixam incrível legado”.

DIAS, Carlos Magno Corrêa - 2026

O lema oficial dos Jogos Olímpicos e Paralímpicos de Tóquio 2020 é atemporal: "United by Emotion" (em português, “Unidos pela Emoção”). A ideia era mostrar que, independentemente de diferenças de idiomas, culturas ou origens, o ESPORTE tem o poder único de conectar as pessoas por meio de sentimentos compartilhados como a paixão, a superação, a alegria e até mesmo a frustração.

“Someity” foi a mascote dos Jogos Paralímpicos; nome que vem de “someiyoshino” (um tipo popular de flor de cerejeira) e, também, faz trocadilho com a expressão em inglês "so mighty" (tão poderosa). Os detalhes em rosa são inspirados nas flores de cerejeira e representam a força e a resiliência dos Atletas Paralímpicos.

Carlos Magno Corrêa Dias
30/09/2026

Celebrando uma jornada na Lógica Matemática

Ao conduzir, entre os dias 28 de setembro e 19 de outubro de 2011, o Curso de Extensão em Lógica Matemática Predicativa e Quantificacional de Primeira Ordem no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) consolidei uma convicção que reitero em minha trajetória docente e de pesquisa: a de que a Engenharia e o Raciocínio Analítico encontram na Lógica Formal o seu alicerce mais seguro e fecundo.

DIAS, Carlos Magno Corrêa - 2026

Desenvolvido para os futuros Engenheiros regularmente matriculados em disciplinas de Cálculo Diferencial e Integral que ministrava em Cursos de Graduação regulares da UTFPR, o evento de extensão em referência nasceu do propósito de certificar os participantes na Álgebra das Funções Predicativas e das Funções Quantificadas. Mais do que transmitir um compêndio de regras sintáticas ou semânticas, o objetivo central sempre foi o de dotar o espírito analítico de ferramentas robustas para a enunciação, a análise e a resolução lógica de problemas de raciocínio, distanciando-o de superficialidades.

Conduzir os Acadêmicos pelas trilhas da Teoria da Demonstração Dedutiva e da Teoria da Prova, aplicadas a Sistemas Algébricos Dicotômicos e Bivalentes, revelou-se uma experiência de inestimável valor intelectual. Afinal, introduzir com rigor e profundidade as técnicas dedutivas do cálculo para a avaliação formal de raciocínios é conferir ao Estudante a capacidade determinante de decidir sobre problemas complexos de maneira estritamente analítica. Para o futuro Engenheiro, essa habilidade é um imperativo profissional e filosófico: decidir sem que o raciocínio seja contaminado ou comprometido pela materialidade ou pelos condicionamentos contingentes do mundo real. É exatamente nessa perspectiva que defendo a premissa de que as técnicas formais de investigação da validade de modelos (operando com os recursos da Lógica Formal) configuram-se como as fontes de soluções mais amplas, elegantes e eficientes.

O Curso de Extensão em Lógica Matemática Predicativa e Quantificacional de Primeira Ordem expressou uma visão dotada de rigor conceitual abordado em itinerário programático que se desdobrou desde os fundamentos de termos e predicados, funções proposicionais e conjuntos verdade, até as complexidades das instâncias singulares, quantificadores lógicos fundamentais, variáveis livres e aparentes, equivalências entre funções quantificadas e, por fim, as inferências predicativas.

Celebrar aquela iniciativa é reafirmar que a Lógica não é um ornamento acadêmico estéril, mas sim o motor lógico-estrutural que sustenta a autonomia do pensamento crítico. Que a semente lançada continue a frutificar nas mentes daqueles que fazem da Engenharia um instrumento de precisão, clareza e transformação racional.

Carlos Magno Corrêa Dias
29/09/2026

Celebrando reflexão atemporal sobre registros digitais

Comemorar a publicação de um texto de relevância intelectual é, antes de tudo, exaltar a perenidade do pensamento crítico. Publicado originalmente em 27 de setembro de 2016, no blog Giro Sustentável da Gazeta do Povo, o meu artigo “Os apagados da história comprometerão a sustentabilidade” destaca-se por antecipar os dilemas contemporâneos da era digital.

DIAS, Carlos Magno Corrêa - 2026

Ao traçar uma linha direta entre a preservação da informação e o futuro do desenvolvimento sustentável, o texto convida a uma reflexão profunda sobre como a humanidade lida com a sua própria memória.

Desde a Antiguidade, o ser humano busca formas de registrar sua trajetória, superando as limitações e os custos da palavra escrita impressa. No entanto, a própria evolução tecnológica (que trouxe disquetes, CDs, DVDs, pen drives e, mais recentemente, a computação em nuvem) criou um paradoxo perigoso: a obsolescência acelerada dos suportes de dados. Dispositivos que ontem eram o ápice da modernidade hoje jazem inutilizados em gavetas, inacessíveis às novas gerações.

O ritmo da inovação tecnológica atropela a preservação, tornando obsoletas não apenas as mídias, mas os próprios formatos de arquivos essenciais. A isso soma-se a curta longevidade de muitas empresas e instituições, cuja descontinuidade resulta na perda contínua de imensos bancos de dados corporativos e históricos.

O cerne da tese defendida no artigo reside na constatação de que a sustentabilidade não se restringe à pauta ambiental ou ao uso racional de recursos naturais. Ela abrange, de maneira indissociável, a sustentabilidade do conhecimento. Quando não se observa a guarda e a acessibilidade das informações, os homens correm o risco real de serem "apagados" da História.

A correspondente descontinuidade nos registros gera vazios profundos no desenvolvimento humano, impondo às gerações futuras o ônus de reinventar o que já havia sido conquistado, acarretando custos materiais e imateriais imensuráveis.

Celebrar aquele meu artigo é reconhecer a atualidade do alerta em pauta. Em um cenário digital em constante e vertiginosa mutação, a advertência ecoa como um manifesto indispensável: preservar o passado digital é uma condição fundamental para garantir a viabilidade do futuro. Que esta reflexão continue a inspirar pesquisadores, educadores e a sociedade a tratarem a preservação da informação como um pilar essencial da sustentabilidade global.

O texto “Os apagados da história comprometerão a sustentabilidade” está disponível no endereço https://drive.google.com/file/d/1snDGl96v8zwZXTCJDFxS_EINRqaUY8ml/view?usp=sharing para consulta.

Carlos Magno Corrêa Dias
28/09/2026

Definições para a Rota Metalmecânica

O planejamento de longo prazo exige não apenas a capacidade de antecipar cenários, mas o rigor metodológico de estruturar os alicerces sobre os quais a indústria regional e nacional se erguerá nas próximas décadas.

A publicação oficial da Rota Estratégica da Indústria Metalmecânica 2035, promovida pelo Observatório do Sistema Fiep (Sistema Federação das Indústrias do Estado do Paraná), marca um momento decisivo para o ecossistema produtivo e tecnológico do Paraná.

Sistema Fiep - Rota Estratégica da Indústria Metalmecânica 2035 - 2026

No panorama de prospectiva industrial e de desenvolvimento sustentável em vigência, é um privilégio e uma satisfação ter contribuído com minhas observações para auxiliar na edificação do documento em tela.

A formulação de Rotas Tecnológicas da Indústria para setores complexos como a Metalmecânica demanda mais do que a enumeração de tendências; requer a articulação entre variáveis estruturais, capacidade instalada e diretrizes de vanguarda, fundamentadas nos paradigmas contemporâneos da produção industrial.

A contribuição autoral inserida no projeto em questão reflete a convergência entre a fundamentação analítica e a pragmática do setor produtivo, colaborando diretamente para a robustez do Radar de Tendências e Tecnologias associado ao projeto e oferecendo ao mercado um instrumento seguro de navegação estratégica.

O documento consolida direções para a competitividade, a transição tecnológica e a modernização de processos, destacando-se pela visão prospectiva com horizonte em 2035, pela convergência entre sistemas Ciberfísicos e automação avançada, pelo fortalecimento da sinergia entre a Indústria, a Academia e o Estado, e pela incorporação de premissas alinhadas à sustentabilidade e à responsabilidade ESG.

A Rota Estratégica da Indústria Metalmecânica 2035 estruturou-se por meio de inteligência coletiva com o objetivo de compreender a realidade do setor no Paraná e perspectivar seus caminhos futuros. Assim, o documento consolida o panorama estadual ao mapear os desafios e diferenciais do setor em dimensões cruciais.

Desde meados de 2013, quando se realizou na TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná) a “Primeira Rodada Tecnológica do Setor Metalmecânico” promovida pela Fiep, por meio dos Observatórios SESI/SENAI/IEL, venho contribuindo na construção das Rotas da Indústria do Paraná.

A materialização da Rota Estratégica da Indústria Metalmecânica 2035 corrobora o compromisso com o avanço científico e tecnológico regional, reforçando a responsabilidade coletiva de disseminar o conhecimento gerado, transformando diretrizes teóricas em realizações práticas capazes de impulsionar o desenvolvimento socioeconômico e orientar o futuro da indústria.

Carlos Magno Corrêa Dias
27/09/2026

O SELOGMAS 2011 onsolida a Engenharia Lógica

Olhar para trás e revisitar os marcos da nossa trajetória acadêmica e científica é um exercício de reconhecimento da evolução do próprio pensamento. Ao se celebrar o legado do Segundo Seminário de Lógica Matemática Sentencial (II SELOGMAS), realizado em 23 de setembro de 2011 no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) sob a promoção do Departamento Acadêmico de Matemática (DAMAT), percebe-se que aquela data operou uma transição crucial.

Sendo o proponente, coordenador e ministrante tanto do II SELOGMAS quanto quem proferiu a conferência magna intitulada "Inovação Tecnológica Centrada na Lógica Clássica", intencionei romper com a barreira que confinava a Lógica Formal a um fórum estritamente abstrato, transformando-a na base para o desenvolvimento de sistemas complexos e inovação industrial.

DIAS, Carlos Magno Corrêa - 2026

Se a primeira edição do SELOGMAS, em 2010, teve como foco central a reflexão sobre a "Completude dos Fundamentos Necessários e Suficientes da Matemática", em 2011 ocorreu no SELOGMAS uma derivação indispensável que permitiu o aprofundamento de estudos de vanguarda para a consolidação da Engenharia Lógica.

Compreendia, naquele momento, que o Cálculo Lógico deveria atuar como o verdadeiro motor da inovação tecnológica e da compreensão tanto da cognição humana quanto da artificial, defendendo a necessidade de relações de impregnação mútua entre a Lógica Formal e a Inovação Tecnológica.

A programação original dos seguintes eventos associados ao II SELOGMAS previa a continuidade da jornada com a realização do terceiro SELOGMAS em 2012, dedicado à "Lógica da Necessidade" (tema que deu origem, entretanto, ao Curso de Extensão Universitária homônimo que ministrei naquele mesmo ano).

A dinâmica da pesquisa exige mutação e amadurecimentos. Assim, a fusão conceitual dos aspectos sentenciais e predicativos da Lógica Formal revelou um potencial de alcance muito maior. Foi com a estratégia em foco que, em 2013, se optou pela extinção dos formatos isolados do SELOGMAS para gerar o Colóquio Entelechia Logicae (COENTELOG), evento constituído de exposições unilaterais e modais abordando interpretações necessárias ou contingentes tanto no campo Enunciativo quanto Predicativo da Lógica Matemática de Primeira Ordem.

O I COENTELOG deu lugar, em 2014, ao II COENTELOG, focado na "Inovação em Engenharia Lógica". A transição para o formato de Colóquio refletiu o objetivo de propiciar uma comunicação formal centrada na Filosofia da Ciência e permitindo que eventos em sequência fossem realizados sem periodizações prefixadas.

Todavia, celebrar o II SELOGMAS é comemorar a Lógica Matemática Sentencial assumindo seu papel ativo como força matriz da inovação tecnológica, cujos fundamentos continuam vivos e ecoando na trajetória de pesquisa.

Carlos Magno Corrêa Dias
26/09/2026

Minha Quarta Certidão de Nascimento

Hoje, 25 de setembro de 2026, volto a atenção para o caminho percorrido com o coração cheio de júbilo e gratidão. Exatamente onze anos atrás, em 25 de setembro de 2015, ganhei a minha quarta Certidão de Nascimento (573.CPM.600.GAMA), marcada por um verdadeiro renascimento (o terceiro) proporcionado por uma cirurgia de revascularização cardíaca muito bem-sucedida.

Lembro-me de cada sigla vencida (IC, CC, CTI, UTI, SIC, ERG), barreiras que aprendi a superar com a força e determinação. O que começou como uma intercorrência miocárdica severa, fruto de uma isquemia cardíaca crônica e da aterosclerose que desafiou a potência da minha máquina cardiovascular biológica, transformou-se em uma prova de resiliência. Seguidos infartos quase me tiraram da rota.

"A máquina cardiovascular biológica se supera em sequência cíclica e bate firme. Então, 'ao infinito e além', muito além. A FORÇA triunfa."

Uma isquemia miocárdica é a redução ou a interrupção drástica do fluxo sanguíneo para o coração. Como o sangue é o veículo responsável por transportar oxigênio e nutrientes essenciais (como a glicose) para as células, a falta dele provoca um déficit energético imediato. Sem suprimento adequado de oxigênio (hipóxia) e nutrientes, as células do tecido afetado começam a sofrer danos em seu metabolismo e funcionamento.

A isquemia, que leva ao infarto, geralmente é provocada por alterações nos vasos sanguíneos, sendo a aterosclerose (o acúmulo de placas de gordura, colesterol e outras substâncias nas paredes das artérias) uma das causas mais comuns.

A Isquemia Miocárdica é quando a isquemia ocorre especificamente no músculo cardíaco (miocárdio), significa que as artérias coronárias não estão conseguindo fornecer sangue suficiente para o coração. O dano causado pela isquemia depende do tempo de duração e da intensidade do bloqueio. Se a circulação for restabelecida rapidamente, o tecido pode se recuperar. Caso contrário, a falta prolongada de oxigênio leva à morte celular, conhecida como infarto ou necrose.

Anos se passaram desde aquela última grande intervenção, e o meu coração segue batendo forte, firme e renovado. Cada 25 de setembro não é apenas a marca do tempo que avança, mas a celebração solene da vitória da vida sobre a adversidade.

DIAS, Carlos Magno Corrêa - 2024

Sigo caminhando sempre em frente, com a certeza de que a força continua triunfando e que o horizonte se estende muito além, "ao infinito e além".

Carlos Magno Corrêa Dias
25/09/2026

Celebração dos 25 Anos de Registro Documental no EDA/FBN

Completar um quarto de século de formalização documental é um marco que transcende a mera burocracia institucional; representa a consolidação de uma contribuição perene para o patrimônio científico e cultural.

No dia 21 de setembro de 2001, sob o registro de número 240.116 (Livro 425, Folha 276) no Escritório de Direitos Autorais (EDA) da Fundação Biblioteca Nacional (FBN), o artigo técnico-científico "Aritmética de Peano e Modelos da Aritmética", de minha autoria, obteve sua chancela oficial no Rio de Janeiro (RJ), no Ministério da Cultura (MinC).

DIAS, Carlos Magno Corrêa - 2026 

Ao se celebrar 25 anos, revisita-se não apenas um documento arquivado, mas a solidez de uma obra dedicada aos fundamentos da Lógica Matemática e à Formalização do Pensamento Numérico, debruçando-se sobre a transição histórica que uniu intuições pioneiras ao se destacar a necessidade de fundamentação rigorosa do contínuo e dos Números Naturais, às formulações axiomáticas definitivas.

A Aritmética de Peano constitui o alicerce formal sobre o qual a Teoria dos Números e a própria Computação Teórica se sustentam. Ao examinar a estrutura dos Números Naturais munida da função sucessor injetiva, a obra adentra as profundezas da Metamatemática. Explora-se, com rigor analítico, a distinção entre a indução de segunda ordem (que assegura a categoricidade estrutural e o isomorfismo por meio do Teorema de Dedekind) e as restrições impostas pelas linguagens de primeira ordem.

É a partir do correspondente desdobramento formal, amparado pelo Teorema de Löwenheim-Skolem, que emergem os fascinantes modelos “não-standard” da Aritmética, demonstrando que um conjunto enumerável de sentenças admite modelos de cardinalidades infinitas arbitrárias.

Trata-se de um campo onde o rigor absoluto da linguagem formal encontra a Filosofia da Matemática, questionando os limites daquilo que pode ser provado dentro de um Sistema Axiomático.

Mais do que um tratado acadêmico, a preservação e a longevidade do registro em pauta refletem a importância vital da salvaguarda da produção científica nacional. Em um cenário onde o conhecimento muitas vezes sofre com a efemeridade das mídias digitais contemporâneas, o selo da Fundação Biblioteca Nacional atesta a perenidade do esforço intelectual rigoroso.

Vinte e cinco anos, um quarto de século, após a sua averbação, a obra permanece como um testemunho sobre a disseminação do saber matemático no Brasil, inspirando novas gerações de estudiosos a investigarem a elegância, a consistência e a profundidade dos números.

No endereço https://drive.google.com/file/d/19lDCn9NE9gZvNUTRFYvwsXBJAGF85QSI/view?usp=sharing disponibilizo o correspondente texto.

Carlos Magno Corrêa Dias
24/09/2026

Uma Reflexão sobre a Dominação em Matemática

A Teoria dos Conjuntos constitui uma das bases mais sólidas e estruturantes da matemática moderna. No entanto, ao adentrar o estudo de tópicos como o infinito, números cardinais e ordinais, estudantes e pesquisadores frequentemente se deparam com o desafio de delimitar o arcabouço teórico necessário para a plena compreensão dessas estruturas.

Em 21 de setembro de 2001, foi formalmente registrado no Escritório de Direitos Autorais da Fundação Biblioteca Nacional e do Ministério da Cultura (EDA/FBN/MinC), sob o número 240.117 (Livro 425, Folha 277), meu trabalho intitulado "Dominação em Matemática".

Ao celebrar os vinte e cinco anos do correspondente registro oficial, aquela contribuição merece uma análise reflexiva quanto ao seu papel na sistematização e no ensino do rigor matemático aplicável às relações de ordem e equipotência de conjuntos.

O cerne do trabalho reside no estudo da Relação de Dominação entre conjuntos, estabelecida a partir da existência de uma função injetora de um conjunto em outro. A importância da abordagem está no fato de transformar comparações abstratas entre conjuntos em relações formais de ordem.

DIAS, Carlos Magno Corrêa - 2026

Como relação de ordem parcial e total, a dominação fundamenta o Teorema da Comparabilidade e auxilia na desmistificação das diferentes grandezas do infinito. O texto explicita como conjuntos infinitos de mesma potência (como o conjunto dos números naturais e o dos números inteiros) contrastam com infinitos não enumeráveis, a exemplo do conjunto dos números reais.

"Dominação em Matemática" procura apresentar demonstrações compendiadas e acessíveis de teoremas clássicos. Ao abordar o Teorema de Schröder-Bernstein, que expressa a propriedade antissimétrica da Relação de Dominação, a demonstração oferecida prioriza o uso de operações elementares e da partição iterativa de conjuntos, contornando tecnicismos desnecessariamente complexos. Da mesma forma, ao tratar do Teorema de Cantor, demonstra-se que qualquer conjunto é estritamente dominado por seu conjunto potência, reforçando a existência de uma hierarquia inesgotável de infinitos por meio de argumentos lógicos estruturados.

Transcorridos um quarto de século desde o registro de "Dominação em Matemática" (Rio de Janeiro: EDA/FBN, 2001), a obra mantém-se como um referencial didático e rigoroso para o estudo dos fundamentos matemáticos. A capacidade de articular conceitos de cardinalidade, ordinais e equivalências estruturais mediante o uso de uma linguagem precisa reflete um compromisso constante com a formação acadêmica e científica.

Comemorar o marco temporal em pauta é reafirmar a importância da preservação e da difusão da produção técnica nacional no aperfeiçoamento do ensino da Matemática.

O texto conforme registrado na época encontra-se disponível no endereço https://drive.google.com/file/d/1wgGqjrdIW7eMnK1bVXforjLOGqSzUxQa/view?usp=sharing para a leitura.

Carlos Magno Corrêa Dias
23/09/2026