1153: "Proof"

This forum is for the individual discussion thread that goes with each new comic.

Moderators: Moderators General, Prelates, Magistrates

User avatar
rhomboidal
Posts: 797
Joined: Wed Jun 15, 2011 5:25 pm UTC
Contact:

1153: "Proof"

Postby rhomboidal » Fri Dec 28, 2012 5:11 am UTC

Image

Title Text: The prosecution calls Gottfried Leibniz.

William Tell used Zeno's arrow just to mess with his son's head.

User avatar
ubikuberalles
Posts: 24
Joined: Mon Nov 16, 2009 4:09 pm UTC

Re: 1153: "Proof"

Postby ubikuberalles » Fri Dec 28, 2012 5:15 am UTC

To save time the judge should have told the lawyer to go to a point twice the distance as the judge's bench. When the lawyer reaches the halfway point, he's at the judge's bench!
Ranch!

sotanaht
Posts: 238
Joined: Sat Nov 27, 2010 2:14 am UTC

Re: 1153: "Proof"

Postby sotanaht » Fri Dec 28, 2012 5:54 am UTC

ubikuberalles wrote:To save time the judge should have told the lawyer to go to a point twice the distance as the judge's bench. When the lawyer reaches the halfway point, he's at the judge's bench!

But before he can reach that halfway point he first needs to go a quarter of the way...

devious
Posts: 2
Joined: Sat Aug 27, 2011 12:22 am UTC

Re: 1153: "Proof"

Postby devious » Fri Dec 28, 2012 6:15 am UTC

sotanaht wrote:
ubikuberalles wrote:To save time the judge should have told the lawyer to go to a point twice the distance as the judge's bench. When the lawyer reaches the halfway point, he's at the judge's bench!

But before he can reach that halfway point he first needs to go a quarter of the way...

Maybe he could just walk forward as fast as possible until he is either stopped or dead.

User avatar
sardia
Posts: 6800
Joined: Sat Apr 03, 2010 3:39 am UTC

Re: 1153: "Proof"

Postby sardia » Fri Dec 28, 2012 6:23 am UTC

sotanaht wrote:
ubikuberalles wrote:To save time the judge should have told the lawyer to go to a point twice the distance as the judge's bench. When the lawyer reaches the halfway point, he's at the judge's bench!

But before he can reach that halfway point he first needs to go a quarter of the way...

I never understood why zeno's paradox ever got any discussion as a real paradox, it has as much merit as the free energy myths, aka, none.

ijuin
Posts: 1108
Joined: Fri Jan 09, 2009 6:02 pm UTC

Re: 1153: "Proof"

Postby ijuin » Fri Dec 28, 2012 6:42 am UTC

I think that the point of Zeno's paradox is that, prior to having an understanding of Calculus, it is difficult to wrap one's mind around how an infinite series can converge to a finite value.

Turing Machine
Posts: 98
Joined: Fri Feb 19, 2010 5:48 am UTC

Re: 1153: "Proof"

Postby Turing Machine » Fri Dec 28, 2012 7:05 am UTC

sardia wrote:
sotanaht wrote:
ubikuberalles wrote:To save time the judge should have told the lawyer to go to a point twice the distance as the judge's bench. When the lawyer reaches the halfway point, he's at the judge's bench!

But before he can reach that halfway point he first needs to go a quarter of the way...

I never understood why zeno's paradox ever got any discussion as a real paradox, it has as much merit as the free energy myths, aka, none.


Because obviously space is infinitely divisible. That was proven by ____________

Zeno is hard for some people. Here is a ball. Perhaps you would care to bounce it.

BlueSoxSWJ
Posts: 25
Joined: Tue Apr 17, 2012 4:09 am UTC

Re: 1153: "Proof"

Postby BlueSoxSWJ » Fri Dec 28, 2012 7:49 am UTC

This reminds me of a historical Darwin Award winner:
Clement Vallandigham was a well-known Northern Democrat who campaigned for states' rights during the Civil War. In 1863 Vallandigham was convicted of treason for his speeches attacking the administration of President Lincoln. He was banished to the South, where he continued to voice his political views.

