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

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

2007-12-08

arxiv.org/abs/0712.1279v1

Computer Science

Logic in Computer Science

10 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Kleene, Rogers and Rice Theorems Revisited in C and in Bash does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Kleene, Rogers and Rice Theorems Revisited in C and in Bash, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Kleene, Rogers and Rice Theorems Revisited in C and in Bash will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-325087