Published May 18, 2026
| Version v2
Preprint
Restricted
Ontológico: argumento para CoNP×NP e PvsNP
Authors/Creators
Description
Registro do artigo de prova com argumento ontológico. Ainda busco estruturar prova formal seja matemática clássica ou via verificador de teoremas.
Por enquanto ainda é um framework teórico, mas muito próximo de uma prova semi-formal.