There is a newer version of the record available.

Published May 18, 2026 | Version v2
Preprint Restricted

Ontológico: argumento para CoNP×NP e PvsNP

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.

Files

Restricted

The record is publicly accessible, but files are restricted. Log in to check if you have access.