Welcome! Log In Create A New Profile

Advanced

Chpt 4 section 1 explanation needed

Posted by Anonymous User 
Announcements Last Post
Announcement SoC Curricula 09/30/2017 01:08PM
Announcement Demarcation or scoping of examinations and assessment 02/13/2017 07:59AM
Announcement School of Computing Short Learning Programmes 11/24/2014 08:37AM
Announcement Unisa contact information 07/28/2011 01:28PM
Anonymous User
Chpt 4 section 1 explanation needed
August 15, 2007 08:41AM
Hi

On page 66 of the text book, there is something I would like explained.

For unlabelled X <- X + 1 they have:
<0, <1,1>> I understand where this comes from.
They then say <0, <1,1>> = <0, 5>. I assume they get the 5 from
21 + 31. This is where stuff stops making sense. Why is it 2 + 3 and not 2 * 3. I am sure the Goedel numbers are . and not +.

Anyhow, lets assume it is a +. They then say <0, 5> = 10. Okay... 1* 0 + 2* 5 = 10. (Is this correct - because if you assume this to be correct then the rest of the page makes no sense).


The rest of the page:

labeled [A] X <- X + 1 gives <1, <1, 1>>. This I understand.
<1, <1, 1>> = <1,5> This I understand too if 1 + 31 is used instead of 1 . 31.

Then the part that really stumps me is: <1, 5> = 21. How do they get that??

Any help would be appreciated!

Thanks
Celene
Anonymous User
Re: Chpt 4 section 1 explanation needed
August 16, 2007 08:28AM
I got an answer from the lecturer smiling smiley so for anyone else who may get stuck:

On page 59 of the textbook we find <x,y>=2x(2y+1)-1.

This means that <0,5>=20(2(5)+1)-1, which is equal to 1(10+1)-1, which simplifies to 10. Similarly, <1,5>=21(2(5)+1)-1, which simplifies to 2(11)-1 or 21.
Sorry, only registered users may post in this forum.

Click here to login