Produção Nacional
Revisado por pares
Pares de Galois e espaços de Tarski
2018; Volume: 19; Issue: 1 Linguagem: Português
10.23925/2316-5278.2018v19i1p110-132
ISSN2316-5278
AutoresHércules de Araújo Feitosa, Cristiane Alexandra Lázaro, Mauri Cunha do Nascimento,
Tópico(s)History and Theory of Mathematics
ResumoApresentamos conceitos algébricos básicos e fundamentais como conjuntos ordenados, reticulados, álgebra de Boole e as TK-álgebras. Destacamos os espaços de Tarski, associados ao conceito de sistema dedutivo (de Tarski) e sua apresentação quase topológica. Então, apresentamos a Lógica da Dedutibilidade, vinda da formalização lógica dos espaços de Tarski. A seguir, trazemos os pares de funções de Galois, que surgem em muitos tópicos da Matemática. Como resultado original, além de alguns desenvolvimentos teóricos, destacamos uma conexão de Galois com os espaços de Tarski.
Referência(s)