Kleene, Rogers and Rice Theorems Revisited in C and in Bash
Logic in Computer Science
2007-12-11 v1
Abstract
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 in C, and a second time with scripts in Bash.
Cite
@article{arxiv.0712.1279,
title = {Kleene, Rogers and Rice Theorems Revisited in C and in Bash},
author = {Salvatore Caporaso and Nicola Corriero},
journal= {arXiv preprint arXiv:0712.1279},
year = {2007}
}
Comments
10 pages