Kleene, Rogers and Rice Theorems Revisited in C and in Bash
| dc.creator | Caporaso, Salvatore | |
| dc.creator | Corriero, Nicola | |
| dc.date | 2007-12-08 | |
| dc.date.accessioned | 2026-07-07T08:48:07Z | |
| dc.date.available | 2026-07-07T08:48:07Z | |
| dc.description | 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. | |
| dc.description | 10 pages | |
| dc.identifier | https://arxiv.org/abs/0712.1279 | |
| dc.identifier | http://arxiv.org/abs/0712.1279 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/143837 | |
| dc.subject | Logic in Computer Science | |
| dc.subject | F.4.1 | |
| dc.title | Kleene, Rogers and Rice Theorems Revisited in C and in Bash | |
| dc.type | text |