โดยสรุปแล้วข้อโต้แย้งของ Birnbaum ก็คือว่าหลักการสองข้อที่เป็นที่ยอมรับกันอย่างกว้างขวางมีเหตุผลบ่งบอกว่าหลักการความน่าจะเป็นต้องมีไว้ การโต้เถียงของมาโยคือการพิสูจน์ว่าผิดเพราะ Birnbaum ใช้หลักการอย่างใดอย่างหนึ่งผิด
ด้านล่างนี้ฉันลดความซับซ้อนของข้อโต้แย้งในระดับที่ไม่เข้มงวดมาก จุดประสงค์ของฉันคือทำให้ผู้ชมในวงกว้างสามารถเข้าถึงได้เพราะข้อโต้แย้งเดิมเป็นเรื่องเทคนิคมาก ผู้อ่านที่สนใจควรดูรายละเอียดในบทความที่เชื่อมโยงในคำถามและในความคิดเห็น
เพื่อประโยชน์ในการเป็นรูปธรรมที่ฉันจะมุ่งเน้นไปที่กรณีของเหรียญที่มีอคติที่ไม่รู้จักที่\ในการทดลองเราพลิกมัน 10 ครั้ง ในการทดลองเราพลิกมันจนกว่าเราจะได้ 3 "ก้อย" ในการทดลองเราพลิกเหรียญยุติธรรมที่ระบุว่า "1" และ "2" ถ้าที่ดินนั้นเป็น "1" เราดำเนินการ ; ถ้ามันดินแดน "2" เราดำเนินการE_2ตัวอย่างนี้จะลดความซับซ้อนของการสนทนาอย่างมากและจะแสดงตรรกะของข้อโต้แย้ง (หลักฐานอันเดิมนั้นมีความเป็นทั่วไปมากกว่า)θE1E2EmixE1E2
หลักการ:
หลักการสองข้อต่อไปนี้ได้รับการยอมรับอย่างกว้างขวาง:
หลักการเงื่อนไขที่อ่อนแอบอกว่าเราควรจะได้ข้อสรุปเดียวกันถ้าเราตัดสินใจทำการทดลองหรือถ้าเราตัดสินใจที่จะทำการและดินแดนเหรียญ "1"E1Emix
หลักการความพอเพียงกล่าวว่าเราควรสรุปในการทดลองสองครั้งที่สถิติที่เพียงพอมีค่าเท่ากัน
หลักการต่อไปนี้ได้รับการยอมรับโดย Bayesian แต่ไม่ใช่โดยผู้ใช้บ่อย กระนั้น Birnbaum อ้างว่ามันเป็นผลสืบเนื่องทางตรรกะของสองคนแรก
หลักการความน่าจะเป็นกล่าวว่าเราควรสรุปข้อสรุปเดียวกันในการทดลองสองครั้งที่ฟังก์ชันความน่าจะเป็นมีสัดส่วน
ทฤษฎีบทของ Birnbaum:
สมมติว่าเราเล่นและได้รับ 7 "หัว" จากสิบพลิก ฟังก์ชั่นน่าจะเป็นของมี 3 เราเล่นและพลิกเหรียญ 10 ครั้งเพื่อรับ 3 "ก้อย" ฟังก์ชั่นน่าจะเป็นของมี 3 ฟังก์ชันความน่าจะเป็นสองอย่างนี้มีสัดส่วนE1θ(103)θ7(1−θ)3E2θ(97)θ7(1−θ)3
Birnbaum พิจารณาสถิติต่อไปนี้ในจากถึง :
ที่และคือตัวเลขของ "หัว" และ "ก้อย" ตามลำดับ ดังนั้นไม่ว่าสิ่งที่เกิดขึ้นไม่มีรายงานผลตามที่ถ้ามันมาจากการทดลองE_1แต่กลับกลายเป็นว่าเพียงพอสำหรับใน{} กรณีเดียวที่ไม่สำคัญคือเมื่อและที่เรามีEmix{1,2}×N2{1,2}×N2T:(ξ,x,y)→(1,x,y),
xyTE1TθEmixx=7y=3
P(Xmix=(1,x,y)|T=(1,x,y))=0.5×(103)θ7(1−θ)30.5×(103)θ7(1−θ)3+0.5×(97)θ7(1−θ)3=(103)(103)+(97).
กรณีอื่น ๆ ทั้งหมดคือ 0 หรือ 1 - ยกเว้นซึ่งเป็นส่วนเติมของความน่าจะเป็นข้างต้น การกระจายตัวของให้เป็นอิสระจากดังนั้นเป็นสถิติที่เพียงพอสำหรับ\P(Xmix=(2,x,y)|T=(1,x,y))XmixTθTθ
ตอนนี้ตามหลักการความพอเพียงเราต้องสรุปสิ่งเดียวกันสำหรับและในและจากหลักการ condionality ที่อ่อนแอเราต้องสรุปแบบเดียวกันสำหรับในและใน , เช่นเดียวกับในและใน{} ดังนั้นข้อสรุปของเราจะต้องเหมือนกันในทุกกรณีซึ่งเป็นหลักการความน่าจะเป็น(1,x,y)(2,x,y)Emix(x,y)E1(1,x,y)Emix(x,y)E2(2,x,y)Emix
เคาน์เตอร์ของเมโย:
การตั้งค่าของ Birnbaum ไม่ได้เป็นการทดลองแบบผสมเนื่องจากไม่ได้สังเกตผลลัพธ์ของเหรียญที่ระบุว่า "1" และ "2" ดังนั้นหลักการเงื่อนไขที่อ่อนแอจึงไม่สามารถนำมาใช้กับกรณีนี้ได้
ทำแบบทดสอบกับและดึงข้อสรุปจากค่า p ของการทดสอบ ในฐานะที่เป็นข้อสังเกตเบื้องต้นทราบว่า p-value ของในจะได้รับจากการกระจายทวินามเป็นประมาณ ; P-ค่าของในจะได้รับจากการกระจายทวินามเชิงลบเป็นประมาณ0.0898θ=0.5θ>0.5(7,3)E10.1719(7,3)E20.0898
นี่เป็นส่วนที่สำคัญ: p-value ของในจะได้รับเป็นค่าเฉลี่ยของทั้งสอง - จำได้ว่าเราไม่ทราบว่าสถานะของเหรียญ - คือประมาณ0.1309ยัง p-value ของใน - ที่เหรียญเป็นที่สังเกต - เป็นเช่นเดียวกับว่าใน , คือประมาณ0.1719หลักการของเงื่อนไขที่อ่อนแอถือ (ข้อสรุปเหมือนกันในและที่ซึ่งเหรียญลงดิน "1") และหลักการความน่าจะเป็นไม่ได้ ตัวอย่างเคาน์เตอร์หักล้างทฤษฎีบทของ BirnbaumT=(1,7,3)Emix0.1309(1,7,3)EmixE10.1719E1Emix
การพิสูจน์ของPeñaและ Berger เกี่ยวกับการต่อต้านของมาโย
มาโยเปลี่ยนคำแถลงหลักการของความพอเพียงโดยปริยาย: เธอตีความ "ข้อสรุปเดียวกัน" เป็น "วิธีการเดียวกัน" การรับค่า p เป็นวิธีการอนุมาน แต่ไม่ใช่ข้อสรุป
หลักการความพอเพียงกล่าวว่าหากมีสถิติเพียงพอแล้วข้อสรุปจะต้องเหมือนกัน แต่ก็ไม่จำเป็นต้องใช้สถิติที่เพียงพอในการใช้เลย ถ้าเป็นเช่นนั้นมันจะนำไปสู่ความขัดแย้งตามที่ Mayo แสดง