Work

A Conditional Proof in Classical sigma–Calculus

Year: 2025

Type: article

Abstract: Within the discrete tension formalism (classical sigma–Calculus) we define polynomial–workcomputations (P_sigma ) and witness–verifiable computations (NP_sigma ). Disclaimer updated.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.15447651

Author: Sievers, Oliver

Language: English

Topic: Computability, Logic, AI Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6911971091

FWCI:

Cites:

Cited by:

Related to: