[2014-09-27] Math Party

Post a reply


This question is a means of preventing automated form submissions by spambots.
Smilies
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :?: :idea: :| (o~o) :geek: :[] :geek2: :][>:=~+:

BBCode is ON
[img] is ON
[flash] is OFF
[url] is ON
Smilies are ON

Topic review
   

Expand view Topic review: [2014-09-27] Math Party

Re: [2014-09-27] Math Party

by AmagicalFishy » Fri Oct 10, 2014 1:55 am

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).

Re: [2014-09-27] Math Party

by hughperman » Thu Oct 09, 2014 6:03 am

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

by lahvak » Thu Oct 09, 2014 1:52 am

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

by Furius » Wed Oct 08, 2014 6:45 pm

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

by lahvak » Tue Oct 07, 2014 3:53 am

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

by AmagicalFishy » Mon Oct 06, 2014 11:47 am

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

by lahvak » Mon Oct 06, 2014 1:23 am

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

by Peon » Fri Oct 03, 2014 3:54 am

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

by Lethal Interjection » Tue Sep 30, 2014 10:30 pm

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

by theory » Tue Sep 30, 2014 8:15 pm

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

by GUTCHUCKER » Tue Sep 30, 2014 9:14 am

Nuoh my gawd

Re: [2014-09-27] Math Party

by DonRetrasado » Tue Sep 30, 2014 7:10 am

Oh my god I HATE math!!

Re: [2014-09-27] Math Party

by Peon » Tue Sep 30, 2014 4:56 am

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

by AmagicalFishy » Tue Sep 30, 2014 1:20 am

are you trolling me

Re: [2014-09-27] Math Party

by Peon » Mon Sep 29, 2014 11:43 pm

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?

Top