Chiến lược
Tôi muốn áp dụng lý thuyết quyết định hợp lý vào phân tích, bởi vì đó là một cách được thiết lập tốt để đạt được sự nghiêm ngặt trong việc giải quyết vấn đề quyết định thống kê. Khi cố gắng làm như vậy, một khó khăn nổi lên là đặc biệt: sự thay đổi ý thức của SB.
Lý thuyết quyết định hợp lý không có cơ chế để xử lý các trạng thái tinh thần thay đổi.
Khi hỏi SB về sự tín nhiệm của cô ấy đối với việc lật đồng xu, chúng tôi đồng thời đối xử với cô ấy theo cách hơi tự giới thiệu cả về chủ đề (của thí nghiệm SB) và người thử nghiệm (liên quan đến việc lật đồng xu).
Hãy thay đổi thử nghiệm theo cách không cần thiết: thay vì sử dụng thuốc xóa trí nhớ, hãy chuẩn bị một bản sao ổn định của Người đẹp ngủ ngay trước khi thử nghiệm bắt đầu. (Đây là ý tưởng chính, bởi vì nó giúp chúng ta chống lại sự phân tâm - nhưng cuối cùng không liên quan và gây hiểu lầm - các vấn đề triết học.)
Các bản sao giống như cô ấy trong tất cả các khía cạnh, bao gồm cả bộ nhớ và suy nghĩ.
SB hoàn toàn nhận thức được điều này sẽ xảy ra.
Chúng ta có thể nhân bản, theo nguyên tắc. ET Jaynes thay thế câu hỏi "làm thế nào chúng ta có thể xây dựng một mô hình toán học về ý thức chung của con người" - một điều chúng ta cần để suy nghĩ về vấn đề Người đẹp ngủ trong rừng - bằng cách "Làm thế nào chúng ta có thể xây dựng một cỗ máy có thể thực hiện lý luận hợp lý hữu ích, Theo nguyên tắc được xác định rõ ràng thể hiện một ý thức chung lý tưởng hóa? " Do đó, nếu bạn thích, thay thế SB bằng robot suy nghĩ của Jaynes và sao chép nó.
(Đã có, và vẫn còn có những tranh cãi về máy móc "tư duy".
"Họ sẽ không bao giờ tạo ra một cỗ máy để thay thế tâm trí con người. Nó làm nhiều việc mà không máy móc nào có thể làm được."
Bạn nhấn mạnh rằng có một cái gì đó máy không thể làm. Nếu bạn sẽ cho tôi biết chính xác những gì mà một cỗ máy không thể làm được, thì tôi luôn có thể tạo ra một cỗ máy sẽ làm việc đó!
--J. von Neumann, 1948. Trích dẫn bởi ET Jaynes trong Lý thuyết xác suất: Logic của khoa học , tr. 4.)
--Rube Goldberg
Thí nghiệm Người đẹp ngủ trong rừng
Chuẩn bị bản sao SB giống hệt nhau (bao gồm cả bản thân SB) vào tối Chủ nhật. Tất cả đều đi ngủ cùng một lúc, có khả năng trong 100 năm. Bất cứ khi nào bạn cần đánh thức SB trong quá trình thử nghiệm, hãy chọn ngẫu nhiên một bản sao chưa được đánh thức. Bất kỳ sự thức tỉnh nào sẽ xảy ra vào Thứ Hai và, nếu cần, vào Thứ Ba.n≥2
Tôi khẳng định rằng phiên bản thử nghiệm này tạo ra chính xác cùng một tập hợp kết quả có thể, ngay đến trạng thái tinh thần và nhận thức của SB, với xác suất chính xác như nhau. Đây có thể là một điểm quan trọng mà các nhà triết học có thể chọn để tấn công giải pháp của tôi. Tôi khẳng định đó là điểm cuối cùng mà họ có thể tấn công nó, bởi vì phân tích còn lại là thường xuyên và nghiêm ngặt.
Bây giờ chúng tôi áp dụng các máy móc thống kê thông thường. Hãy bắt đầu với không gian mẫu (kết quả thử nghiệm có thể). Đặt có nghĩa là "đánh thức thứ hai" và có nghĩa là "đánh thức thứ ba". Tương tự, hãy để có nghĩa là "đầu" và "t" có nghĩa là đuôi. Đăng ký các bản sao với số nguyên . Sau đó, các kết quả thử nghiệm có thể có thể được viết (theo những gì tôi hy vọng là một ký hiệu rõ ràng, rõ ràng) như tập hợpT h 1 , 2 , ... , nMTh1,2,…,n
{hM1,hM2,…,hMn,(tM1,tT2),(tM1,tT3),…,(tM1,tTn),(tM2,tT2),(tM2,tT3),…,(tM2,tTn),⋯,(tMn−1,tT2),(tMn−1,tT3),…,(tMn−1,tTn)}.
Xác suất thứ hai
Là một trong những bản sao SB, bạn cho rằng cơ hội của bạn được đánh thức vào thứ Hai trong một thử nghiệm đối đầu là ( cơ hội của những người đứng đầu) lần ( cơ hội tôi được chọn để trở thành bản sao được đánh thức). Về mặt kỹ thuật hơn:1 / n1/21/n
Tập hợp các kết quả đầu là . Có trong số họ.nh={hMj,j=1,2,…,n}n
Sự kiện mà bạn được đánh thức bằng đầu là .h(i)={hMi}
Cơ hội của bất kỳ SB nhân bản cụ thể nào được đánh thức với đồng xu hiển thị đầu bằngi
Pr[h(i)]=Pr[h]×Pr[h(i)|h]=12×1n=12n.
Xác suất thứ ba
Tập hợp các kết quả đuôi là . Có trong số họ. Tất cả đều có khả năng như nhau, theo thiết kế.n ( n - 1 )t={(tMj,tTk):j≠k}n(n−1)
Bạn, bản sao , được đánh thức trong trong những trường hợp này; cụ thể là, cách bạn có thể được đánh thức vào Thứ Hai (có bản sao còn lại sẽ được đánh thức vào Thứ Ba) cộng với các cách bạn có thể được đánh thức vào Thứ Ba (có có thể nhân bản vào Thứ Hai). Gọi sự kiện này là .( n - 1 ) + ( n - 1 ) = 2 ( n - 1 ) n - 1 n - 1 n - 1 n - 1 t ( i )i(n−1)+(n−1)=2(n−1)n−1n−1n−1n - 1t ( i )
Cơ hội của bạn được đánh thức trong một thử nghiệm kéo dài bằng
Pr [ t ( i ) ] = Pr [ t ] × P[ t ( i ) | t ] = 12× 2 ( n - 1n ( n - 1 )= 1viết sai rồi.
Định lý Bayes
Bây giờ chúng ta đã đi xa đến mức này, Định lý Bayes - một tautology toán học ngoài tranh chấp - hoàn thành công việc. Do đó, bất kỳ cơ hội đầu nào của bản sao là
Pr[h|t(i)∪h(i)]=Pr[h]Pr[h(i)|h]Pr[h]Pr[h(i)|h]+Pr[t]Pr[t(i)|t]=1/(2n)1/n+1/(2n)=13.
Bởi vì SB không thể phân biệt được với bản sao của cô ấy - ngay cả với chính cô ấy! - đây là câu trả lời cô ấy nên đưa ra khi được hỏi về mức độ tin tưởng của mình vào đầu.
Giải thích
Câu hỏi "xác suất của những người đứng đầu là gì" có hai cách giải thích hợp lý cho thí nghiệm này: nó có thể hỏi về cơ hội một đồng xu công bằng hạ cánh, đó là (câu trả lời Halfer) hoặc có thể hỏi về cơ hội những đồng xu rơi xuống đất, dựa trên thực tế rằng bạn là bản sao được đánh thức. Đây là (câu trả lời của Thirder).Pr [ h | t ( i ) ∪ h ( i ) ] = 1 / 3Pr[h]=1/2Pr [ h | t ( i ) ∪ h ( i ) ] = 1 / 3
Trong tình huống mà SB (hay đúng hơn là bất kỳ một trong số các bộ máy tư duy Jaynes đã chuẩn bị giống hệt nhau) tìm thấy chính mình, phân tích này - mà nhiều người khác đã thực hiện (nhưng tôi nghĩ ít thuyết phục hơn, vì họ không loại bỏ rõ ràng những phiền nhiễu triết học trong các mô tả thử nghiệm) - hỗ trợ câu trả lời của Thirder.
Câu trả lời của Halfer là đúng, nhưng không thú vị, vì nó không liên quan đến tình huống mà SB thấy mình. Điều này giải quyết nghịch lý.
Giải pháp này được phát triển trong bối cảnh của một thiết lập thử nghiệm được xác định rõ. Làm rõ thí nghiệm làm rõ câu hỏi. Một câu hỏi rõ ràng dẫn đến một câu trả lời rõ ràng.
Bình luận
Tôi đoán rằng, theo Elga (2000), bạn có thể mô tả một cách hợp pháp câu trả lời có điều kiện của chúng tôi là "đếm [ing] vị trí tạm thời của riêng bạn có liên quan đến sự thật của h", nhưng đặc tính đó không thêm cái nhìn sâu sắc vào vấn đề: nó chỉ làm mất đi các sự kiện toán học trong bằng chứng. Đối với tôi, nó dường như chỉ là một cách tối nghĩa để khẳng định rằng cách giải thích "nhân bản" của câu hỏi xác suất là đúng.
Phân tích này cho thấy vấn đề triết học cơ bản là một trong những bản sắc : Điều gì xảy ra với những người vô tính không được đánh thức? Những mối quan hệ nhận thức và ồn ào nào giữa các bản sao? - nhưng cuộc thảo luận đó không phải là vấn đề phân tích thống kê; nó thuộc về một diễn đàn khác nhau .