Talk:Monty Hall problem: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Richard D. Gill
imported>Peter Schmitt
(→‎MHP wars on wikipedia in a nutshell: a step between steps 1 and 2 might help)
Line 108: Line 108:


::: In mathematical language: given the contestant has chosen Door 1, whether or not the car is behind Door 1 is statistically independent of whether the host opens Door 2 or Door 3.[[User:Richard D. Gill|Richard D. Gill]] 20:39, 28 January 2011 (UTC)
::: In mathematical language: given the contestant has chosen Door 1, whether or not the car is behind Door 1 is statistically independent of whether the host opens Door 2 or Door 3.[[User:Richard D. Gill|Richard D. Gill]] 20:39, 28 January 2011 (UTC)
:::: Let us put a hypothetical Step 1a between Steps 1 and 2: The host asks you if you want to switch provided you win if the car is behind one of the two doors. Switching clearly doubles the chances. After you switched, the host teases you by opening the (a) losing door first before revealing whether you have won. Since it is already decided whether you have won this does not change the odds. --[[User:Peter Schmitt|Peter Schmitt]] 21:33, 28 January 2011 (UTC)


== Another problem ==
== Another problem ==

Revision as of 16:33, 28 January 2011

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
To learn how to update the categories for this article, see here. To update categories, edit the metadata template.
 Definition (also called the "three-doors problem") A much discussed question concerning the best strategy in a specific game show situation. [d] [e]
Checklist and Archives
 Workgroup category Mathematics [Editors asked to check categories]
 Talk Archive 1  English language variant British English

External link

Richard, CZ does not allow self-promotion. Therefore I removed the link to your paper. I hope you understand this and agree with it. After some progress has been made with the main article, we may put it (together with other references) on the Bibliography subpage. --Peter Schmitt 23:18, 15 January 2011 (UTC)

I agree that we ought to see how the article progresses, but I wouldn't see a problem with adding that particular paper to the Bibliography if the math editors think it is appropriate since it is specifically about the subject and he is not selling anything. It also helps to let someone else place the link for you. D. Matt Innis 00:28, 16 January 2011 (UTC)
Agree, at a quick glance the paper does not appear to be specific self-promotion, but it should not be on the main page.
Go ahead and add it to the Bibliography page and let's encourage a maths editor to review it for appropriateness.
I'd like to see this article expanded fairly quickly; at present it doesn't tell us exactly what the Monty Hall problem is. Putting the definition as the introduction would probably be enough of a start.
Aleta Curry 00:43, 16 January 2011 (UTC)
That's about what I thought. I was, however, uncertain if current policy classifies such a link as self-promotion. Was I saying it too unfriendly? But, in any case, the link cannot replace an unwritten article. --Peter Schmitt 00:52, 16 January 2011 (UTC)
Oh, I don't know about unfriendly, but Richard is new here so I didn't want him to think his efforts were unappreciated. Aleta Curry 01:09, 16 January 2011 (UTC)
While we may indeed need to clarify the policy with an EC motion, I've never thought that a link to a clearly noncommercial page is self-promotion. This is even more the case when pointing to one's own peer-reviewed publications and presentations, which I have done -- I might not have written them if I thought there were better references. Howard C. Berkowitz 01:05, 16 January 2011 (UTC)
I had some discussion about this with Larry years ago, with respect to using one's own articles if one were a) an authority in the field or b) the only person writing in the field! His answer, basically, was 'use common sense and ask an(other) Editor to review/confirm'.
Aleta Curry 01:09, 16 January 2011 (UTC)

Thanks everyone. The point of the reference was just to be a resource for anyone interested in joining in. Over on Wikipedia a fight has been going on for two years, basically between laypersons who find a short intuitive solution of MHP completely satsfying, and mathematicians who dogmatically insist on a tricky solution using Bayes theorem. My own modest contribution (he said modestly) was merely to present the mathematical facts of the matter and go some way to resolving the Wikipedia conflict. Partly, by creating a "reliable source" (wikipeda terminology) for both sides of that battle. Partly by showing that the "full conditional solution" can be obtained by making one small step from the "popular simple solution" by the use of symmetry - a neat trick which I learnt from our friend Boris in this context! However the paper is too mathematical for most laypersons.