After the war, Vallandingham became a lawyer. In his last appearance in the courtroom, he represented a client on trial for murder. The accused man's defense was that the victim had drawn his own gun in a fashion that caused it to fire, killing himself. To prove the defense argument, Vallandigham demonstrated the victim's method of drawing a gun--using the loaded evidence gun as his prop. The firearm went off, and he lost his life--but proved his case.

User avatar
TimXCampbell
Posts: 110
Joined: Wed Jul 27, 2011 4:26 am UTC
Location: Very Eastern Kentucky, USA
Contact:

Re: 1153: "Proof"

Postby TimXCampbell » Fri Dec 28, 2012 7:58 am UTC

ijuin wrote:I think that the point of Zeno's paradox is that, prior to having an understanding of Calculus, it is difficult to wrap one's mind around how an infinite series can converge to a finite value.

[Emphasis added]

Indeed. Even in this day and age It took me until I was around 50 years old to finally understand (and accept) that .999… actually does equal 1. If I'd told that to a Pythagorean I probably would have been killed.

Turing Machine wrote:Zeno is hard for some people. Here is a ball. Perhaps you would care to bounce it.

Love your nickname. Are you really human? If so, where does the tape come out?

Anyway, I used to have a cat that I named Zeno. When I tossed him a ball he'd simply look at it, and then look at me. I think he was trying to convey that I was asking for the impossible.
Last edited by TimXCampbell on Fri Dec 28, 2012 8:00 am UTC, edited 2 times in total.

User avatar
Dr What
Posts: 69
Joined: Wed Dec 26, 2012 6:43 am UTC

Re: 1153: "Proof"

Postby Dr What » Fri Dec 28, 2012 7:59 am UTC

Laughing my knees off!
Leibniz : "I used to be a philosopher like you, then I ..."
Last edited by Dr What on Fri Dec 28, 2012 8:05 am UTC, edited 1 time in total.

Brian-M
Posts: 85
Joined: Tue Jan 18, 2011 6:31 am UTC

Re: 1153: "Proof"

Postby Brian-M » Fri Dec 28, 2012 8:04 am UTC

I'm used to seeing it spelled "Xeno". Seeing it as "Zeno" looks strange to me. But since the ancient Greeks didn't use the Latin alphabet, I suppose either way is equally valid.

Kit.
Posts: 1117
Joined: Thu Jun 16, 2011 5:14 pm UTC

Re: 1153: "Proof"

Postby Kit. » Fri Dec 28, 2012 9:30 am UTC

Brian-M wrote:I'm used to seeing it spelled "Xeno". Seeing it as "Zeno" looks strange to me. But since the ancient Greeks didn't use the Latin alphabet, I suppose either way is equally valid.

"Zeno" is actually Zenon, Ζήνων.
"Xenophon" is "Ξενοφῶν".

Not sure where you were seeing "it" spelled "Xeno".

User avatar
TimXCampbell
Posts: 110
Joined: Wed Jul 27, 2011 4:26 am UTC
Location: Very Eastern Kentucky, USA
Contact:

Re: 1153: "Proof"

Postby TimXCampbell » Fri Dec 28, 2012 10:56 am UTC

Kit. wrote:"Zeno" is actually Zenon, Ζήνων. "Xenophon" is "Ξενοφῶν". Not sure where you were seeing "it" spelled "Xeno".

Perhaps he or she 's thinking of xenon (the element). I guess that would be spelled Ξήνων, though I doubt the ancient Greeks had much use for it. Come to think of it, I don't have much use for it, either. I can't even spread it on a cracker.

squonk
Posts: 131
Joined: Fri May 21, 2010 12:25 pm UTC

Re: 1153: "Proof"

Postby squonk » Fri Dec 28, 2012 10:57 am UTC

Brian-M wrote:I'm used to seeing it spelled "Xeno". Seeing it as "Zeno" looks strange to me. But since the ancient Greeks didn't use the Latin alphabet, I suppose either way is equally valid.


I prefer Z-Know.

User avatar
J L
Posts: 242
Joined: Mon Jan 25, 2010 11:03 am UTC
Location: Germany
Contact:

Re: 1153: "Proof"

Postby J L » Fri Dec 28, 2012 11:51 am UTC

TimXCampbell wrote:
ijuin wrote:I think that the point of Zeno's paradox is that, prior to having an understanding of Calculus, it is difficult to wrap one's mind around how an infinite series can converge to a finite value.

