Published May 15, 2026
| Version v1
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.