(Boolean Arithmetic And Linguistics' HOME PAGE)

(Esta página é mantida pelo Professor Wagner Waneck Martins/e-mail: waneck@usp.br )

*Esta "web page" oferece a V. um Curso de um novo ramo da Matemática Booleana no campo dos números binários, "0/1", chamado Aritmética Booleana e sua conseqüente Lingüística Booleana (ou, Lingüística Técnica), matematicamente isomórfica à literal expressão da Álgebra Booleana.

*Este Curso introduz o Kantiano conceito de ‘tempo matemático' na clássica Teoria dos Conjuntos e mostra como é possível obter uma completa solução de certos Sistemas Simultâneos de Equações Booleanas, um assunto de extrema relevância para a lógica matemática computacional.

*Este estudo matemático permite obter, entre outras coisas, a impossibilidade da introdução de "virus" no processamento computacional, a produção automática de "software" matematicamente livre de falhas causadas por fatores humanos, a completa segurança na operação computacional a tempo real, onde não há mais necessidade de se utilizar o comando das chaves "Ctrl+Alt+Del" ou "Reset".

*Engenharia de "Software" construiu a maior parte de seus programas empiricamente, enquanto que a Engenharia de "Hardware" construiu seus "chips" fortemente baseada na Álgebra Booleana. Usando Aritmética Booleana/Lingüística Técnica, a mesma segurança operacional atualmente existente na "hardware computing" pode ser encontrada .para as atuais operações computacionais de "software" e de "firmware".

*Uma linguagem computacional matemática, chamada "Esperangol, Direta e Reversa", é apresentada a qual é única e reversível.

*Neste novo campo acadêmico de pesquisas, diversos artigos foram publicados e importantes Teses de Doutoramento foram defendidas e aprovadas no Departamento de Energia e Automação Elétricas da Escola Politécnica da Universidade de São Paulo, como os seguintes: "C.L.P. Não-Von a Tempo Real, matematicamente programável"; "A Engenharia da Dedução de Textos e a eliminação matemática da Incompatibilidade Nodal numa microprogramação estruturada a Tempo Real"; "Bloqueio & Intertravamento Eletrônicos a Tempo Real, matematicamente microprogramado, aplicado à Sinalização Ferroviária"; etc.