Page 2 of 2

Re: [2014-09-27] Math Party

Posted: Mon Sep 29, 2014 11:43 pm
by Peon
You sure do like to fill paragraphs with baloney. None of what you said indicates how "The Induction Step
Assume Q(m) is true for all m. That is, a group of m people is a party. Surely, removing a single person from a party will not alter it's party status. Thus, if Q(m) is true, then Q(m + 1) is true." is mathematically valid. Just because you say something "surely" doesn't make it mathematically valid. How can removing a single person from a party "surely" not alter its party status if we consider parties sized two or one or no people at all?

Re: [2014-09-27] Math Party

Posted: Tue Sep 30, 2014 1:20 am
by AmagicalFishy
are you trolling me

Re: [2014-09-27] Math Party

Posted: Tue Sep 30, 2014 4:56 am
by Peon
I'm not sure how else to describe a 20-post discussion about math pedantry. But if you're not trolling when you describe your "proof" as mathematically valid then I'd hate to see your real proofs. Math isn't just some game of mad libs; not only does the structure have to work but the arguments contained therein have to work as well.

Re: [2014-09-27] Math Party

Posted: Tue Sep 30, 2014 7:10 am
by DonRetrasado
Oh my god I HATE math!!

Re: [2014-09-27] Math Party

Posted: Tue Sep 30, 2014 9:14 am
by GUTCHUCKER
Nuoh my gawd

Re: [2014-09-27] Math Party

Posted: Tue Sep 30, 2014 8:15 pm
by theory
Isn't the point that this dude is so pathetic he is resorting to an obviously fallacious proof by induction?

Re: [2014-09-27] Math Party

Posted: Tue Sep 30, 2014 10:30 pm
by Lethal Interjection
theory wrote:Isn't the point that this dude is so pathetic he is resorting to an obviously fallacious proof by induction?
I think the point is that this thread is everything that is wrong with math. In that it is boring.

Re: [2014-09-27] Math Party

Posted: Fri Oct 03, 2014 3:54 am
by Peon
Related: https://medium.com/the-nib/no-youre-a-butt-e6836cc14af6

Zach sure likes his dubious applications of induction

Re: [2014-09-27] Math Party

Posted: Mon Oct 06, 2014 1:23 am
by lahvak
AmagicalFishy wrote: The Induction Step
Assume Q(m) is true for all m.
What you probably wanted to say is "for some m". Q(m) being true for all m is what you want to prove at the first place.

Other than that, this indeed is a mathematically valid proof. The problem is in the statement "Surely, removing a single person from a party will not alter it's party status." Assuming that statement is true, the proof itself is correct.

The problem with a sand heap is that a sand heap has an infinite number of grains of sand in it, that's why an induction like this cannot work.

Re: [2014-09-27] Math Party

Posted: Mon Oct 06, 2014 11:47 am
by AmagicalFishy
lahvak wrote:What you probably wanted to say is "for some m".
Oh, whoops—my mistake! I did not catch that, haha.

I've never heard of the sand heap in that paradox having an infinite number of grains, though; is that something I've just been missing? The reason the assumption-statement would be true (whether it be for a sand heap or a party) is because of the lack of definition for either. If one defined a party as "A gathering of 40 people," then removing a single person from a 40-person party would stop it from being a party (but then there'd be no Sorite's Paradox in the first place).

The paradox a bit more intuitive when one considers a heap of sand, but the same kind of definition can resolve it. Surely, removing a grain of sand from a heap of 1,000,000,000,000 grains does not make it not a heap. And, similarly, removing one more grain of sand does not. But, if we defined a "heap" as 999,999,999,998 grains or more, then removing a third grain of sand would make it not a heap.

Once you definitively define (!) things, there isn't much of a paradox.

Re: [2014-09-27] Math Party

Posted: Tue Oct 07, 2014 3:53 am
by lahvak
AmagicalFishy wrote:I've never heard of the sand heap in that paradox having an infinite number of grains, though; is that something I've just been missing?
Vopěnka, P. Mathematics in the Alternative Set Theory. Teubner, Leipzig, 1979.

Re: [2014-09-27] Math Party

Posted: Wed Oct 08, 2014 6:45 pm
by Furius
The problem with a sand heap is that a sand heap has an infinite number of grains of sand in it, that's why an induction like this cannot work.
Do you mean "indefinite"?

Re: [2014-09-27] Math Party

Posted: Thu Oct 09, 2014 1:52 am
by lahvak
Furius wrote:
The problem with a sand heap is that a sand heap has an infinite number of grains of sand in it, that's why an induction like this cannot work.
Do you mean "indefinite"?
No, I certainly do not mean "indefinite".

Re: [2014-09-27] Math Party

Posted: Thu Oct 09, 2014 6:03 am
by hughperman
So, the guy in the strip doesn't understand induction, and that's why he has no friends to come to his party? Maybe if you guys here could explain how it works to him, then he'd be better able to have friends.

Re: [2014-09-27] Math Party

Posted: Fri Oct 10, 2014 1:55 am
by AmagicalFishy
I could not find that book anywhere. :| Would you mind posting a quote? (I am still fairly certain the Sorites Paradox does not require infinite grains of sand, but am curious of the author's purpose in using it for one—and about the claim that it requires an infinite number of grains for the other).