[Emphasis added]

Indeed. Even in this day and age It took me until I was around 50 years old to finally understand (and accept) that .999… actually does equal 1. If I'd told that to a Pythagorean I probably would have been killed.

Thanks for making me feel less lonely down here between all those fine gentlemen riding their stately steeds.

Also:
explainxkcd wrote:Since mathematics started to be able to handle infinite processes, it has been suggested that the Dichotomy paradox is resolved by showing that the infinite number of terms involved add up to a finite sum. However, Zeno is rather saying "it is impossible to traverse an infinite number of things in a finite time", and is so arguably not concerned with finding a sum, but with finishing a task with an infinite number of steps. It remains a question of debate whether a mathematical approach addresses the central points in Zeno's arguments."

I'm note sure if this makes any difference mathematically, but it's a nice illustration of why the paradox seems to be at odds with everyday experience.

User avatar
PolakoVoador
Posts: 1028
Joined: Fri Jun 10, 2011 11:11 pm UTC
Location: Brazil

Re: 1153: "Proof"

Postby PolakoVoador » Fri Dec 28, 2012 12:20 pm UTC

This was a very good comic on itself, but the alt-text was unexpected and made me laugh even more. Well done, Randall, well done.

User avatar
orthogon
Posts: 3078
Joined: Thu May 17, 2012 7:52 am UTC
Location: The Airy 1830 ellipsoid

Re: 1153: "Proof"

Postby orthogon » Fri Dec 28, 2012 12:35 pm UTC

squonk wrote:
Brian-M wrote:I'm used to seeing it spelled "Xeno". Seeing it as "Zeno" looks strange to me. But since the ancient Greeks didn't use the Latin alphabet, I suppose either way is equally valid.

I prefer Z-Know.

Eh? "Zedno"? Oh, right.
xtifr wrote:... and orthogon merely sounds undecided.

Wooloomooloo
Posts: 128
Joined: Wed Mar 16, 2011 8:05 am UTC

Re: 1153: "Proof"

Postby Wooloomooloo » Fri Dec 28, 2012 12:53 pm UTC

In such matters, perspective is quite important...

A mathematician and and engineer are taking a walk when they suddenly see a beautiful woman some distance away and a voice booms down from above: "there is the woman of your dreams, but you are cursed to always only be able to halve the remaining distance between you". The engineer dashes off. The mathematician yells at him: "Where to? You know you can never reach her...!" to which he responds "Yeah, but I can get arbitrarily close!"

Throw19289
Posts: 1
Joined: Fri Dec 28, 2012 12:47 pm UTC

Re: 1153: "Proof"

Postby Throw19289 » Fri Dec 28, 2012 1:30 pm UTC

The most intuitive way to understand Zeno's paradox, for me, was to view it as the slowing of time. Imagine you're looking at film of an arrow flying, but the playback speed gradually slows. Every second of real time the arrow flies half the remaining distance to the target, but each second a shorter amount of film is played back. You're gradually slowing time to zoom in on a specific instant of the video, where time would be at a standstill, and you play back no more video. It's not so much that motion is impossible, but rather, if you slow time to a halt, then no motion happens either. In the real world, time does not become arbitrarily slow, and so the arrow does reach its target.

Draco18s
Posts: 87
Joined: Fri Oct 03, 2008 7:50 am UTC

Re: 1153: "Proof"

Postby Draco18s » Fri Dec 28, 2012 1:32 pm UTC

TimXCampbell wrote:
ijuin wrote:I think that the point of Zeno's paradox is that, prior to having an understanding of Calculus, it is difficult to wrap one's mind around how an infinite series can converge to a finite value.

[Emphasis added]

Indeed. Even in this day and age It took me until I was around 50 years old to finally understand (and accept) that .999… actually does equal 1. If I'd told that to a Pythagorean I probably would have been killed.


They'd probably have told you that decimal values aren't true numbers. They were all about ratios of things.

Semi-related:
http://www.youtube.com/watch?v=X1E7I7_r3Cw

User avatar
bmonk
Posts: 662
Joined: Thu Feb 18, 2010 10:14 pm UTC
Location: Schitzoed in the OTT between the 2100s and the late 900s. Hoping for singularity.

Re: 1153: "Proof"

