22 Jun
2006
22 Jun
'06
10:21 a.m.
On 2006-06-22 at 15:16BST "Brian Hulley" wrote:
minh thu wrote:
y and yq are infinite...
But how does this change the fact that y still has 1 more element than yq? yq is after all, not a circular list.
infinity+1 = infinity
I don't see why induction can't just be applied infinitely to prove this.
because (ordinary) induction won't go that far. -- Jón Fairbairn Jon.Fairbairn at cl.cam.ac.uk