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

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

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.
10 pages

Keywords

Logic in Computer Science, F.4.1

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/143837

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0712.1279
 http://arxiv.org/abs/0712.1279

Collections

arXiv