Postby bmonk » Fri Dec 28, 2012 5:30 pm UTC

Wooloomooloo wrote:In such matters, perspective is quite important...

A mathematician and and engineer are taking a walk when they suddenly see a beautiful woman some distance away and a voice booms down from above: "there is the woman of your dreams, but you are cursed to always only be able to halve the remaining distance between you". The engineer dashes off. The mathematician yells at him: "Where to? You know you can never reach her...!" to which he responds "Yeah, but I can get arbitrarily close!"

Also sometimes called, "close enough for all practical purposes"
Having become a Wizard on n.p. 2183, the Yellow Piggy retroactively appointed his honorable self a Temporal Wizardly Piggy on n.p.1488, not to be effective until n.p. 2183, thereby avoiding a partial temporal paradox. Since he couldn't afford two philosophical PhDs to rule on the title.

User avatar
dudiobugtron
Posts: 1098
Joined: Mon Jul 30, 2012 9:14 am UTC
Location: The Outlier

Re: 1153: "Proof"

Postby dudiobugtron » Fri Dec 28, 2012 8:06 pm UTC

To really get an understanding of Zeno, we should all play Ancient Greek Punishments. :)

Click 'Z' for Zeno.
Image

User avatar
Reecer6
Posts: 101
Joined: Fri Nov 30, 2012 12:59 am UTC

Re: 1153: "Proof"

Postby Reecer6 » Fri Dec 28, 2012 8:19 pm UTC

Zeno should be fine, so long as the judge doesn't try to walk away from him.

The thing about Zeno's paradoxes is that, from the ones I've read about, he's either correct or forgets that both time and space are/aren't evenly divisible. Apparently though, he was right about the arrow one. In this comic, however, he can't prove the arrow didn't have direction.
Zeno is a really bad lawyer.

User avatar
mikrit
Posts: 402
Joined: Sat Apr 14, 2012 8:13 pm UTC
Location: Sweden

Re: 1153: "Proof"

Postby mikrit » Fri Dec 28, 2012 10:05 pm UTC

Brian-M wrote:I'm used to seeing it spelled "Xeno". Seeing it as "Zeno" looks strange to me. But since the ancient Greeks didn't use the Latin alphabet, I suppose either way is equally valid.
Are you a Diskworld fan? Xeno is the name of a philosopher in Small Gods by Terry Pratchett.
http://wiki.lspace.org/mediawiki/index.php/Xeno
Hatted and wimpled by ergman.
Dubbed "First and Eldest of Ottificators" by svenman.
Febrion wrote: "etc" is latin for "this would look better with more examples, but I can't think of any".

User avatar
TimXCampbell
Posts: 110
Joined: Wed Jul 27, 2011 4:26 am UTC
Location: Very Eastern Kentucky, USA
Contact:

Re: 1153: "Proof"

Postby TimXCampbell » Sat Dec 29, 2012 1:40 am UTC

dudiobugtron wrote:To really get an understanding of Zeno, we should all play Ancient Greek Punishments. :)

Click 'Z' for Zeno.

Alas, the game didn't work for me in any mode. I also tried the ethical dilemma game — the one with the trolley — and while it saw me press the spacebar to continue in the tutorial, it didn't recognize that key when it was time to throw the switch.

Too bad these didn't work; some of the games looked thought-provoking!

Umm, why doesn't my browser's spell-checker recognize the word "spacebar"? Is that not a real word these days?

User avatar
dudiobugtron
Posts: 1098
Joined: Mon Jul 30, 2012 9:14 am UTC
Location: The Outlier

Re: 1153: "Proof"

Postby dudiobugtron » Sat Dec 29, 2012 3:29 am UTC

Weird - they work fine for me in chrome. What browser/etc are you using? Have you got the latest flash player?
Image

Arariel
Posts: 404
Joined: Fri Sep 17, 2010 2:32 am UTC

Re: 1153: "Proof"

Postby Arariel » Sat Dec 29, 2012 3:44 am UTC

I prefer Diogenes the Cynic's method of resolving Zeno's Paradox.
He walked across the room, and then pointed out that things do, in fact, move.

Firefox's dictionary does not have 'spacebar' in it.

User avatar
da Doctah
Posts: 985
Joined: Fri Feb 03, 2012 6:27 am UTC