I think it's challenging to get across to laypersons what the difference is between the simple solutions and the conditional solutions, as they are often referred to. More below.

Problem variant as a cartoon

I must share a memorable cartoon idea based on this problem, from Playboy (I read it for the cartoons). The problem is reduced to two doors, and the contestant is faced with legends of "damned if you do" and "damned if you don't". Monty Hall, the game show host, is in devil garb, prodding the contestant with a pitchfork. Howard C. Berkowitz 00:12, 16 January 2011 (UTC)

As an aside, is Monty Hall his real name, or was it a joke referring to 3 card Monte? Aleta Curry 01:09, 16 January 2011 (UTC)
I looked it up, Monte Hall was apparently the stage name for Monte Halperin of the TV game show, "Let's make a Deal", so it looks like his mother was the one pulling the 3 card Monte :)D. Matt Innis 01:28, 16 January 2011 (UTC)
There is question related to it: Should this be "Monty Hall Problem" or "Monty Hall problem". I tend to the latter, but this is a question for language experts. --Peter Schmitt 01:33, 16 January 2011 (UTC)
I remember that! I was...ahem...two years old, of course, but....Aleta Curry 01:34, 16 January 2011 (UTC)
It would be nice, @Howard, to find that cartoon on internet! @Peter, Regarding the P for problem: as a rusty native English speaker who was never all that good at spelling or grammar, I'd say that in plain text, whether you write Monty Hall Problem or Monty Hall problem depends on context. If you are writing about many different problems, then the Monty Hall problem is just one of those many problems. However when you are writing about The Monty Hall Problem capitalization of the P is appropriate. The word is part of the common name of one individual problem. Richard D. Gill 13:07, 26 January 2011 (UTC)
Hmmm...I think Playboy rather than New Yorker. When I read Playboy, it is for the cartoons. Howard C. Berkowitz 21:25, 26 January 2011 (UTC)

Proposal for main content

Apart from history, sources, variants, and so on, the main content of the article should obviously be the presentation of a solution to MHP. The challenge is to simultaneously satisfy mathematical pedants and be intelligible to ordinary lay-persons. This requires an almost purely verbal solution, using only plain words of everyday English, which does however, sentence by sentence, cover every single logical step, including explicit use of all necessary assumptions. That's what I plan to write first. Now. Richard D. Gill 11:22, 26 January 2011 (UTC)

