2 papers
cs.LO2007
Kleene, Rogers and Rice Theorems Revisited in C and in Bash
Salvatore Caporaso, Nicola Corriero
The recursion theorem in the weak form {e}(z)=x(e,z) (universal function not needed) and in Rogers form {n}(z)={{x}(n)}(z) and Rice theorem are proved a first time using programs i…
cs.LO2006
A Predicative Harmonization of the Time and Provable Hierarchies
Salvatore Caporaso
A decidable transfinite hierarchy is defined by assigning ordinals to the programs of an imperative language. It singles out: the classes TIMEF(n^c) and TIMEF(n_c); the finite Grze…