On a total function which overtakes all total recursive functions
From MaRDI portal
Abstract: 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.
This page was built for publication: On a total function which overtakes all total recursive functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6471144)
