Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I don't know if this is the correct place for this, but I was reading this: page 69.

and I don't fully understand how they are forming these proofs. For example, I was trying to follow Proof of (Tb5) (towards the top of p. 69) but I don't fully understand how they are making the jumps that they do. Maybe I don't understand the process of doing these proofs, but I can't really find anything with a better description online.

I tried working through the "trivial" proof of (Tb8) on the bottom of p. 69, but I don't know where to go after writing the definition of atnext.

Can someone explain to me what is going on in plain English? Any suggestions on reading to understand proofs like this?

share|cite|improve this question
Your link seems to be dead. – EuYu Nov 16 '12 at 23:02
Should work now! – Charles D Nov 16 '12 at 23:27
I would suggest that you either type up the relevant sections or attach them as images here if it's too long. There's a chance that the link will drop again and many people here do not like to visit external links. – EuYu Nov 16 '12 at 23:36
Updated again. Thanks! – Charles D Nov 16 '12 at 23:41

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.