Harry, have you figured out induction yet?

[paulw]

Harry,

Did you ever get the formal proof to your induction q.? I'd be interested in it.

Cheers,

P.

[HarryW]

Hey Paul

Yeah I think I did. I just kept at it in Notepad for a couple of hours and eventually I think I figured it out. I posted my solution on the original thread I think. I would paste it in here, but I'm at home visiting family at the moment on a different computer. I still have the text file on my own computer in Guildford though, if I can find it.

Did you figure it out? I got the feeling you didn't want to tell me anything in case I was cheating The due date is long gone now anyway, and I doubt I got many marks for it. Luckily it's a programming module (supposedly; mainly we've done abstract data types and finite state automata) so I picked up plenty of marks on the other courseworks.

Check the old thread, I think it's there somewhere

[paulw]

I just wondered whether you had the formal proof from your tutor. It would have been interesting. You got there, though maybe too late for marks (can you submit a thread to Uni tutors? No.).

Cheers,

P.

[HarryW]

Unfortunately the lecturer owes us about 3 sets of coursework, and that induction one was the last of them. I doubt we'll ever get it back now, since it's a reading week and then 2 weeks of exams; lectures are over for this semester. Maybe next semester we'll get it back, but I doubt it. I meant to go and speak to the lecturer and see if my proof was correct, but there were always other things to do... like go down the pub, play pool, stay in bed, etc

Did you see the proof I posted? What did you think?