On the existence of certain total recursive functions in nontrivial axiom systems, I
| dc.creator | da Costa, N. C. A. | |
| dc.creator | Doria, F. A. | |
| dc.date | 1998-04-30 | |
| dc.date.accessioned | 2026-07-07T02:36:13Z | |
| dc.date.available | 2026-07-07T02:36:13Z | |
| dc.description | We investigate the existence of a class of ZFC-provably total recursive unary functions, given certain constraints, and apply some of those results to show that, for $Σ_1$-sound set theory, ZFC$\not\vdash P<NP$. | |
| dc.description | LaTeX, 16 pages, no figures. This paper was submitted to a major journal in the field and rejected. The referee somehow misundesrtood Corollary 3.8 and wrongly concluded that the proof had either a gap or an error. Can you find whether that error exists? | |
| dc.identifier | https://arxiv.org/abs/cmp-lg/9804005 | |
| dc.identifier | http://arxiv.org/abs/cmp-lg/9804005 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/15835 | |
| dc.subject | Computation and Language | |
| dc.title | On the existence of certain total recursive functions in nontrivial axiom systems, I | |
| dc.type | text |