Answered step by step
Verified Expert Solution
Link Copied!

Question

1 Approved Answer

Let N={0,1,2,dots} and let psi be a function from Ntimes N into N such that R1psi (a,0)=a+1 R2psi (0,b+1)=psi (1,b) R3psi (a+1,b+1)=psi (psi (a,b+1),b)

Let

N={0,1,2,dots}

and let

\\\\psi

be a function from

N\\\\times N

into

N

such that\

R1\\\\psi (a,0)=a+1\ R2\\\\psi (0,b+1)=\\\\psi (1,b)\ R3\\\\psi (a+1,b+1)=\\\\psi (\\\\psi (a,b+1),b)

\ (1) Find

\\\\psi (2,1)

.\ (2) Show that for all

a,binN,\\\\psi (a,b)

can be calculated in a finite number of steps using (R1),(R2), and (R3). (Hint: Use double induction. Let

S(b)

say: For all

ainN

,

\\\\psi (a,b)

can be calculated in a finite number of steps using (R1), (R2), and (R3). Prove

S(b)

by induction. In proving

S(b+1)

, let

T(a)

say:

\\\\psi (a,b+1)

can be calculated in a finite number of steps using (R1), (R2), and (R3). Prove

T(a)

by induction.)\ (3) Guess at, and then prove by induction, a formula for

\\\\psi (a,2)

.\ (4) Find

\\\\psi (5,4)

.

image text in transcribed
8. Let N={0,1,2,} and let be a function from NN into N such that R1(a,0)=a+1R2(0,b+1)=(1,b);R3(a+1,b+1)=((a,b+1),b). (1) Find (2,1). (2) Show that for all a,bN,(a,b) can be calculated in a finite number of steps using (R1), (R2), and (R3). (Hint: Use double induction. Let S(b) say: For all aN, (a,b) can be calculated in a finite number of steps using (R1), (R2), and (R3). Prove S(b) by induction. In proving S(b+1), let T(a) say: (a,b+1) can be calculated in a finite number of steps using (R1), (R2), and (R3). Prove T(a) by induction.) (3) Guess at, and then prove by induction, a formula for (a,2). (4) Find (5,4)

Step by Step Solution

There are 3 Steps involved in it

Step: 1

blur-text-image

Get Instant Access to Expert-Tailored Solutions

See step-by-step solutions with expert insights and AI powered tools for academic success

Step: 2

blur-text-image

Step: 3

blur-text-image

Ace Your Homework with AI

Get the answers you need in no time with our AI-driven, step-by-step assistance

Get Started

Recommended Textbook for

Machine Learning And Knowledge Discovery In Databases European Conference Ecml Pkdd 2015 Porto Portugal September 7 11 2015 Proceedings Part 2 Lnai 9285

Authors: Annalisa Appice ,Pedro Pereira Rodrigues ,Vitor Santos Costa ,Joao Gama ,Alipio Jorge ,Carlos Soares

1st Edition

3319235249, 978-3319235240

More Books

Students also viewed these Databases questions

Question

7. Discuss the key features of the learning organization.

Answered: 1 week ago