Logo
Home Study Material Contact Search
AI Chat FREE
  1. business
  2. accounting
  3. natural numbers: 0 : s.z.z 1 : s.z.s(z) 2 : s.z.

Natural Numbers: 0 : s.z.z 1 : s.z.s(z) 2 : s.z.s(s(z)) 3 :...

70.2K

Verified Solution

Question

Accounting

Natural Numbers:

0 : s.z.z

1 : s.z.s(z)

2 : s.z.s(s(z))

3 : s.z.s(s(s(z)))

etc.

Successor ("add one") function:

S : a.b.c.b(a b c)

Multiply function:

M: a.b.c.a(b c)

Answer the following questions:

#1. Write and show the full evaluation of the following -applications:

  1. S 0
  2. S 1

#2. Prove (or argue as fully as you can) that S works for all natural numbers.

#3. Write and show the full evaluation of the following -application:

(M 2 3)

#4. Prove (or argue as fully as you can) that M works for all pairs of natural numbers.

#5. BONUS philosophical question: do you think there is a -application that describes the entire universe in every aspect? Why or why not?

Answer & Explanation Solved by verified expert
Get Answers to Unlimited Questions

Join us to gain access to millions of questions and expert answers. Enjoy exclusive benefits tailored just for you!

Membership Benefits:
  • Unlimited Question Access with detailed Answers
  • Zin AI - 3 Million Words
  • 10 Dall-E 3 Images
  • 20 Plot Generations
  • Conversation with Dialogue Memory
  • No Ads, Ever!
  • Access to Our Best AI Platform: Flex AI - Your personal assistant for all your inquiries!
Become a Member

Other questions asked by students