Live data from Hacker News

All People in Canada are the Same Age (1997)

math.toronto.edu

1–10 of 102 posts

Re: All People in Canada are the Same Age (1997)

#6

Step 9 doesn't work because it introduces a third person, and so fails to demonstrate S(2)

Isn't it Step 4, which uses as a premise what the whole thing is supposed to prove?

"in every group of k people, everyone has the same age"

You can't use your conclusion in your assumption!

Re: All People in Canada are the Same Age (1997)

#7
post #6

Step 9 doesn't work because it introduces a third person, and so fails to demonstrate S(2)

Isn't it Step 4, which uses as a premise what the whole thing is supposed to prove? "in every group of k people, everyone has the same age" You can't use your conclusion in your assumption!

That's the way induction works. Assume the statement is true for n Deduce that it then must be true for n+1 Prove it for n=1 Now it's proven for every n

Re: All People in Canada are the Same Age (1997)

#8
post #6

Step 9 doesn't work because it introduces a third person, and so fails to demonstrate S(2)

Isn't it Step 4, which uses as a premise what the whole thing is supposed to prove? "in every group of k people, everyone has the same age" You can't use your conclusion in your assumption!

You might want to read the section "A Brief Review of the Principle of Induction".

Re: All People in Canada are the Same Age (1997)

#9
post #6

Step 9 doesn't work because it introduces a third person, and so fails to demonstrate S(2)

Isn't it Step 4, which uses as a premise what the whole thing is supposed to prove? "in every group of k people, everyone has the same age" You can't use your conclusion in your assumption!

[deleted]
Post reply on HN