Seite 1 von 1

Assignment 4.1 - questions

Verfasst: 14. Nov 2013 18:29
von aloifolia
4.1.1
(i) Is <n> also a value?
(ii) Should numbers not be circumvented by inequality signs?

4.1.2
(iii) What is meant by 'variable convention'? I just do not get the essence of the question...

Re: Assignment 4.1 - questions

Verfasst: 14. Nov 2013 23:09
von erdweg
aloifolia hat geschrieben:4.1.1
(i) Is <n> also a value?
yes
(ii) Should numbers not be circumvented by inequality signs?
I don't understand this question.
4.1.2
(iii) What is meant by 'variable convention'? I just do not get the essence of the question...
Well, your question is the essence of task 4.1.2. The variable convention we use goes back to Barendregt. You may find this information helpful: http://en.wikipedia.org/wiki/De_Bruijn_ ... jn_indices

Re: Assignment 4.1 - questions

Verfasst: 15. Nov 2013 13:08
von dschneid
erdweg hat geschrieben:
(ii) Should numbers not be circumvented by inequality signs?
I don't understand this question.
I think the question is why you didn't enclose numeric constants in angled brackets in the expressions which we are to evaluate, even though the official syntax requires it.

Re: Assignment 4.1 - questions

Verfasst: 15. Nov 2013 13:21
von erdweg
Oh, I see. That was a sloppipness on my part. I fixed it, thanks.