First try done. Please edit or comment. Richard D. Gill 13:08, 26 January 2011 (UTC)
Better than WP, which is however not a compliment: on WP it is too bad. Well, this is just good, I think so.
A remark: you mention Bayesian probability (and I understand why), but just above that you use frequentist probability (you count the winning ratio in the long run!). Some readers may be confused. --Boris Tsirelson 21:03, 26 January 2011 (UTC)
You're right. I should remark explicitly on the "paradigm shift". It was kind of deliberate. I think that the "standard" uniformity assumptions of MHP are only well-justified within a subjectivist notion of probability. For a frequentist, it is harder to come up with any probability model or at all, and even if it does make some sense, the probabilities cannot be considered as known in advace. But the frequentist picture is also valuable. Personally, I understand the arithmetic of relative frequencies much better than the "logic" of subjective probability. Fortunately, whatever your personal choice, subjectivist and frequentist probability satisfy the same rules, so I can always give a frequentist story about a subjectivist probability inspired model.
One of the wikipedia MHP editors wrote "no one who thinks seriously about MHP cannot avoid pondering on the meaning of probability". My own opinion is that the infinitely many repetitions of the frequentist are equally imaginary to the "parallel worlds" of the subjectivist. Both are equally meta-physical, thus the choice is a matter of opinion, of religion, of choice of meta-phor. The important thing is that we use probability in scientific discourse hence we need some kind of inter-subjectivity. You have to make the repetitions, of whichever kind, appealing and understandable to the people you want to communicate with. Richard D. Gill 23:56, 26 January 2011 (UTC)
I would find a truth table of some sort particularly illustrative in the explaination in the first paragraph or two, showing the 3 possible car locations, the host's choice(s) of doors to open, and the contestants win/loss result of switch/no switch. David E. Volk 19:36, 27 January 2011 (UTC)
I don't think that a "truth table" or, rather, a tree showing the possibilities is useful. It looks impressive but makes it also look more complicated than it is. There are, essentially, only two distinct cases - the door first chosen is the winning one, or it is not ... (For those looking for such a diagram, it could, perhaps, be put on a subpage.) --Peter Schmitt 20:41, 27 January 2011 (UTC)
Peter, if we were writing for PhD mathematicians who can obviously grasp that point, I would agree, but others get the aha moment by looking at the possible outcomes. David E. Volk 21:13, 27 January 2011 (UTC)
I very much doubt that a table (as in your sandbox) makes it easier for a "non-mathematician". I rather expect that the non-initiated looks at it and thinks "well, if the mathematicians say that thse are the formulas to use, then I tend to believe it.) The table does not help to understand the crucial point.
I think it is easier to argue as informally as possible: Your chances are 1 in 3 (or 1 to 2) to choose the winning door first, thus chances are 2 in 3 (or 2 to 1) that you have not chosen the winning door and switching opens the winning door.
Everyone understands that you have a 1/3 chance at the onset, and 2/3 chance of being wrong at the onset, but almost everyone fails to understand why the opening of one door, thus leaving the car behind only one of two closed doors, does not equal a 50:50 chance. In other words, they fail to see why opening one of the doors does not change your odds. A layman thinks, 1 car in 1 of 2 locations = even odds.
In this particular problem, the general masses heard the answer of the mathematicians and said no ****** way!. They did not believe that the solution was correct, and still don't after much explaination. David E. Volk 21:54, 27 January 2011 (UTC)
I know the history of the problem and the many disputes caused by it. But calculations, the use of formulas, do not help to understand the problem. They may help you to convince the "general masses" because they tend to believe in mathematical formulas (without bothering to understand them), but not help them to better grasp the solution. --Peter Schmitt 22:19, 27 January 2011 (UTC)

It's clear from the wikipedia MHP wars that different readers need different ways to get their minds around the problem. Some have to see a table of numbers. Some have to see a formal mathematical derivation. Others need the briefest possible verbal argument, anything more overloads their minds. The MHP pages here should, I suppose, also cater for all tastes, while keeping the structure clean and mean.

MHP wars on wikipedia in a nutshell

