EMARANHAMENTO: UMA ABORDAGEM LÓGICA

NESTA DISSERTAÇÃO APRESENTAMOS UM NOVO FORMALISMO LÓGICO, BASEADO NO SISTEMA MODAL S4, INTRODUZIDO POR DÉCIO KRAUSE E JONAS ARENHART, PARA TRATAR DOS CONCEITOS DA MECÂNICA QUÂNTICA DE SUPERPOSIÇÃO E MEDIDA. ALÉM DISSO, DESENVOLVEMOS, DE MODO INFORMAL, UMA EXTENSÃO DO FORMALISMO APRESENTADO PARA SER POSSÍVEL TRATAR DE SISTEMAS QUÂNTICOS COMPOSTOS E DO CONCEITO DE EMARANHAMENTO. NO CAPÍTULO 1 APRESENTANDO CONCEITOS MATEMÁTICOS E FÍSICOS BÁSICOS, ESSENCIAIS PARA A COMPREENSÃO DO TEMA. EM SEGUIDA, NO CAPÍTULO 2, APRESENTAMOS A ABORDAGEM POR TEORIA DE RETICULADOS, QUE DEU INÍCIO À ÁREA DE PESQUISA CONHECIDA COMO LÓGICA QUÂNTICA. POR FIM, NO CAPÍTULO 3, APRESENTAMOS A ABORDAGEM DADA PELOS AUTORES, CITADOS ACIMA, E, POR FIM, PROPOMOS UM MODO DE ESTENDER O FORMALISMO DE FORMA A PERMITIR QUE TRATEMOS DE SISTEMAS QUÂNTICOS COMPOSTOS E DAR UMA PROPRIEDADE QUE SISTEMAS EMARANHADOS DEVEM POSSUIR