pith. sign in

arxiv: 0810.0033 · v4 · submitted 2008-09-30 · 💻 cs.CC · math.GT

Complexity Classes as Mathematical Axioms

classification 💻 cs.CC math.GT
keywords complexityaxiomsclassesaxiomcardinalconjectureconnectionfinitistic
0
0 comments X
read the original abstract

Treating a conjecture, P^#P != NP, on the separation of complexity classes as an axiom, an implication is found in three manifold topology with little obvious connection to complexity theory. This is reminiscent of Harvey Friedman's work on finitistic interpretations of large cardinal axioms.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.