Realidade condicionante "a priori".

Por força da necessidade (e/ou do destino) descobri, há 45 anos atrás, quando iniciei minha Carreira Profissional, um talento (ou capacidade inerente) para programar em linguagens de alto nível como FORTRAN (“Mathematical FORmula TRANslation System”) e COBOL (“COmmon Business Oriented Language”) e, também, em linguagem de máquina (linguagem de baixo nível) como o Assembly, quando comecei a brigar com o CP 500 da Prológica um computador nacional com (na época) incrível processador Zilog Z80A, de 8 bits, com 2 MHz, com memória RAM entre 48 Kbytes e 64 Kbytes, com memória ROM de 16 Kbytes, o qual era compatível com o famoso TRS-80 Modelo III norte-americano (pouco conhecido da maioria).

DIAS, C. M. C. - 2024

Particularmente, fazia sucesso em FORTRAN, linguagem valiosa para aplicações científicas e matemáticas, conhecida pela potente capacidade de realizar operações e computação intensiva; criando programas (“pesados”) muito utilizados.

A computação intensiva (aplicável especialmente em simulações científicas, modelagem matemática e análise de grandes volumes de dados), em particular, chamava minha atenção e me desafiava por permitir utilizar recursos computacionais avançados objetivando a realização de CÁLCULOS cada vez mais complexos e processamento de dados em grande escala. Naqueles tempos, as possibilidades de processamento de grandes conjuntos de dados de forma eficiente, facilitando, em muito, operações como acesso rápido aos elementos e desenvolvimento de poderosos cálculos matemáticos vetorizados e a manipulação de dados multidimensionais me impulsionavam a gerar soluções cada vez mais ótimas também balizadas pelas Matemáticas.

Em Assembly criei programas interessantes (para não dizer “incríveis”, modéstia à parte). Dominava os códigos hexadecimais e com os binários fazia a festa literalmente. “Enxergava os códigos”, como diziam. E Assembly escrevíamos códigos de máquina que permitia gerar instruções em um formato mais compreensível do que o código binário puro. Embora bem mais difícil de programar (em comparação com linguagens tipo FORTRAN, COBOL, Pascal, Prolog ou BASIC (“Beginner’s All-purpose Symbolic Instruction Code”)), me divertia com as instruções em Assembly. Enxergar os códigos é dominar os algoritmos para conversar com os números flertando com os símbolos.

Nas décadas iniciais da disseminação (e uso) do conhecimento da Informática e do crescimento da Indústria de Computadores no Brasil, tempos especiais de pura inovação, de grande invenção, de constante disrupção (mudanças), de acentuada resiliência, já nos preocupávamos, diariamente, em desenvolver as ações profissionais centradas nos valores da atual Onda de Inovação e Revolução Industrial. Inovação, Disrupção e Resiliência sempre estiveram lá na prática profissional para tornar as realidades subjacentes mais eficientes (mais “reais”), principalmente, no campo da Computação.

Carlos Magno Corrêa Dias
31/07/2024

Celebrando década de ação de extensão em Lógica.

Em muitas das vezes quando da oferta de meus Cursos de Extensão Universitária e/ou Tecnológica ocorre que nem sempre uma única edição foi suficiente para atender todos os interessados exigindo ofertar (em seguida ou em paralelo) uma segunda (ou até uma terceira) turma. Tal foi o caso, lá em 2014, quando ministrei o Curso de Extensão Universitária em CÁLCULO PROPOSICIONAL EM LÓGICA MATEMÁTICA INFERENCIAL DEDUTIVA o qual constituiu uma segunda versão do Curso de Extensão Universitária em CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL.

DIAS, C. M. C. - 2024

Diferentemente, entretanto, do Curso de Extensão Universitária em CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL anterior, o Curso de Extensão Universitária em CÁLCULO PROPOSICIONAL EM LÓGICA MATEMÁTICA INFERENCIAL DEDUTIVA foi desenvolvido exclusivamente para meus Alunos de Cursos de Engenharia do Sistema UTFPR (Universidade Tecnológica Federal do Paraná).

É importante ressaltar que no Curso de Extensão Universitária em CÁLCULO PROPOSICIONAL EM LÓGICA MATEMÁTICA INFERENCIAL DEDUTIVA apresentei, também, procedimentos técnicos para avaliar especificamente questões relacionadas à Lógica Reversa e/ou à Recursão Lógica (em atendimento à solicitação dos próprios interessados).

Assim, completa-se neste 30 de junho de 2024, dez anos, uma década, da realização da correspondente Ação de Extensão a qual ministrei no período de 14/05/2014 a 30/07/2014 tratando o Cálculo Proposicional 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 para a Avaliação Formal da Validade e da Consistência de Raciocínios Dedutivos estruturados como Argumentos (em geral) ou Inferências (em particular), bem como desenvolvendo Procedimentos Técnicos de Decisão Semânticos e Sintáticos estabelecidos em Análise Inferencial, Teoria da Demonstração Sentencial e Teoria da Argumentação Lógica.

Carlos Magno Corrêa Dias
30/07/2024

Lógica inferencial avançando no tempo.

Há mais de dez anos, lá em maio de 2014, iniciava o Curso de Extensão Universitária em CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL (concluído em 28/07/2014) no qual apresentei o Cálculo Proposicional 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 para 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. - 2024

No Curso em CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL desenvolvi, também, Procedimentos Técnicos de Decisão Semânticos e Sintáticos estabelecidos em Análise Inferencial, Teoria da Demonstração Sentencial e Teoria da Argumentação Lógica.

Centrado nos fundamentos da Análise Inferencial e Teoria da Argumentação, desenvolvidos em Lógica Formal (Dedutiva), o Curso de Extensão Universitária em CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL foi mais um momento direcionado para proporcionar capacitação na Avaliação da Validade de Argumentos Dedutivos e para apresentar, também, técnicas poderosas necessárias e eficientes para promover a correção de Raciocínios Falaciosos frequentemente gerados e não percebidos.

Carlos Magno Corrêa Dias
29/07/2024

Como nascem os paradoxos.

Tudo tem uma LÓGICA muito embora, na maioria das vezes, sejamos incapazes de concordar com as razões advindas das necessárias premissas. ... ... ... Assim, então, nascem os PARADOXOS.

DIAS, C. M. C. - 2024

Carlos Magno Corrêa Dias
09/07/2024

Obra sobre Silogística avançando para meio século.

“Partindo-se do fato que a linguagem usual, decorrente da língua materna, é imprecisa, apresentando, em muitas das vezes, um caráter polissêmico; é notório, centrando-se em condições históricas, pretender qualificar que as linguagens formais (linguagens simbólicas) revestem-se de funções precisas e imperiosas, sendo, em essência, monossêmicas [que têm apenas um sentido] e depuradas de ambiguidades. Neste sentido, dissimulando tendências de natureza conceitual, ou mesmo divorciando-se de consagradas correntes filosóficas, há de se dizer que o cientista, atualmente, distingue-se de seus antepassados, categoricamente, pela detenção do poder originário das linguagens simbólicas explícitas ou subjacentes; as quais além de possibilitar a criação de novas tecnologias possibilitam ao pesquisador vislumbrar limites jamais imagina­dos.”

O parágrafo precedente é apresentado como parte da introdução do meu artigo intitulado “Silogística: uma introdução à lógica dos enunciados categóricos” o qual foi publicado na “Revista Tecnologia & Humanismo” do então Cefet-PR (Centro Federal de Educação Tecnológica do Paraná), de número 19, do primeiro semestre de 1999, há mais de 25 (vinte e cinco) anos, há mais de um quarto de século.

DIAS, C. M. C. - 2024

No artigo enfatizo “o quão importante é dominar uma deter­minada linguagem formal para se pensar correta­mente na dependência do universo relacional onde o pensamento se obriga à tomada de decisões”; bem como apresento técnicas formais de estruturação e avaliação de raciocínios analíticos em nível quantificacional a partir da Silogística de Aristóteles e, em particular, sobre a Lógica das Proposições Categóricas; as quais emprestam ao homem o método analítico eficaz para o desenvolvimento de suas potencialidades.