Consider this four step informal/intutive "good" solution to MHP. Do you think the third step - placed in parentheses - is necessary or unnecessary?

  • 2/3 of the time the contestant will select a goat
  • The host opening a door to reveal a goat doesn't change this.
  • (The door being opened being door 3 doesn't change this either)
  • Therefore the contestant should switch

Step 1 uses only "car is hidden at random"

Step 3 uses the symmetry (the probability assumptions don't change on renumbering the doors) of adding to the previously used assumption also the assumption "host choice 50-50"

The four-step argument is intuitive and mathematically rigorous at the same time - each step can be converted into formal mathematical language via the use of Bayes' rule.

The "simple solution" or "unconditional solution" corresponds to removing Step 3, the "conditional solution" corresponds to keeping it. Richard D. Gill 08:23, 28 January 2011 (UTC)

We see how the simple solution does not require the full assumption set: the advantages and disadvantages of both solutions are plainly visible.

Removing step 3 is not really a problem. The problem occurs, I think, in believing that Step 2 is true. It needs to be explained in terms of the possible choices available to the host as to which doors can be opened. If the contestant chooses correctly, the host has 2 choices of which door to open, and if the contestant chooses incorrectly the host has only 1 choice of door to open. David E. Volk 15:18, 28 January 2011 (UTC)
This is subtle, @David! And depends rather crucially on how Step 2 is to be understood! I meant: a door is opened revealing a goat, but the number of that door has not yet been revealed to the contestant. With this understanding, Step 2 is easily seen to be true, since it speaks of "a door", not of a specific door. Whether or not the car is behind Door 1, the host will certainly open a door a reveal a goat. The fact that a door is opened revealing a goat does not (under the conditions of the game) give us any information regarding the question "is the car behind Door 1, yes or no?"
So once we have completed Step 1 and Step 2 we have arrived at what some people over on wikipedia call "the simple solution". Given a door has been opened revealing a goat (but the identity of the opened door is not yet known), the odds are still 2:1 that Door 1 hides a goat. Hence switching to the other door gives the car with probability 2/3.
So far, we ignored the number of the door opened (at least, that was my intention). Let's look at Step 3 - the one in parentheses, which many authors of "popular" solutions ignore. We have fixed that the player chose Door 1. We know in advance that the host is going to open either Door 2 or Door 3, but not which. By the symmetry of the problem with respect to Doors 2 and 3, (including the assumption that the two host's choices are equally likely if he has a choice), the probability the host opens Door 3 given the car is behind Door 1 is 50%, and the probability the host opens Door 3 given the car is not behind Door 1 is 50%. Thus the identity of the Door being opened contains no information about whether or not the car is behind Door 1 - Door 3 has exactly the same chance of being opened under either hypothesis.
I learnt this way of solving MHP from wikipedia: Garry Kanter presented the pithy three step solution there i.e. excluding my parenthetical Step 3 !
What I like about this approach is that it is at the same time intuitive and mathematically formalizable. Rather than doing mindless computations using the formal definition of conditional probability (which is what formal solutions using Bayes's theorem in its common text-book form do) it uses the very intuitive Bayes' rule: posterior odds equals prior odds times likelihood ratio. And it is crafted so that the likelihood ratio is always 1, that is to say, each new piece of information has the same chance under the two competing hypotheses, hence is actually non-information. From an educationalist point of view, I would like to see ordinary people be able to gain some probabilistic intuition by becoming familiar with and hence being able to internalize Bayes' rule.
There is trickiness in the ambiguous wording "a door is opened". Line 2 has to have added to it "the number of the opened door is not yet revealed to the contestant".
People with a formal training in probability tend to find Step 3 absolutely crucial. They insist that the competitor's choice must be guided by the conditional probability that the car is behind Door 2 given the host has opened Door 3. Those without formal training in probability theory tend to see absolutely no value in it, because of the combination of semantic ambiguity and the mathematical fact that the number of the door opened is indeed irrelevant regarding the decision of whether to switch of stay. (Which can be seen in many ways, and used in a formal proof in many ways - at the outset or at the end or somewhere in the middle).
In mathematical language: given the contestant has chosen Door 1, whether or not the car is behind Door 1 is statistically independent of whether the host opens Door 2 or Door 3.Richard D. Gill 20:39, 28 January 2011 (UTC)
Let us put a hypothetical Step 1a between Steps 1 and 2: The host asks you if you want to switch provided you win if the car is behind one of the two doors. Switching clearly doubles the chances. After you switched, the host teases you by opening the (a) losing door first before revealing whether you have won. Since it is already decided whether you have won this does not change the odds. --Peter Schmitt 21:33, 28 January 2011 (UTC)

Another problem

I recall when the original vos Savant column came out and the thousands of letters it generated. To me, the biggest problem was believing that the woman with supposedly the highest IQ in the world was actually named "von Savant" (I mistakenly thought it was "von", not "vos".) It seemed to me like a supreme put-on. It wasn't until many years later, when the Internet, and, I suppose, Wikipedia, had come along, that I Googled this improbable name and discovered, to my astonishment, that it was an actual name. As if the *stupidest* person in the world was actually named George vos Dumb.... Hayford Peirce 21:01, 27 January 2011 (UTC)

New Guy Here...

Hi, I've been very active in the Wikipedia MHP discussions for 2+ years. No real CV to speak of, just a lot of OCD.

I prepared this decision tree to explain the 'simple solutions'. The other Wikipedia editors did not feel it was worthy of inclusion in the article. It is derived from Carlton's simple solution, and from Morgan's (false) F5.

Simple solution decision tree


I think it is an informative representation of what has been referred to as the (elusive) 'Peaceful Co-existance' of the simple and the conditional solutions. I welcome any comments as to it's suitability for and benefit to the article. Garry L. Kanter 15:30, 28 January 2011 (UTC)