Talk:Banach-Tarski Paradox

Since the article doesn't explain how the sphere is split, we'd better describe it as a claim made by certain parties, much as the claim made by AGW supporters that their global climate models explain or predict anything. Since GCMs have never been explained in any encyclopedia article I've read, I assume they are too esoteric for us laymen to understand (or check). --Ed Poor ^Talk 19:15, 4 January 2010 (EST)

Not at all. I can have a complete description of the Banach-Tarski paradox up by tonight which will be accessible to anybody who understands irrational numbers. I'll try and have it up by tonight. JacobB 19:30, 4 January 2010 (EST)

Superb

This is superb! In reply to Ed, I agree that the statement this confirms the multiplication of the loaves is over-the-top, though funny. Thanks for deleting the comedy.--Andy Schlafly 22:53, 4 January 2010 (EST)

Thanks, Andy! For the record, I didn't add the fish and loaves stuff, that appears to be users named Foxtrot and Aroth. JacobB 00:53, 5 January 2010 (EST)

Purpose of Construction

Whatever the opinions of Banach or Tarski may have been on the validity of the AoC, we can relatively sure they did not develop the Banach-Tarski construction I describe in the article to comment on the AoC, because there was already a very weird AoC-based construction which had been well-known for 19 years prior to Banach and Tarski's publication of their result. The BTP may be used today to illustrate the consequences of the AoC more easily to a layman, but the original purpose of the construction was more involved with group orbits and (perhaps?) representation theory. I hope nobody minds if I make this minor change. JacobB 21:44, 5 January 2010 (EST)

I think the introduction understates the motivation of the paradox. Wasn't it to illustrate how the AoC, if embraced, can lead to absurd conclusions?--Andy Schlafly 22:33, 5 January 2010 (EST)

No, it wasn't, but the Vitali set was. The Banach-Tarski paradox was originally developed to investigate group representations. Today, it is used to illustrate the "weirdness" of the AoC. Since the Vitali set WAS developed partly for the purpose you ascribe to the Banach Tarski paradox, I don't think we lose any of the strength of the original statement about the AoC by saying the Vitali paradox was developed to illustrate that weirdness.

If you like, I can have a full explanation of the Vitali set in that article up tonight. It deals more directly with why the AoC is necessary for the strange construction, and spends less time dealing with putting free groups on spheres and such things.

Summary: Although the Banach-Tarski paradox quickly and easily demonstrates the strangeness of the AoC, and I have no problem including that, that wasn't the motivation for its development. JacobB 22:44, 5 January 2010 (EST)

Jargon

I'm not quite sure where the jargon is - all the terms I used, I define in layman terms, and to be fair, the mathy sections are labelled "appropriate for college undergraduates," which is in keeping with the idea of introducing community college level home course material. In other words, I'm not expecting a 8th grader to understand this.

If those users who find this jargony could indicate where the problem first begins, I can take care of it. I feel if a reader reads the article, they'll understand it perfectly. My advisor at my university taught this material to non-majors in a "great ideas of mathematics" style course. JacobB 17:29, 6 January 2010 (EST)

I expect an 8th grader to understand this. Please state what part of it is too hard for an 8th grader to understand. --Ed Poor ^Talk 00:07, 8 January 2010 (EST)

Well, for starters, most eighth graders are only just beginning their introduction to the idea of a variable. I think asking them to understand equivalence relations, let alone the axiom of choice or the elementary group theory, is a bit much.

If you don't understand, tell what is confusing and I'll gladly fix it! If you do understand, I welcome your improvements to this article, to make it more accessible. JacobB 00:26, 8 January 2010 (EST)