Kleene, Rogers and Rice Theorems Revisited in C and in Bash

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/143837The 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 in C, and a second time with scripts in Bash.10 pagesLogic in Computer ScienceF.4.1Kleene, Rogers and Rice Theorems Revisited in C and in Bashtext