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