Re: 1153: "Proof"

Postby da Doctah » Sat Dec 29, 2012 5:15 am UTC

BlueSoxSWJ wrote:This reminds me of a historical Darwin Award winner:
Clement Vallandigham was a well-known Northern Democrat who campaigned for states' rights during the Civil War. In 1863 Vallandigham was convicted of treason for his speeches attacking the administration of President Lincoln. He was banished to the South, where he continued to voice his political views.

After the war, Vallandingham became a lawyer. In his last appearance in the courtroom, he represented a client on trial for murder. The accused man's defense was that the victim had drawn his own gun in a fashion that caused it to fire, killing himself. To prove the defense argument, Vallandigham demonstrated the victim's method of drawing a gun--using the loaded evidence gun as his prop. The firearm went off, and he lost his life--but proved his case.


And in the process performed the invaluable service of reducing by one the total number of lawyers.

User avatar
TimXCampbell
Posts: 110
Joined: Wed Jul 27, 2011 4:26 am UTC
Location: Very Eastern Kentucky, USA
Contact:

Re: 1153: "Proof"

Postby TimXCampbell » Sat Dec 29, 2012 5:29 am UTC

dudiobugtron wrote:Weird - they work fine for me in chrome. What browser/etc are you using? Have you got the latest flash player?

The latest Chrome and I updated the Flash player last week. Windows XP SP3. I'm in the southwest corner of the room.

No biggy. The games looked fun but I can pretty much figure out what they do without playing them. Neat ideas!

Arariel wrote:Firefox's dictionary does not have 'spacebar' in it.

Same goes for Chrome. That strikes me as strange. Time to add it to the dictionary ... problem fixed!

What a weird word to overlook!

User avatar
dudiobugtron
Posts: 1098
Joined: Mon Jul 30, 2012 9:14 am UTC
Location: The Outlier

Re: 1153: "Proof"

Postby dudiobugtron » Sat Dec 29, 2012 7:51 am UTC

If I was a space bar, I'd want a space in my name. :)

TimXCampbell wrote:I'm in the southwest corner of the room.

Well there's your problem. You'll have to call in a Feng Shui expert.


(In all seriousness though, finding out what they do without actually having to play them is probably the best possible scenario... !)
Image

Beltayn
Posts: 92
Joined: Sat Oct 13, 2012 12:54 am UTC

Re: 1153: "Proof"

Postby Beltayn » Sat Dec 29, 2012 9:58 am UTC

dudiobugtron wrote:To really get an understanding of Zeno, we should all play Ancient Greek Punishments. :)

Click 'Z' for Zeno.


I was curious what would happen if you kept going until all the significant digits used by the game were filled up with 9's. Game just transitions to using "Half-way" for the target point, and "Almost Half-way" for the starting point.

richP
Posts: 195
Joined: Wed Aug 17, 2011 3:28 pm UTC

Re: 1153: "Proof"

Postby richP » Sat Dec 29, 2012 4:30 pm UTC

Arariel wrote:I prefer Diogenes the Cynic's method of resolving Zeno's Paradox.
He walked across the room, and then pointed out that things do, in fact, move.


I always wanted to use a method that BHG would probably employ.

BHG (to Zeno fanboy): "ok, so if I were to try and move an object from me to you, it would never reach you?"
ZFB: "yes, because it would have to get halfway there, which takes some time, then it would..."
BHG: Picks up a fist-sized rock "Here's an object..."

Spoiler:
Learning is fun!
or:
Rock beats philosopher

User avatar
keithl
Posts: 659
Joined: Mon Aug 01, 2011 3:46 pm UTC

Re: 1153: "Proof"

Postby keithl » Sat Dec 29, 2012 5:22 pm UTC

TimXCampbell wrote:Indeed. Even in this day and age It took me until I was around 50 years old to finally understand (and accept) that .999… actually does equal 1. If I'd told that to a Pythagorean I probably would have been killed.


Turing Machine wrote: Zeno is ...


