Computação Quântica
[Brevemente]
Descrição da Oportunidade
Tema: Exploração da lógica paraconsistente e probabilidade não-aditiva na formulação da teoria quântica. Contexto e objetivos: A lógica clássica padrão obedece ao princípio da explosão: a partir de uma contradição, todas as afirmações se seguem. Qualquer teoria que contenha uma única contradição é, assim, trivializada — tudo é provado e se torna inútil. Este constitui um obstáculo estrutural sempre que surgem afirmações contraditórias sem que haja uma verdadeira anomalia, o que sucede em diversas situações, por exemplo, em bases de dados inconsistentes, normas jurídicas conflitantes e — o que é mais relevante no contexto deste projecto — os teoremas de impossibilidade que surgem na teoria quântica (Bell, Kochen–Specker, etc.). Tais teoremas estabelecem uma contradição entre as previsões da teoria quântica e os pressupostos de certos modelos de variáveis ocultas, cuja estrutura subjacente é clássica (uma álgebra Booleana de propriedades com probabilidade clássica). As lógicas paraconsistentes rejeitam o princípio da explosão: uma contradição é tolerada localmente sem trivializar a teoria circundante. O contexto algébrico natural é a classe das álgebras co-Heyting — os duais das álgebras de Heyting — nas quais a lei da não contradição pode falhar. Estas estruturas surgem canonicamente na topologia sem pontos: o reticulado de sublocais de um local forma uma álgebra co-Heyting, fornecendo uma classe ampla e bem compreendida de modelos paraconsistentes. Este projeto visa desenvolver modelos baseados em lógica paraconsistente e na teoria da probabilidade não aditiva para substituir os modelos de variáveis ocultas usados em teoria quântica. O projeto tem dois objetivos: (i) realizar uma reformulação paraconsistente dos teoremas de impossibilidade da teoria quântica (partindo do teorema de Bell), e (ii) desenvolver a teoria da probabilidade não-aditiva em álgebras co-Heyting. Atividades: - elaborar um relatório sobre modelos paraconsistentes em teoria quântica; - elaborar um relatório sobre o desenvolvimento da teoria da probabilidade não-aditiva em álgebras co-Heyting; - analisar as possíveis implicações em computação quântica, nomeadamente no desenvolvimento de algoritmos que explorem contextualidade; - submeter dois artigos sobre os resultados de investigação obtidos; - colaborar com o grupo de computação quântica no INESC TEC explorando sinergias entre este tema e investigação corrente no grupo; - realizar uma unidade curricular de competências transversais.
Habilitações Académicas
- Mestrado em Ciências da Computação, Física ou área afim.
Requisitos Mínimos
- Conhecimentos e experiência prévia de investigação em lógicas paraconsistentes, teoria da informação quântica e computação quântica;- 2 artigos publicados em conferência ou revista com revisão por pares na área da teoria da informação quântica ou computação quântica.
Fatores de Preferência
- Publicações em lógicas paraconsistentes, teoria da informação quântica e computação quântica;
Período de candidatura
Desde 15 Jun 2026 a 26 Jun 2026
[Brevemente]
Centro
Laboratório de Software Confiável