On a total function which overtakes all total recursive functions
| dc.creator | da Costa, N. C. A. | |
| dc.creator | Doria, F. A. | |
| dc.date | 2001-06-12 | |
| dc.date.accessioned | 2026-07-07T04:42:07Z | |
| dc.date.available | 2026-07-07T04:42:07Z | |
| dc.description | This paper discusses a function that is frequently presented as a simile or look-alike of the so-called ``counterexample function to P=NP,'' that is, the function that collects all first instances of a problem in NP where a poly machine incorrectly `guesses' about the instance. We state and give in full detail a crucial result on the computation of Goedel numbers for some families of poly machines. | |
| dc.description | LaTeX | |
| dc.identifier | https://arxiv.org/abs/math/0106099 | |
| dc.identifier | http://arxiv.org/abs/math/0106099 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/61642 | |
| dc.subject | Logic | |
| dc.title | On a total function which overtakes all total recursive functions | |
| dc.type | text |