The paper's proposed characterization of p-simulation between theories is not established, because the right-to-left proof uses an invalid logical generalization step.
Calude and Helmut J¨ urgensen, Is complexity a source of incompleteness? , Advances in Applied Mathematics 35 (2005), no
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.CC 1years
2025 1verdicts
REJECT 1roles
background 1polarities
support 1representative citing papers
citing papers explorer
-
A Proposed Characterization of p-Simulation Between Theories
The paper's proposed characterization of p-simulation between theories is not established, because the right-to-left proof uses an invalid logical generalization step.