“Silogística: uma introdução à lógica dos enunciados categóricos” encontra-se disponível no PERI (Portal de Periódicos Científicos da UTFPR (Universidade Tecnológica federal do paraná)) no endereço http://periodicos.utfpr.edu.br/rth/article/view/6598.

Celebro, com júbilo, mais este importante trabalho que desde sua publicação vem sendo fonte de inspiração para outros trabalhos inovadores e fundamentais.

Carlos Magno Corrêa Dias
03/07/2024

Futuro internacional da Indústria do Paraná.

A convite do Sistema Fiep (Sistema Federação das Indústrias do Estado Paraná) participei, em maio de 2024, da Consulta Pública sobre o Projeto “ROTAS ESTRATÉGICAS PARA O FUTURO DOS NEGÓCIOS INTERNACIONAIS PARANAENSES 2040” quando encaminhei proposições de série de ações estratégicas visando moldar o caminho internacional a ser percorrido pela Indústria do Paraná até o ano de 2040.

Sistema Fiep - 2024

No conjunto de sugestões apresentadas considerei, também, posições pontuais sobre as principais barreiras impeditivas para o pleno alcance da visão de futuro estruturada no Projeto “ROTAS ESTRATÉGICAS PARA O FUTURO DOS NEGÓCIOS INTERNACIONAIS PARANAENSES 2040”.

O objetivo do projeto em referência é desenvolver um planejamento estratégico robusto para orientar o crescimento dos negócios internacionais do Estado do Paraná até o ano de 2040.

De forma prospectiva, centrada na inteligência coletiva de especialistas, o Projeto “ROTAS ESTRATÉGICAS PARA O FUTURO DOS NEGÓCIOS INTERNACIONAIS PARANAENSES 2040” foi idealizado objetivando a elaboração de um Roadmap com ações de curto, médio e longo prazo para mobilizar, alinhar e coordenar esforços rumo ao futuro pretendido do Estado do Paraná no campo industrial.

Carlos Magno Corrêa Dias
17/06/2024

Computação Teórica e IA acontecem a partir de Turing.

No dia 7 de junho de 1954, há 70 anos, falecia o Pai da CIÊNCIA DA COMPUTAÇÃO TEÓRICA e Pai da IA (Inteligência Artificial), o brilhante cientista Alan Mathison Turing (1912-1954) aquele que foi uma das mentes mais incríveis que a humanidade já conheceu e cujos estudos e trabalhos são a base da Computação atual.

DIAS, C. M. C. - 2024

Alan Mathison Turing é apenas um divisor de realidades dado que a partir de seu "modelo de computador universal" o mundo se transformou em uma realidade jamais sequer pensada antes. Os trabalhos de Alan Mathison Turing proporcionaram formalizar os conceitos de algoritmo e de computação.

Sua “MÁQUINA UNIVERSAL” (a “Máquina de Turing”) é o "modelo teórico de computador de uso geral" que antecedeu os modernos computadores digitais. A “MÁQUINA UNIVERSAL”, capaz de modelar qualquer computador digital, é um poderoso modelo abstrato de computar que não necessitando de implementação física pode dar conta efetivamente dos aspectos lógicos de funcionamento de um computador tais como memória, estados e transições.

O incrível “Teste de Turing” (ou "Jogo da Imitação" como originalmente foi chamado) possibilita (efetivamente) conferir se o computador “pensa” tal como o cérebro humano uma vez que permite testar a capacidade de uma máquina de exibir comportamento inteligente ao de um ser humano ou indistinguível deste. Assim, o britânico Alan Mathison Turing é, também, o precursor da IA cabendo-lhe o título de Pai da IA.

Depois de Alan Mathison Turing o mundo não foi mais o mesmo e tudo que existe hoje no campo da Computação está de alguma forma relacionado ao seu legado.

Sem o matemático, cientista da computação, lógico, criptoanalista, filósofo e biólogo teórico Alan Mathison Turing a tecnologia e a humanidade estariam muito mais atrasadas e com limitadas possibilidades de avançar rumo ao desenvolvimento e ao progresso.

Carlos Magno Corrêa Dias
07/06/2022