On the other hand, some say you really don't understand something unless you can write a program that encodes that understanding.
Can you encode your understanding of the Monte Hall problem in a "logical" (or proof assistant) language? - pt On Sunday, November 25, 2018 at 10:11:08 AM UTC-6, Mark Buda wrote: > > When presented with the Monty Hall problem, I could not understand it > without writing a program to help me. I guess that puts me in the good > company of Paul Erdos, according to Wikipedia... > -- > Mark Buda <[email protected] <javascript:>> > I get my monkeys for nothing and my chimps for free. > > On Sat, Nov 24, 2018, 6:58 PM John Clark <[email protected] <javascript:> > wrote: > >> On Sat, Nov 24, 2018 at 5:01 PM Brent Meeker <[email protected] >> <javascript:>> wrote: >> >> *> The best intuition pump to solve the Monte Hall problem is to imagine >>> that there are 100 doors and Monte opens all the doors except the one you >>> chose and one other....do you switch?* >> >> >> 3 doors will do. If you follow the switch strategy the only way you would >> end up losing is if your original guess was correct, and there was only one >> chance in 3 of that, so if you switch you have 2 chances in 3 of winning. >> >> John K Clark >> >> >>> -- >> > -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