I am skeptical of "..." . In the first case above, it means "0.001" . In the second case, I use it to quote "Turing Machine" without actually quoting her/him/it. In the case of 3.14159... it means "π-3.14159" . Perhaps "..." means "if you are a similarly trained primate, you can guess what this is supposed to mean". Perhaps some kinds of mathematics (like Zeno's "Paradox") are merely aberrant psychology.

Perhaps the Turing test is really a way to detect a peculiar kind of vague primate thinking that no truly intelligent machine would tolerate.

User avatar
dudiobugtron
Posts: 1098
Joined: Mon Jul 30, 2012 9:14 am UTC
Location: The Outlier

Re: 1153: "Proof"

Postby dudiobugtron » Sat Dec 29, 2012 7:07 pm UTC

keithl wrote:
TimXCampbell wrote:Indeed. Even in this day and age It took me until I was around 50 years old to finally understand (and accept) that .999… actually does equal 1.

I am skeptical of "..." . In the first case above, it means "0.001" . ... In the case of 3.14159... it means "π-3.14159" . Perhaps "..." means "if you are a similarly trained primate, you can guess what this is supposed to mean". Perhaps some kinds of mathematics (like Zeno's "Paradox") are merely aberrant psychology.

It doesn't really 'mean' those things, it's just that the intended meaning is equivalent. In the first case, it really means "keep on putting 9s until you have countably infinite 9s." Even though, as Zeno suggests, it's actually impossible to get to infinite 9s just by putting 9s one at a time.

But I agree with your overall point that words and symbols have no intrinsic meaning, and our subjective understanding of them leads to all sorts of "mis"understandings.
Image

shokoshu
Posts: 23
Joined: Thu Oct 11, 2012 2:13 pm UTC

Re: 1153: "Proof"

Postby shokoshu » Sat Dec 29, 2012 7:32 pm UTC

And then there was Zena, Warrior Princess. She never could hit anything :mrgreen:

(Oh, and BTW, I don't think that Zeno is "solved" whatsoever. The math version of Zeno is
solved more or less to the agreement of mathematicians. The physics...ehem.)

User avatar
TimXCampbell
Posts: 110
Joined: Wed Jul 27, 2011 4:26 am UTC
Location: Very Eastern Kentucky, USA
Contact:

Re: 1153: "Proof"

Postby TimXCampbell » Sat Dec 29, 2012 8:43 pm UTC

shokoshu wrote:The math version of Zeno is solved more or less to the agreement of mathematicians. The physics...[not so much].

My uneducated theory is that movement is quantum, with the minimum distance something can move being one Planck unit.

I have no background in physics, so I shouldn't be expressing opinions on such matters. But this is, after all, the internet, where ignorance is no barrier to typing.

Perhaps somebody can tell me if I'm even remotely close to what science says.

Dryhad
Posts: 36
Joined: Mon Dec 10, 2012 7:31 am UTC

Re: 1153: "Proof"

Postby Dryhad » Sun Dec 30, 2012 8:28 am UTC

shokoshu wrote:And then there was Zena, Warrior Princess. She never could hit anything :mrgreen:

(Oh, and BTW, I don't think that Zeno is "solved" whatsoever. The math version of Zeno is
solved more or less to the agreement of mathematicians. The physics...ehem.)

Before you can travel a Planck length, you must first travel... um...

Nooska
Posts: 5
Joined: Sat Jun 02, 2012 6:02 pm UTC

Re: 1153: "Proof"

Postby Nooska » Sun Dec 30, 2012 12:58 pm UTC

So you are saying that at finitely small increments movement is indistinguishable from teleportation?

sometheoreticalphysicist
Posts: 1
Joined: Sun Dec 30, 2012 1:17 pm UTC

Re: 1153: "Proof"

Postby sometheoreticalphysicist » Sun Dec 30, 2012 1:20 pm UTC

Well IMHO the jury is still out on whether spacetime is discrete or not, as we keep waiting for the proffesionals to combine quantum mechanis and general relativity

User avatar
ArDeeJ
Bastet Case
Posts: 126
Joined: Sun Aug 05, 2012 2:20 pm UTC
Location: Finland

Re: 1153: "Proof"

Postby ArDeeJ » Sun Dec 30, 2012 3:54 pm UTC

I think that the "- but never reach it!" ruins the comic, I'd prefer just a "...". Then again, I lol'd.
puzzles (bad) | tweets (worse) | they pronouns


Return to “Individual XKCD Comic Threads”

Who is online

Users browsing this forum: Mikeski and 58 guests