Ở mỗi bước của một quá trình vô hạn giới hạn, đặt 10 quả bóng vào một cái bình và loại bỏ một quả ngẫu nhiên. Còn lại bao nhiêu quả bóng?


121

Câu hỏi (được sửa đổi một chút) diễn ra như sau và nếu bạn chưa bao giờ gặp nó trước khi bạn có thể kiểm tra nó trong ví dụ 6a, chương 2, của Khóa học đầu tiên về Xác suất của Sheldon Ross :

Giả sử rằng chúng ta sở hữu một chiếc bình lớn vô hạn và một bộ sưu tập vô hạn các quả bóng được dán nhãn bóng số 1, số 2, số 3, v.v. Hãy xem xét một thí nghiệm được thực hiện như sau: Vào lúc 1 phút đến 12 giờ tối, các quả bóng được đánh số từ 1 đến 10 được đặt trong bình và một quả bóng được lấy ra một cách ngẫu nhiên. (Giả sử rằng việc rút tiền không mất thời gian.) Vào lúc 1/2 phút đến 12 giờ tối, các quả bóng được đánh số từ 11 đến 20 được đặt trong bình và một quả bóng khác được lấy ra một cách ngẫu nhiên. Vào thời điểm 1/4 đến 12P.M., các quả bóng được đánh số từ 21 đến 30 được đặt trong một chiếc bình và một quả bóng khác được lấy ra một cách ngẫu nhiên ... và cứ thế. Câu hỏi quan tâm là, có bao nhiêu quả bóng trong bình lúc 12 giờ tối?

Câu hỏi này, như đã được đặt ra, về cơ bản, mọi người đều hiểu sai --- thông thường, trực giác sẽ nói rằng sẽ có vô số quả bóng vào lúc 12 giờ tối. Tuy nhiên, câu trả lời được cung cấp bởi Ross là xác suất một chiếc bình sẽ trống lúc 12 giờ tối

Khi giảng dạy lý thuyết xác suất, vấn đề này là một trong những vấn đề rất khó đưa ra một lời giải thích trực quan tốt.

Một mặt, bạn có thể cố gắng giải thích nó như sau: "hãy nghĩ đến xác suất của bất kỳ quả bóng nào tôi đang ném vào lúc 12 giờ tối. Trong các lần rút ngẫu nhiên vô hạn, cuối cùng nó sẽ bị loại bỏ. cuối cùng họ có thể ở đó ".

Tuy nhiên, các sinh viên sẽ tranh luận chính xác với bạn: "nhưng tôi đang đặt 10 quả bóng và loại bỏ 1 quả bóng mỗi lần. Không thể có bóng ở cuối".

Lời giải thích tốt nhất chúng ta có thể đưa ra cho họ để giải quyết những trực giác mâu thuẫn này là gì?

Tôi cũng cởi mở với lập luận rằng câu hỏi không được đặt ra và nếu chúng ta xây dựng nó tốt hơn thì "nghịch lý" sẽ biến mất hoặc với lập luận rằng nghịch lý là "hoàn toàn là toán học" (nhưng vui lòng cố gắng chính xác về nó).


6
+1. Tôi thích phiên bản mà chiếc bình bắt đầu bằng quả bóng (và một quả bóng bị loại bỏ), sau đó thêm quả bóng nữa (và một quả bóng bị loại bỏ), sau đó khác được thêm vào, v.v .:-) @Neil, chính xác thì đối số đó là gì? Bạn có thể phác họa nó? 4 8248
whuber

16
Nhiều quan niệm sai lầm và phần lớn sự nhầm lẫn về xác suất xuất phát từ các vấn đề về giới hạn và vô số. Đây là một ví dụ tuyệt vời về điều đó vì câu trả lời của @ enumaris giải thích rõ. Nó cũng là một ví dụ tuyệt vời của một ví dụ trong sách giáo khoa sẽ chỉ dẫn học sinh đến kết luận rằng chúng không thể thành công trong môn học.
Michael Lew

16
Mặc dù rõ ràng rằng mỗi quả bóng cụ thể có xác suất bằng 0 vào lúc nửa đêm, nhưng đối với tôi, không có sự phân phối xác suất rõ ràng nào trên tập hợp các mẫu bóng còn lại vào lúc nửa đêm hoặc có một cái giếng phân phối xác suất được xác định trên biến "có bao nhiêu quả bóng vào nửa đêm?".

15
Hay chính xác hơn, không gian mẫu ở đây là chuỗi vô hạn các lựa chọn bóng được loại bỏ vào thời điểm nào. Không rõ ràng có một -đau khớp hợp lý trên không gian mẫu mà "có bao nhiêu quả bóng vào lúc nửa đêm?" là một chức năng có thể đo lường được. σ

5
Cho đến nay đã có hơn 10 câu trả lời và có thể hơn 100 bình luận trong chủ đề này, nhưng dường như hầu hết mọi người không bận tâm tìm kiếm trong cuốn sách của Ross (khi tôi google tiêu đề tôi nhận được một liên kết trực tiếp đến PDF trong số vài kết quả đầu tiên). Trình bày ở đó rất rõ ràng. Cụ thể, Ross bắt đầu với hai biến thể không có xác suất, dẫn đến bóng vô hạn hoặc không vào lúc nửa đêm. Trước khi điều này được hiểu, sẽ không có ý nghĩa gì khi tiến hành biến thể xác suất. Nhưng có vẻ như nhiều người tranh chấp ở đây đang không đồng ý về hai trường hợp sơ bộ này .
amip

Câu trả lời:


144

Ross mô tả ba phiên bản của "nghịch lý" này trong Ví dụ 6a trong sách giáo khoa của mình . Trong mỗi phiên bản, 10 quả bóng được thêm vào bình và 1 quả bóng được loại bỏ ở mỗi bước của quy trình.

  1. Trong phiên bản đầu tiên, bóng thứ được loại bỏ ở bước thứ . Có vô số quả bóng còn lại sau nửa đêm vì tất cả các quả bóng có số không kết thúc bằng 0 vẫn còn ở đó.n10nn

  2. Trong phiên bản thứ hai, bóng thứ được loại bỏ ở bước thứ . Không còn bóng nào sau nửa đêm vì mỗi quả bóng cuối cùng sẽ bị loại bỏ ở bước tương ứng.nnn

  3. Trong phiên bản thứ ba, các quả bóng được loại bỏ đồng đều một cách ngẫu nhiên. Ross tính toán xác suất của mỗi quả bóng bị loại bỏ bởi bước và thấy rằng nó hội tụ thành là (lưu ý rằng điều này không rõ ràng! Người ta thực sự phải thực hiện tính toán). Điều này có nghĩa, bởi sự bất bình đẳng của Boole , rằng xác suất cuối cùng không có bóng cũng là .1 n 1n1n1

Bạn đang nói rằng kết luận cuối cùng này không trực quan và khó giải thích; điều này được hỗ trợ tuyệt vời bởi nhiều câu trả lời và bình luận lẫn lộn trong chính chủ đề này. Tuy nhiên, kết luận của phiên bản thứ hai chính xác là không trực quan! Và nó hoàn toàn không có gì để làm với xác suất hoặc số liệu thống kê. Tôi nghĩ rằng sau khi một người chấp nhận phiên bản thứ hai, không còn gì đáng ngạc nhiên về phiên bản thứ ba nữa.

Vì vậy, trong khi cuộc thảo luận "xác suất" phải là về phiên bản thứ ba [xem câu trả lời rất sâu sắc của @ paw88789, @Paul và @ekvall], cuộc thảo luận "triết học" nên tập trung vào phiên bản thứ hai dễ dàng hơn và tương tự như trong tinh thần đến khách sạn của Hilbert .


Phiên bản thứ hai được gọi là nghịch lý Ross-Littlewood . Tôi liên kết đến trang Wikipedia, nhưng cuộc thảo luận ở đó thật khó hiểu và tôi không khuyên bạn nên đọc nó cả. Thay vào đó, hãy xem chủ đề MathOverflow này từ nhiều năm trước . Nó được đóng lại bây giờ nhưng có một số câu trả lời rất nhạy cảm. Một bản tóm tắt ngắn gọn về các câu trả lời mà tôi thấy quan trọng nhất là như sau.

Chúng ta có thể định nghĩa một tập hợp của các quả bóng có trong bình sau bước . Chúng tôi có mà , , vv Có một khái niệm toán học cũng xác định các giới hạn của một chuỗi các bộ và một cách nghiêm ngặt có thể chứng minh rằng giới hạn của chuỗi này tồn tại và là tập rỗng . Thật vậy, những quả bóng có thể được đặt trong giới hạn đặt? Chỉ những cái không bao giờ được gỡ bỏ. Nhưng mọi quả bóng cuối cùng đều bị loại bỏ. Vì vậy, giới hạn là trống rỗng. Chúng ta có thể viết . n S 1 = { 2 , ... 10 } S 2 = { 3 , ... 20 } S nSnnS1={2,10}S2={3,20}Sn

Đồng thời, sốcủa các quả bóng trong tập , còn được gọi là số lượng thẻ của tập hợp này, bằng . Chuỗi rõ ràng là phân kỳ, có nghĩa là cardinality hội tụ đến cardinality của , còn được gọi là aleph-zero . Vì vậy, chúng ta có thể viết rằng .S n 10 n - n = 9 n 9 n N 0 | S n | 0|Sn|Sn10nn=9n9nN 0|Sn|0

"Nghịch lý" bây giờ là hai câu lệnh này dường như mâu thuẫn với nhau:

Sn|Sn|00

Nhưng tất nhiên không có nghịch lý thực sự và không có mâu thuẫn. Không ai nói rằng lấy cardinality là một hoạt động "liên tục" trên các tập hợp, vì vậy chúng tôi không thể trao đổi nó với giới hạn:Nói cách khác, từ thực tế là cho tất cả số nguyên chúng ta không thể kết luận rằng(giá trị ở thứ tự đầu tiên ) bằng . Thay vào đó,phải được tính trực tiếp và hóa ra bằng không.| S ω | | S ω |

lim|Sn||limSn|.
n N|Sn|=9nnN|Sω||Sω|

Vì vậy, tôi nghĩ rằng những gì chúng ta nhận được từ điều này thực sự là kết luận rằng việc lấy hồng y là một hoạt động không liên tục ... [@HarryAltman]

Vì vậy, tôi nghĩ rằng nghịch lý này chỉ là xu hướng của con người khi cho rằng các hoạt động "đơn giản" là liên tục. [@NateEldredge]


Điều này dễ hiểu hơn với các chức năng thay vì bộ. Hãy xem xét một hàm đặc trưng (còn gọi là chỉ số) của tập được xác định bằng một trên khoảng và 0 ở nơi khác. Mười chức năng đầu tiên trông giống như vậy (so sánh nghệ thuật ASCII từ câu trả lời của @ Hurkyl):S n [ n , 10 n ]fn(x)Sn[n,10n]

Chức năng chỉ báo cho 10 bước đầu tiên

Mọi người sẽ đồng ý rằng với mỗi điểm , chúng ta có . Điều này theo định nghĩa có nghĩa là các hàm hội tụ đến hàm . Một lần nữa, mọi người sẽ đồng ý với điều đó. Tuy nhiên, hãy quan sát rằng các tích phân của các hàm này càng lớn hơn và chuỗi các tích phân phân kỳ. Nói cách khác, lim f n ( a ) = 0 f n ( x ) g ( x ) = 0 0 f ( x ) d x = 9 naRlimfn(a)=0fn(x)g(x)=00f(x)dx=9n

limfn(x)dxlimfn(x)dx.

Đây là một kết quả phân tích hoàn toàn tiêu chuẩn và quen thuộc. Nhưng đó là một cải cách chính xác của nghịch lý của chúng tôi!

Một cách tốt để chính thức hóa vấn đề là mô tả trạng thái của bình không phải là một tập hợp (một tập con của ), vì chúng khó có thể đưa ra giới hạn, nhưng là chức năng đặc trưng của nó. "Nghịch lý" đầu tiên là giới hạn theo chiều không giống như giới hạn đồng nhất. [@ TheoJohnson-Freyd]N

Vấn đề quan trọng là "tại nửa đêm trưa" toàn bộ chuỗi vô hạn đã được thông qua , tức là chúng ta thực hiện một "trasfinite nhảy" và đến với siêu hạn nhà nước . Giá trị của tích phân "vào nửa đêm " phải là giá trị của tích phân của , không phải theo cách khác.lim f nfω=limfn(x)limfn


Xin lưu ý rằng một số câu trả lời trong chủ đề này là sai lệch mặc dù được đánh giá cao.

Cụ thể, @cmaster tính toán thực sự là vô hạn, nhưng đây không phải là điều nghịch lý hỏi về. Nghịch lý hỏi về những gì xảy ra sau toàn bộ các bước vô hạn; đây là một cấu trúc vô hạn và vì vậy chúng ta cần tính toán bằng 0 như đã giải thích ở trên.ballCount ( S ω )limnballCount(Sn)ballCount(Sω)


8
Câu trả lời của bạn cùng với câu trả lời của @ paw88789 dường như đủ để giải quyết những trực giác mâu thuẫn. Về cơ bản người ta có thể nói: (i) trực giác của bạn sẽ thất bại vì cardinality không liên tục; và, (ii) nếu sự tương tự vật lý làm phiền bạn, hãy nghĩ về câu hỏi sau: hàm "loại bỏ" tính từ bỏ không? Trong phiên bản xác suất, xác suất chúng ta chọn một bản đồ so sánh là gì? Tất nhiên, vẫn còn vấn đề liệu các đối tượng này có thể mô hình hóa bất kỳ hiện tượng thực tế nào không, nhưng đó là một vấn đề khác. Nhìn chung, tôi đánh giá cao ví dụ Ross thậm chí nhiều hơn bây giờ. f:NN
Carlos Cinelli

11
@MichaelLew Có nhiều kết quả phản trực quan trong toán học, và đây là một trong số đó. Một chuỗi các tập hợp S1 = {2, ... 10}, S2 = {3, ... 20}, v.v ... hội tụ đến tập hợp trống mặc dù mỗi tập tiếp theo có nhiều phần tử hơn tập trước. Đây chỉ là cách nó được. Xin lưu ý rằng công thức của nghịch lý hỏi điều gì xảy ra sau số bước. Rõ ràng một thiết lập như vậy không có bất kỳ kết nối với thế giới vật lý; nó là một sự trừu tượng toán học, và phải được tiếp cận như vậy. [tiếp]
amip

6
[cont.] Trực giác có thể thất bại khi đối phó với vô số, vì vậy người ta phải dựa vào sự chặt chẽ toán học. Có lẽ sự cải tổ này sẽ giúp bạn: xem xét một chuỗi các hàm trong đó hàm thứ n bằng 0 ở mọi nơi ngoài một khoảng [n + 1, 10n]. Chuỗi này hội tụ đến một hàm không có giá trị bằng 0, mặc dù mỗi hàm tiếp theo có khoảng thời gian khác không dài hơn. Hầu hết chúng ta đều quen thuộc với sự hội tụ của các chức năng hơn là sự hội tụ của các tập hợp, vì vậy việc cải cách này có thể dễ hiểu hơn.
amip

6
@Martijn Các hàm hội tụ thành vì với mỗi điểm đúng là với mọi , tức là theo định nghĩa . Đồng thời, chuỗi các tích phân phân kỳ vì . Đây không phải là một mâu thuẫn vì . Người ta chỉ có thể trao đổi chúng khi được gọi là hội tụ đồng nhất , đó là điều kiện mạnh hơn nhiều so với hội tụ đơn giản (theo chiều). Điều này được ám chỉ trong mathoverflow.net/a/7113 . g ( x ) = 0 một R f n ( một ) = 0 n > một f nf n = 9 n - 1 lim limfn(x)=I([n+1,10n])g(x)=0aRfn(a)=0n>afnfn=9n1limlim
amip

7
Một cách khác để giải thích điều này, là hỏi những điều sau: Có nhiều số chẵn hoặc số tự nhiên không? Mặc dù trong bất kỳ khoảng hữu hạn nào có nhiều số tự nhiên hơn, chúng thực sự có cùng số lượng. Sau đó, có nhiều bội số của hoặc số tự nhiên không? Một lần nữa, hầu hết mọi người đồng ý rằng họ có cùng số lượng. Do đó, bạn thêm số lượng bóng "số tự nhiên", nhưng bạn loại bỏ "bội số của 10 số bóng" - chúng có cùng số lượng thẻ, vì vậy cuối cùng, chiếc bình rỗng. (Tôi biết sự tương tự không giữ chính xác, như các chương trình phiên bản đầu tiên của ross, nhưng nó mang lại một số trực giác)10
Ant

28

Hurkyl (trong một câu trả lời) và Dilip Sarwate (trong một bình luận) đưa ra hai biến thể xác định phổ biến của câu đố này. Trong cả hai phiên bản, ở bước , bóng qua được thêm vào cọc ( ). 10 k - 9 10 k k = 1 , 2 , . . .k10k910kk=1,2,...

Trong biến thể của Hurkyl, bóng bị loại bỏ. Trong biến thể này, có thể lập luận dứt khoát rằng không còn bóng nào vì bóng bị loại bỏ ở bước .nknn

Trong biến thể của Dilip Sarwate, bóng được loại bỏ ở bước và do đó, trong biến thể này, tất cả các bóng không phải là bội số của . Trong biến thể này, có vô số quả bóng trong chiếc bình ở cuối.k 1010kk10

Với hai biến thể này là trường hợp cạnh, chúng ta thấy rằng rất nhiều điều khác nhau có thể xảy ra khi thực hiện quá trình này. Chẳng hạn, bạn có thể sắp xếp để có bất kỳ bộ bóng hữu hạn nào còn lại ở cuối, bằng cách thực hiện quy trình của Hurkyl nhưng bỏ qua việc loại bỏ một số quả bóng nhất định. Trong thực tế đối với bất kỳ tập hợp có bổ sung vô hạn (theo số tự nhiên (dương)), bạn có thể có tập hợp các quả bóng còn lại ở cuối quá trình.B

Chúng ta có thể xem xét sự biến đổi ngẫu nhiên của vấn đề (được đưa ra trong bài viết gốc) khi chọn một hàm với các điều kiện (i) là một đối một và (ii) cho tất cả . f f ( k ) 10 k k Nf:NNff(k)10kkN

Đối số được đưa ra trong cuốn sách Sheldon Ross (được tham khảo trong bài) cho thấy hầu như tất cả (theo nghĩa xác suất) các chức năng như vậy trên thực tế đều nằm trên các chức năng (dự đoán).

Tôi thấy điều này tương tự như tình huống chọn một số, từ phân phối đồng đều trên và hỏi xác suất của số đó trong tập hợp Cantor là gì (tôi đang sử dụng bộ Cantor thay vì nói các số hữu tỷ vì bộ Cantor là không thể đếm được). Xác suất là mặc dù có rất nhiều số (không thể đếm được) trong tập hợp Cantor có thể được chọn. Trong bài toán loại bỏ bóng, tập hợp các chuỗi trong đó có bất kỳ quả bóng nào còn lại đang đóng vai trò của tập hợp Cantor.[ 0 , 1 ] 0x[0,1]0


Chỉnh sửa: BenMillwood chỉ ra một cách chính xác rằng có một số bộ bóng hữu hạn không thể là bộ còn lại. Chẳng hạn, không thể là bộ còn lại. Bạn có thể có ít nhất những người đầu tiên quả bóng còn lại cho .90 % 10 n n = 1 , 2 , 3 , . . .1,2,...,1090%10nn=1,2,3,...


4
Bạn không thể có bất kỳ bộ bóng hữu hạn nào còn lại ở cuối - ví dụ: bạn không thể có bộ 1..10.
Ben Millwood

1
"Đối số được đưa ra trong cuốn sách Sheldon Ross (được tham chiếu trong bài đăng) cho thấy hầu như tất cả (theo nghĩa xác suất) các chức năng như vậy trên thực tế đều nằm trên các chức năng (dự đoán)." - (+1) đây là một cách rất thú vị để xem xét vấn đề và thực sự có thể dễ dàng hơn và ít gây nhầm lẫn hơn khi trình bày "câu chuyện vật lý" về những quả bóng.
Carlos Cinelli

5
+1. Tôi nghĩ rằng đây hiện là câu trả lời duy nhất thực sự có liên quan đến vấn đề này. Mọi người khác dường như đang thảo luận về việc liệu có còn lại những quả bóng không nếu trên quả bóng bước thứ n #n bị loại bỏ. Nói cách khác, hầu hết các cuộc thảo luận mà tôi thấy trong chủ đề này thực sự là về đoạn 2 của câu trả lời của bạn và không đi xa hơn thế. Cc đến @CarlosCinelli.
amip

3
Đây thực sự là câu trả lời đầu tiên thực sự khiến tôi hiểu lý do đằng sau một kết quả là gì. Bạn cho thấy kết quả mà chúng tôi thu được được kết nối với chức năng lựa chọn mà chúng tôi áp dụng - điều đó có ý nghĩa hoàn hảo và giúp tiến xa hơn là chỉ chấp nhận số tiền đó có thể bằng 0 vì tính không chính xác.
sukhmel

(+1) Tôi thích câu trả lời này vì bản chất không xác định của các đối số cụ thể dựa trên các hình thức không xác định được đề xuất tốt hơn. Điều này có thể được thực hiện đơn giản hơn rất nhiều bằng cách nói rằng là một hình thức không xác định và được thực hiện với nó. Ngoài ra, xem câu trả lời của tôi dưới đây mà tranh luận này trực tiếp hơn. 0×
Carl

24

Câu trả lời của Enumaris hoàn toàn đúng về vấn đề giới hạn phân kỳ. Tuy nhiên, câu hỏi thực sự có thể được trả lời một cách rõ ràng. Vì vậy, câu trả lời của tôi sẽ cho bạn thấy chính xác nơi giải pháp bóng không bị lỗi và tại sao giải pháp trực quan là giải pháp chính xác.


Đó là sự thật, rằng đối với bất kỳ quả bóng , xác suất của nó nằm trong chiếc bình ở cuối là bằng không. Nói chính xác, đó chỉ là giới hạn bằng 0: .P ( n ) P ( n ) = lim N P ( n , N ) = 0nP(n)P(n)=limNP(n,N)=0

Bây giờ, bạn thử tính tổng Phép tính bị hỏng nhảy ngay vào phần , nói rằng đó là 0 trong giới hạn, do đó, tổng chỉ chứa các số hạng bằng 0, do đó, tổng bằng 0: P(n,N) lim N ballCount ( N )

limNballCount(N)=limNn=1n10NP(n,N).
P(n,N)
limNballCount(N)=limNn=1n10NP(n,N)broken step here =limNn=1n10NlimNP(n,N)=limNn=1n10NP(n)=limNn=1n10N0=limN10N×0=0

Tuy nhiên, điều này là chia trái phép thành hai phần độc lập. Bạn không thể đơn giản di chuyển vào tổng nếu giới hạn của tổng phụ thuộc vào tham số của . Bạn phải giải quyết toàn bộ .limlimlimlimlim

Do đó, cách hợp lệ duy nhất để giải quyết này là giải tổng trước, sử dụng thực tế là cho mọi hữu hạn . Σ n 10 N n = 1 P ( n , N ) = 9 N N lim N ballCount ( N )limn=1n10NP(n,N)=9NN

limNballCount(N)=limNn=1n10NP(n,N)=limN9N=

Giải pháp trực quan đã thực hiện chính xác điều đó, đó là giải pháp "thông minh" về cơ bản đã bị phá vỡ.


9
Điều đó hình thành nên nghịch lý, chắc chắn. Nó có giá trị như vậy: Khẳng định rằng vô số quả bóng vẫn còn đặt ra câu hỏi tự nhiên: quả bóng nào? Bạn có thể đặt tên cho một quả bóng duy nhất có cơ hội khác không? Nếu không, thì có vẻ như tiên đề gây nghiện có thể đếm được ngụ ý không còn bóng, bởi vì chỉ có rất nhiều bóng. Do đó, bằng cách tuyên bố giải pháp trực quan là chính xác, bạn đang ngầm phủ nhận một tiên đề cơ bản của xác suất.
whuber

13
@whuber Tôi không cần đặt tên một quả bóng với xác suất khác không: Tôi có vô số quả bóng. Và giới hạn của sản phẩm của hai thứ, với một thứ là 0 và thứ kia là vô cùng, có thể là bất cứ thứ gì. Nó có thể bằng 0, có thể là vô cực, nó có thể là bất cứ thứ gì ở giữa (như 42). Điều đó phụ thuộc vào cách sản phẩm hoạt động như một tổng thể. Đó là cùng một loại "nghịch lý" khiến cho bất kỳ điểm nào trong phân phối trong R đều có xác suất bằng 0 - đó chỉ là các khoảng có vô số điểm có xác suất khác không xảy ra. Thực sự không có nghịch lý trong ý nghĩa toán học.
cmaster

6
Bạn phải làm toán chính xác trước khi bạn có thể khẳng định không có nghịch lý. Hãy để tôi minh họa. là tập hợp các số tự nhiên. Hãy xem xét chuỗi các tập hợp trong đó ở bước tất cả các số từ đến đã bị xóa. Ở mỗi bước vô hạn vẫn còn nhiều con số. Có bao nhiêu số vẫn còn trong giới hạn? "Cách hợp lệ duy nhất" của bạn, nếu tôi diễn giải chính xác, sẽ trả lời "vô cùng nhiều" vì " ." Thực tế là giới hạn trống rỗng là bằng chứng mạnh mẽ cho thấy cách tiếp cận của bạn bị nghi ngờ về mặt toán học. i = 0 , 1 , 2 , ... 0 i lim n = ... = N={0,1,2,}i=0,1,2,0ilimn==
whuber

7
@Michael Thật không may, đó là một tính toán sai lầm. Cơ hội còn lại của mỗi quả bóng trong giới hạn là . 0
whuber

13
Chỉ cần bình luận ở đây một lần nữa để đảm bảo mọi người biết câu trả lời này là không chính xác. @cvote bạn nên đọc lập luận của Ross, câu trả lời của bạn hoàn toàn không đề cập đến sự phái sinh của anh ấy.
Carlos Cinelli

14

Lập luận này tập trung vào xu hướng cho các tập hợp và trình tự vô hạn để hành xử theo cách đơn vị. Điều này không có gì đáng ngạc nhiên hơn khách sạn Hilbert . Trong trường hợp như vậy, bạn thực sự sẽ lấy ra vô số quả bóng, nhưng bạn sẽ đặt một số lượng vô hạn. Hãy xem xét khách sạn Hilbert ngược lại. Bạn có thể xóa số lượng khách vô hạn khỏi khách sạn và vẫn còn một số lượng vô hạn.

Cho dù điều này là có thể thực hiện được là một câu hỏi hoàn toàn khác.

Như vậy, tôi sẽ xem xét nó không nhất thiết phải hình thành, mà là đặt sai vào cuốn sách. Loại câu hỏi đếm này thuộc về một khóa học lý thuyết tập hợp, không phải là một khóa học xác suất.


2
Đối số được đưa ra để hỗ trợ câu trả lời là 0 phức tạp hơn chỉ là "vô cực trừ vô cực là 0" vì vậy tôi không nghĩ câu trả lời này thực sự giải quyết nó. Bạn cũng có thể loại bỏ vô số khách khỏi khách sạn và không còn lại, và trong một số trường hợp, thách thức ở đây là tìm ra bạn đã làm gì. Không có nghĩa là rõ ràng rằng lý thuyết tập hợp có câu trả lời cho câu hỏi đó và lý thuyết xác suất không.
Ben Millwood

3
@BenMillwood Đó sẽ là lý do tại sao tôi lập luận rằng câu đố này thuộc về một cuốn sách lý thuyết tập hợp, chứ không phải là một cuốn sách xác suất.
Cort Ammon

14

Tôi nghĩ rằng nó giúp loại bỏ các thành phần tạm thời thừa của vấn đề.

Biến thể cơ bản hơn của nghịch lý này là luôn loại bỏ quả bóng được đánh số thấp nhất. Để dễ vẽ, tôi cũng sẽ chỉ thêm hai quả bóng ở mỗi bước.

Quy trình mô tả cách điền vào lưới hai chiều vô hạn:

.*........
..**......
...***....  ....
....****..
.....*****

 :  :  :
 :  :  :

trong đó mỗi hàng được hình thành từ trước bằng cách thêm hai dấu sao ở bên phải sau đó loại bỏ phần ngoài cùng bên trái.

Các câu hỏi sau đó đặt ra là:

Có bao nhiêu cột kết thúc bằng dấu hoa thị lặp đi lặp lại thay vì dấu chấm lặp lại?

Theo tôi, ý tưởng đánh đồng kết quả này với "giới hạn số lượng dấu sao trong mỗi hàng" ít hấp dẫn hơn nhiều.


2
@LucaCiti: Những quả bóng nào trong bình? Những cái tương ứng với các cột kết thúc với các chiêm tinh lặp đi lặp lại. Có bao nhiêu cột kết thúc trong chiêm tinh lặp đi lặp lại? Không ai.

3
Hỏi những quả bóng nào không giống như hỏi có bao nhiêu.
Sentinel

3
@LucaCiti: Có bao nhiêu cột kết thúc bằng dấu hoa thị? Không ai. Đó là câu hỏi cụ thể mà Ross có nghĩa là hỏi sơ đồ này. (trên thực tế, một phần của toàn bộ vấn đề diễn đạt vấn đề theo cách này là để làm rõ câu hỏi cụ thể nào đang được hỏi)

5
@Hurkyl Câu hỏi có ứng dụng thực tế và IMHO có ý nghĩa hơn là có bao nhiêu quả bóng không phải quả bóng nào. Hãy xem xét một căn phòng với một cửa sổ mở. Tại mọi thời điểm các phân tử oxy đi vào và rời khỏi phòng. Xác suất mà một phân tử nhập vào thời gian hữu hạn vẫn ở trong phòng tại thời điểm về 0 là . Điều này không có nghĩa là căn phòng sẽ cạn kiệt oxy khi . T T T tTTT
Luca Citi

4
@LucaCiti: Tôi cho rằng nó không rõ ràng, nhưng lưới kéo dài vô tận xuống bên phải và bên phải. Không có "lần cuối". Vâng, đó là những gì văn bản trong hộp màu vàng nói - chính thức tôi đưa ra trong bài viết của tôi là những gì có nghĩa là văn bản đó. Đây là một vấn đề tiêu chuẩn và phân tích thực tế của Ross đồng ý với việc chính thức hóa của tôi. Bạn có thể hỏi một câu hỏi khác , nhưng đó sẽ là một vấn đề khác .

14

Câu trả lời này nhằm làm bốn việc:

  1. Xem lại công thức toán học của Ross về vấn đề, cho thấy cách nó diễn ra trực tiếp và rõ ràng từ mô tả vấn đề.

  2. Bảo vệ quan điểm rằng giải pháp nghịch lý của Ross là cả về mặt toán học và phù hợp với sự hiểu biết của chúng ta về thế giới vật chất, cho dù nó có thể thực hiện được 100% về mặt vật lý hay không.

  3. Thảo luận về những lập luận ngụy biện nhất định bắt nguồn từ trực giác vật lý, và cho thấy rằng giải pháp "vật lý" đã nêu của các quả bóng vô hạn vào buổi trưa không chỉ mâu thuẫn với toán học, mà còn cả vật lý.

  4. Mô tả một triển khai thực tế của vấn đề có thể giúp giải pháp của Ross trực quan hơn. Bắt đầu ở đây để trả lời câu hỏi ban đầu của Carlos.

1. Cách mô tả vấn đề một cách toán học

Chúng tôi sẽ giải nén bước "mô hình hóa quá trình vô hạn" ban đầu của đối số Ross (trang 46) . Đây là tuyên bố chúng tôi sẽ tập trung vào việc biện minh:

Xác định là sự kiện mà bóng số 1 vẫn còn trong bình sau khi lần rút n đầu tiên được thực hiện ... Sự kiện bóng số 1 diễn ra vào lúc 12 giờ tối chỉ là sự kiện .n = 1 E nEnn=1En

Trước khi chúng tôi giải nén tuyên bố của Ross, chúng ta hãy xem xét làm thế nào thậm chí có thể hiểu nội dung của chiếc bình vào buổi trưa, sau một chuỗi hoạt động vô hạn. Làm thế nào chúng ta có thể biết những gì trong bình? Chà, hãy nghĩ về một quả bóng cụ thể ; bạn có thể tưởng tượng hoặc hoặc bất cứ điều gì bạn muốn. Nếu quả bóng được lấy ra ở một giai đoạn nào đó của quá trình trước buổi trưa, chắc chắn nó sẽ không xuất hiện vào buổi trưa. Và ngược lại, nếu một quả bóng nhất định nằm trong bình ở mọi giai đoạn của quá trình cho đến trưa (sau khi nó được thêm vào), thì nó đã ở trong bình vào buổi trưa. Hãy viết những tuyên bố này một cách chính thức:b = 1 1000 bbb=11000b

Một quả bóng nằm trong bình vào buổi trưa khi và chỉ khi nó ở trong bình ở mọi giai đoạn trước buổi trưa, trong đó là giai đoạn bóng đã được thêm vào bình.n { n b , n b + 1 , n b + 2 , . . . } n bbn{nb,nb+1,nb+2,...}nb

Bây giờ, hãy giải nén câu lệnh của Ross - có nghĩa là gì trong tiếng Anh? Chúng ta hãy thực hiện một thực hiện quá trình urn và nói ra: xn=1En x

  • xE1 có nghĩa là bóng 1 nằm trong vòng sau giai đoạn 1 của quá trình.
  • xE1E2 có nghĩa là bóng 1 nằm trong vòng sau giai đoạn 1 và 2 của quá trình.
  • xE1E2E3 có nghĩa là bóng 1 nằm trong vòng sau các giai đoạn 1, 2 và 3 của quá trình.
  • Với mọi , có nghĩa là quả bóng nằm trong vòng sau giai đoạn đến .x n k = 1 E k 1 nk{1,2,3,...}xk=1nEk1n

Rõ ràng, sau đó, có nghĩa là, trong quá trình thực hiện của quá trình này, bóng 1 nằm trong vòng sau giai đoạn 1, 2, 3, et cetera : tất cả các giai đoạn hữu hạn trước buổi trưa. Giao điểm vô hạn chỉ là một cách viết khác, vì vậy chứa chính xác các quá trình trong đó bóng 1 nằm ở vị trí hoàn toàn giai đoạn trước buổi trưa. Một sự kiện chỉ là một tập hợp xác định của một quá trình, vì vậy câu cuối cùng chính xác tương đương với việc nói rằng là sự kiện mà bóng 1 đã ở trong mọi giai đoạn trước buổi trưa, cho quá trình ngẫu nhiên này. x k n = 1 E n n = 1 E n n = 1 E nxk{1,2,3...}Ekxkn=1Enn=1Enn=1En

Bây giờ, phần cuối: bởi câu nói "nếu và chỉ nếu" của chúng tôi ở trên, điều này hoàn toàn giống với việc nói rằng quả bóng 1 đã ở trong một buổi trưa! Vì vậy, là sự kiện bóng 1 xuất hiện vào buổi trưa, giống như Ross đã nêu ban đầu. QEDn=1En

Trong đạo hàm trên, mọi thứ chúng ta nói đều có giá trị như nhau cho cả phiên bản xác định và xác suất, bởi vì mô hình xác định là trường hợp đặc biệt của mô hình xác suất trong đó không gian mẫu có một yếu tố. Không có khái niệm lý thuyết hay xác suất nào được sử dụng, ngoài các từ "sự kiện" và "hiện thực hóa" (vốn chỉ là biệt ngữ cho "tập hợp" và "yếu tố").

2. Giải pháp nghịch lý là âm thanh toán học và liên quan đến vật lý

Sau điểm thiết lập này, các biến thể xác định và xác suất phân kỳ. Trong biến thể xác định (phiên bản 2 từ bài của amip), chúng ta biết bóng 1 được đưa ra ở bước đầu tiên, do đó, và giao lộ vô hạn, tất nhiên, cũng trống rỗng. Tương tự, bất kỳ quả bóng nào khác được lấy ra ở giai đoạn và không có mặt vào buổi trưa. Do đó, chiếc bình không thể chứa bất kỳ quả bóng được đánh số vào buổi trưa và do đó phải trống.b b bE1=bbb

Trong biến thể xác suất, hiện tượng tương tự xảy ra, chỉ trong một ý nghĩa "mong đợi" nhẹ nhàng hơn. Xác suất của bất kỳ quả bóng nào được đưa ra sẽ giảm xuống 0 khi chúng ta đến gần buổi trưa và vào thời điểm giới hạn của buổi trưa, quả bóng gần như chắc chắn không có mặt. Vì mỗi quả bóng có mặt với xác suất bằng 0 và tổng vô số số không vẫn là 0, nên gần như chắc chắn không có quả bóng nào trong buổi trưa. Tất cả những điều này được Ross thể hiện hoàn toàn nghiêm ngặt; chi tiết có thể được điền vào với một kiến ​​thức về lý thuyết đo lường trình độ sau đại học, như câu trả lời của @ ekvall cho thấy.

Nếu bạn chấp nhận các đối số chuẩn về các đối tượng toán học được biểu thị dưới dạng các chuỗi vô hạn, ví dụ , thì đối số ở đây sẽ được chấp nhận, vì nó dựa trên các nguyên tắc chính xác tương tự. Câu hỏi duy nhất còn lại là liệu giải pháp toán học có áp dụng cho thế giới thực hay chỉ là thế giới thuần túy của toán học. Câu hỏi này rất phức tạp và được thảo luận thêm trong phần 4.0.999...=1

Điều đó nói rằng, không có lý do gì để giả định rằng vấn đề urn vô hạn là phi vật lý, hoặc từ chối nó là không liên quan ngay cả khi nó là phi vật lý. Nhiều hiểu biết vật lý đã đạt được từ việc nghiên cứu các cấu trúc và quy trình vô hạn , ví dụ, các dây vô hạnmạng lưới percolation . Không phải tất cả các hệ thống này nhất thiết phải thực hiện được về mặt vật lý, nhưng lý thuyết của chúng định hình phần còn lại của vật lý. Bản thân tính toán là "phi vật lý" theo một số cách, bởi vì chúng ta không biết liệu có thể nhận ra một cách vật lý những khoảng cách và thời gian nhỏ tùy tiện thường là chủ đề nghiên cứu của nó hay không. Điều đó không ngăn chúng ta đưa tính toán vào sử dụng cực kỳ tốt trong khoa học lý thuyết và ứng dụng.

3. Tính phi vật lý của các giải pháp dựa trên "Trực giác vật lý"

Đối với những người vẫn tin rằng toán học của Ross là sai hoặc không chính xác về thể chất trong biến thể xác định và giải pháp vật lý thực sự là vô số quả bóng: bất kể bạn nghĩ gì xảy ra vào buổi trưa, không thể phủ nhận tình huống trước buổi trưa: mọi quả bóng được đánh số thêm vào bình cuối cùng được gỡ bỏ. Vì vậy, nếu bạn nghĩ rằng bằng cách nào đó vẫn còn vô số quả bóng vào buổi trưa, bạn phải thừa nhận rằng không phải một trong những quả bóng đó có thể là một quả bóng được thêm vào trước buổi trưa. Vì vậy, những quả bóng đó phải đến từ một nơi khác: bạn đang khẳng định rằng vô số quả bóng, không liên quan đến quá trình giải quyết vấn đề ban đầu, đột nhiên xuất hiện vào buổi trưa để giải cứu sự liên tục của cardinality khỏi bị vi phạm.Không mang tính vật lý như giải pháp "tập hợp trống" có vẻ như bằng trực giác, sự thay thế này là khách quan và phi vật lý. Các bộ sưu tập vô hạn của các vật thể không xuất hiện ngay lập tức chỉ để thỏa mãn trực giác nghèo nàn của con người về sự vô hạn.

Sai lầm phổ biến ở đây dường như là chúng ta chỉ có thể nhìn vào số lượng quả bóng khi thời gian đến gần trưa, và giả định rằng xu hướng phân kỳ mang lại vô số quả bóng vào buổi trưa, mà không quan tâm đến chính xác những quả bóng nào được đưa vào và ra. Thậm chí đã có một nỗ lực để chứng minh điều này bằng "nguyên tắc thờ ơ", trong đó tuyên bố rằng câu trả lời không nên phụ thuộc vào việc các quả bóng có được dán nhãn hay không.

Thật vậy, câu trả lời không phụ thuộc vào việc các quả bóng có được dán nhãn hay không, nhưng đó là một lập luận cho giải pháp của Ross, chứ không phải chống lại nó. Từ quan điểm của vật lý cổ điển, các quả bóng được dán nhãn hiệu quả cho dù bạn nghĩ chúng có nhãn hay không. Chúng có các đặc điểm nhận dạng riêng biệt, vĩnh viễn tương đương với nhãn và phân tích vật lý thực sự phải tính đến điều này, cho dù các con số có được viết theo nghĩa đen trên các quả bóng hay không. Bản thân các nhãn không ảnh hưởng trực tiếp đến cách giải pháp được đưa ra, nhưng chúng cần thiết để mô tả chính xác cách các quả bóng được di chuyển xung quanh. Một số thủ tục để lại quả bóng mãi mãi, một số khác có thể loại bỏ mọi quả bóng được thêm vào và nhãn là cần thiết để mô tả sự khác biệt giữa các quy trình này.Cố gắng bỏ qua các nhãn không phải là "vật lý", nó chỉ bỏ qua việc hiểu chính xác vấn đề vật lý để giải quyết nó. . một sơ đồ ghi nhãn không thay đổi duy nhất, một trong những vấn đề ban đầu của Ross.)

Cách duy nhất để phân biệt sẽ không thành sự thật là nếu "quả bóng" là các hạt cơ học lượng tử. Trong trường hợp này, nguyên tắc thờ ơ thất bại một cách ngoạn mục. Vật lý lượng tử cho chúng ta biết rằng các hạt không thể phân biệt hành xử hoàn toàn khác với các hạt phân biệt. Điều này có những hậu quả vô cùng cơ bản đối với cấu trúc của vũ trụ chúng ta, chẳng hạn như nguyên tắc loại trừ Pauli, có lẽ là nguyên tắc quan trọng nhất của hóa học. Không ai đã cố gắng phân tích một phiên bản lượng tử của nghịch lý này.

4. Mô tả giải pháp về mặt vật lý

Chúng ta đã thấy những trực giác "vật lý" mơ hồ có thể khiến chúng ta lạc lối về vấn đề này như thế nào. Ngược lại, nó chỉ ra rằng một mô tả chính xác hơn về vấn đề giúp chúng ta hiểu tại sao giải pháp toán học thực sự là giải pháp có ý nghĩa vật lý nhất.

Hãy xem xét một vũ trụ Newton vô tận được chi phối bởi các định luật của cơ học cổ điển. Vũ trụ này chứa hai vật thể: một Kệ vô hạn và một Urn vô hạn, bắt đầu từ Nguồn gốc của Vũ trụ và chạy cùng nhau, cách nhau một bước, mãi mãi và mãi mãi. Kệ nằm trên dòng feet, trong khi Urn nằm trên dòng feet. Dọc theo Kệ được đặt vô số quả bóng giống hệt nhau, cách đều nhau một chân, đầu tiên là một chân từ gốc (vì vậy quả bóng nằm trên đường feet). Urn - thứ thực sự giống như Kệ, nhưng trang trí công phu hơn một chút, khép kín và nói chung là Urarn - trống rỗng.y = 1 n x = ny=0y=1nx=n

Một lối đi kết nối Kệ và Urn ở phía dưới, và trên đỉnh Lối đi, tại Origin, đặt một robot Endeavour với nguồn cung cấp năng lượng vô hạn. Bắt đầu lúc 11 giờ sáng, Endeavour kích hoạt và bắt đầu phóng to qua lại trong Lối đi, chuyển bóng giữa Urn và Kệ theo hướng dẫn được lập trình của Ross-Littlewood:

  • Khi chương trình ra lệnh cho bóng được chèn vào Urn, bóng feet từ Origin được chuyển từ Kệ sang Urn.nnn
  • Khi chương trình ra lệnh loại bỏ bóng khỏi Urn, bóng chân từ Nguồn gốc được chuyển từ Urn sang Kệ.nnn

Trong cả hai trường hợp, việc chuyển nhượng được thực hiện thẳng trên, vì vậy bóng vẫn feet từ xứ. Quá trình mở ra như được chỉ định trong vấn đề Ross-Littlewood:n

  • Vào lúc 11:00 sáng, Endeavour chuyển bóng 1-10 từ Kệ sang Urn, sau đó di chuyển một trong những quả bóng Urn trở lại Kệ.
  • Vào lúc 11:30 sáng, Endeavour chuyển những quả bóng 11-20 từ Kệ sang Urn, sau đó di chuyển một trong những quả bóng Urn trở lại Kệ.
  • Vào lúc 11:45 sáng, Endeavour chuyển bóng 21-30 từ Kệ sang Urn, sau đó di chuyển một trong những quả bóng Urn trở lại Kệ.
  • vân vân...

Khi quá trình tiếp tục, mỗi bước mới đòi hỏi các chuyến đi dài hơn lên và xuống Lối đi, và chỉ một nửa thời gian để thực hiện các chuyến đi. Do đó, Endeavour phải di chuyển lên và xuống Lối đi nhanh hơn theo cấp số nhân khi buổi trưa đóng cửa. Nhưng nó luôn theo kịp chương trình, bởi vì nó có nguồn cung cấp năng lượng vô hạn và có thể di chuyển nhanh như cần thiết. Cuối cùng, buổi trưa cũng đến.

Điều gì xảy ra trong phiên bản tưởng tượng sống động hơn này? Nhìn từ trên cao, cách tiếp cận buổi trưa thực sự ngoạn mục. Trong Urn, một làn sóng bóng xuất hiện để truyền ra từ Nguồn gốc. Kích thước và tốc độ của Wave tăng lên mà không bị ràng buộc khi đến gần trưa. Nếu chúng ta chụp ảnh ngay sau mỗi bước thì bố cục của quả bóng sẽ như thế nào? Trong trường hợp xác định, chúng sẽ trông giống hệt như các hàm bước trong câu trả lời của amip. Các vị trí bóng sẽ theo chính xác các đường cong anh ta đã vẽ. (x,y)Trong trường hợp xác suất, nó sẽ trông gần giống nhau, nhưng với sự lảo đảo hơn gần Nguồn gốc.

Khi buổi trưa đến, chúng tôi dự trữ những gì đã xảy ra. Trong phiên bản xác định, mỗi quả bóng được chuyển từ Kệ sang Urn chính xác một lần, sau đó di chuyển trở lại ở bước sau, với cả hai lần chuyển xảy ra trước buổi trưa. Vào buổi trưa, Vũ trụ phải trở về trạng thái 11 giờ ban đầu. Sóng không còn nữa. Mỗi quả bóng trở lại chính xác nơi nó bắt đầu. Không có gì thay đổi. Urn trống rỗng. Trong phiên bản xác suất điều tương tự xảy ra, ngoại trừ bây giờ kết quả chỉ gần như chắc chắn chứ không chắc chắn.

Trong cả hai trường hợp, "sự phản đối vật lý" và những lời phàn nàn về sự vô hạn dường như tan biến vào không khí mỏng. Tất nhiên là Urn trống vào buổi trưa. Làm thế nào chúng ta có thể tưởng tượng khác?

Bí ẩn duy nhất còn lại là số phận của Endeavour. Sự dịch chuyển của nó khỏi Nguồn gốc và vận tốc của nó trở nên lớn tùy ý khi buổi trưa đến gần, vì vậy vào buổi trưa, Endeavour không tìm thấy ở đâu trong Vũ trụ Newton vô tận của chúng ta. Mất Endeavour là vi phạm vật lý duy nhất xảy ra trong quá trình này.

Tại thời điểm này, người ta có thể phản đối rằng Endeavour không thể thực hiện được, vì tốc độ của nó tăng lên mà không bị ràng buộc và cuối cùng sẽ vi phạm giới hạn tương đối tính, tốc độ ánh sáng. Tuy nhiên, chúng ta có thể thay đổi kịch bản một chút để giải quyết vấn đề này. Thay vì một robot duy nhất, chúng ta có thể có vô số robot, mỗi robot chịu trách nhiệm cho một quả bóng. Chúng tôi có thể lập trình chúng trước để đảm bảo sự phối hợp và thời gian hoàn hảo theo hướng dẫn của Ross.

Là biến thể này 100% vật lý? Có lẽ là không, bởi vì các robot sẽ phải hoạt động với thời gian chính xác tùy ý. Khi chúng ta đến gần buổi trưa, độ chính xác được yêu cầu cuối cùng sẽ giảm xuống dưới thời Planck và tạo ra các vấn đề cơ học lượng tử. Nhưng cuối cùng, một dây vô hạn và một mạng lưới percolation vô hạn cũng có thể không phải là tất cả. Điều đó không ngăn chúng tôi nghiên cứu các hệ thống và quy trình vô hạn và xác định điều gì sẽ xảy ra nếu các ràng buộc vật lý bị cản trở bị đình chỉ.

4a. Tại sao Count Monotonicity bị Vi phạm

Một số người hoài nghi Ross đã đặt câu hỏi làm thế nào có thể số lượng bóng trong chiếc bình tăng lên mà không bị ràng buộc khi chúng ta đến gần buổi trưa, sau đó là số 0 vào buổi trưa. Cuối cùng, chúng ta phải tin vào phân tích nghiêm ngặt về trực giác của chúng ta, điều này thường sai, nhưng có một biến thể của nghịch lý giúp làm sáng tỏ bí ẩn này.

Giả sử thay vì vô số quả bóng, chúng ta có các quả bóng được dán nhãn 1, 2, 3, lên đến và chúng tôi đưa ra bổ sung sau cho các quy tắc cho động lực bóng:10 N10N10N

  • Nếu hướng dẫn yêu cầu bạn di chuyển một quả bóng không tồn tại, hãy bỏ qua hướng dẫn đó.

Lưu ý rằng vấn đề ban đầu là không thay đổi nếu chúng ta thêm vào nó hướng dẫn này, vì hướng dẫn sẽ không bao giờ được kích hoạt với vô số quả bóng. Vì vậy, chúng ta có thể nghĩ về vấn đề ban đầu và gia đình vấn đề mới này là một phần của cùng một gia đình, với cùng một quy tắc. Kiểm tra gia đình hữu hạn , đặc biệt đối với rất lớn , có thể giúp chúng ta hiểu trường hợp "N = ".N NN

Trong biến thể này, các quả bóng tích lũy 9 mỗi bước như trước đây, nhưng chỉ đến bước của quá trình. Sau đó, các số cho các quả bóng được thêm vào không còn tương ứng với các quả bóng thực tế và chúng tôi chỉ có thể thực hiện theo hướng dẫn để loại bỏ các quả bóng và quá trình dừng lại sau bước bổ sung, trong tổng số bước. Nếu rất lớn, pha chỉ loại bỏ xảy ra rất gần với buổi trưa, khi các nhiệm vụ đang được thực hiện rất nhanh, và chiếc bình bị loại bỏ rất nhanh.9 N 10 N NN9N10NN

Bây giờ, giả sử chúng ta thực hiện biến thể thử nghiệm này cho từng giá trị của và vẽ biểu đồ đếm bóng theo thời gian, , trong đó dao động từ 0 đến 1 giờ sau 11 giờ sáng (tức là 11 giờ sáng đến trưa). Thông thường tăng trong một thời gian, sau đó giảm về 0 tại hoặc trước . Trong giới hạn khi tiến đến vô cùng, đồ thị tăng cao hơn bao giờ hết và sự sụt giảm nhanh hơn bao giờ hết. Vào buổi trưa, chiếc bình luôn trống: . Trong biểu đồ giới hạn, , đường cong tiếp cận vô hạn cho nhưngf N ( t ) t f N ( t ) t = 1 N f N ( 1 ) = 0 f ( t ) = lim N f N ( t ) t < 1 f ( 1 ) = 0 N NfN(t)tfN(t)t=1NfN(1)=0f(t)=limNfN(t)t<1f(1)=0. Đây chính xác là kết quả thu được trong bằng chứng của Ross: số lượng bóng chuyển sang vô cực trước buổi trưa, nhưng bằng không vào buổi trưa. Nói cách khác, giải pháp của Ross duy trì tính liên tục đối với N: giới hạn theo chiều của số lượng bóng là khớp với số lượng bóng trong trường hợp bóng vô hạn.N

Tôi không coi đây là một lập luận chính cho giải pháp của Ross, nhưng nó có thể hữu ích cho những người đang bối rối về lý do tại sao số lượng bóng tăng lên mãi mãi, hơn là sụp đổ về 0 vào buổi trưa. Mặc dù lạ, đó là hành vi giới hạn của phiên bản hữu hạn của vấn đề là , và do đó không đến như một "cú sốc bất ngờ" trong trường hợp vô hạn.N

Một phản ánh cuối cùng

Tại sao vấn đề này đã được chứng minh là một hố nhựa như vậy đối với nhiều người như vậy? Suy đoán của tôi là trực giác về thể chất của chúng ta mơ hồ hơn nhiều so với chúng ta nghĩ và chúng ta thường đưa ra kết luận dựa trên những quan niệm tinh thần không chính xác và không đầy đủ. Ví dụ, nếu tôi yêu cầu bạn nghĩ về một hình vuông cũng là một hình tròn, bạn có thể tưởng tượng một cái gì đó vuông vức và tuần hoàn, nhưng nó sẽ không chính xác là cả hai điều đó - điều đó là không thể. Tâm trí con người có thể dễ dàng trộn lẫn các khái niệm mơ hồ, mâu thuẫn vào một bức tranh tinh thần duy nhất. Nếu các khái niệm ít quen thuộc hơn, như Infinite, chúng ta có thể tự thuyết phục rằng những bản mashup tinh thần mơ hồ này thực sự là những khái niệm về Real Thing.

Đây chính xác là những gì xảy ra trong vấn đề urn. Chúng tôi không thực sự quan niệm về tất cả mọi thứ cùng một lúc; chúng tôi nghĩ về các bit và các mảnh của nó, giống như có bao nhiêu quả bóng theo thời gian. Chúng tôi vẫy tay với những kỹ thuật được cho là không liên quan, như những gì xảy ra với từng quả bóng nhỏ bé khiêm tốn theo thời gian, hoặc chính xác là một "chiếc bình" có thể giữ vô số quả bóng như thế nào. Chúng tôi bỏ qua việc đưa ra tất cả các chi tiết một cách chính xác, không nhận ra rằng kết quả là một sự kết hợp của các mô hình tinh thần không phù hợp, không tương thích.

Toán học được thiết kế để giải cứu chúng ta khỏi tình trạng này. Nó kỷ luật và thép chúng ta khi đối mặt với những người không quen thuộc và kỳ lạ. Nó đòi hỏi chúng ta phải suy nghĩ kỹ về những điều "phải" là đúng ... đúng không? Nó nhắc nhở chúng ta rằng cho dù mọi thứ có kỳ lạ đến thế nào, một và một vẫn là hai, một quả bóng là trong một chiếc bình hoặc nó không phải, và một tuyên bố là đúng hoặc sai. Nếu chúng ta kiên trì, những nguyên tắc này cuối cùng sẽ mang lại sự rõ ràng cho hầu hết các vấn đề của chúng ta.

Những người phụ thuộc phân tích toán học vào trực giác "vật lý" hoặc "lẽ thường" làm điều đó trong tình trạng nguy hiểm. Vẫy tay về trực giác chỉ là khởi đầu của vật lý. Trong lịch sử, tất cả các ngành vật lý thành công cuối cùng đã tự sáng lập ra toán học nghiêm ngặt, loại bỏ những trực giác vật lý không chính xác, củng cố các hệ thống chính xác và cho phép nghiên cứu nghiêm ngặt các hệ thống lý tưởng, chẳng hạn như dây mang dòng vô hạn, chiếu sáng hành vi của phức tạp hơn, thế giới thực lộn xộn. Ross-Littlewood là một vấn đề vật lý,thường được hiểu là một trong những cơ học cổ điển, và cơ học cổ điển có một nền tảng toán học hoàn toàn trưởng thành và nghiêm ngặt. Chúng ta nên dựa vào mô hình toán học và phân tích cho trực giác của chúng ta về thế giới vật lý cổ điển, chứ không phải theo cách khác.


3
Đây là con đường để đi. Tuy nhiên, ý nghĩa đầy đủ của "điều này không liên quan gì đến xác suất" không hoàn toàn rõ ràng, bởi vì có những giả định cần thiết về xác suất: không có chúng, kết luận sẽ thay đổi. Chẳng hạn, nếu bạn chỉ định xác suất bằng không ở mỗi giai đoạn cho cơ hội rút bóng , thì bóng sẽ vẫn còn sau nửa đêm. 111
whuber

Bình luận không dành cho thảo luận mở rộng; cuộc trò chuyện này đã được chuyển sang trò chuyện .
whuber

12

Một số áp phích đã được quan tâm, các tính toán trong Ross có thể không nghiêm ngặt. Câu trả lời này giải quyết rằng bằng cách chứng minh sự tồn tại của một không gian xác suất trong đó tất cả các kết quả được Ross xem xét thực sự có thể đo lường được, và sau đó lặp lại các phần quan trọng trong tính toán của Ross.

Tìm một không gian xác suất phù hợp

Để đưa ra kết luận của Ross rằng không có quả bóng nào vào lúc 12 giờ tối, gần như chắc chắn, nghiêm ngặt, chúng ta cần sự tồn tại của một không gian xác suất trong đó sự kiện "không có quả bóng nào vào lúc 12 giờ PM "có thể được xây dựng chính thức và được hiển thị để đo lường được. Cuối cùng, chúng ta sẽ sử dụng Định lý 33 [Ionescu - Tulcea] trong các ghi chú bài giảng này , được điều chỉnh lại một chút và một cấu trúc được đề xuất bởi @NateEldredge trong một nhận xét cho câu hỏi.(Ω,F,P)

Định lý. (Ionescu - Định lý mở rộng Tulcea) Hãy xem xét một chuỗi các không gian có thể đo được . Giả sử rằng với mỗi , tồn tại một hạt nhân xác suất từ đến (lấy làm hạt nhân không nhạy cảm với đối số đầu tiên của nó, tức là thước đo xác suất). Sau đó, tồn tại một chuỗi các biến ngẫu nhiên lấy các giá trị trong tương ứng , sao cho, với mọi , phân phối chung củan κ n ( Ξ 1 , X 1 ) × × ( Ξ n - 1 , X n - 1 ) ( Ξ n , X n ) κ 1 X n , n = 1 , 2 , ... Ξ n n(Ξn,Xn),n=1,2,nκn(Ξ1,X1)××(Ξn1,Xn1)(Ξn,Xn)κ1Xn,n=1,2,Ξnnκ 1 , ... , κ n(X1,,Xn)được ngụ ý bởi các hạt nhân .κ1,,κn

Chúng tôi để biểu thị nhãn của quả bóng đã bị xóa khi rút tiền lần thứ . Rõ ràng là quá trình (vô hạn) , nếu nó tồn tại, cho chúng ta biết mọi thứ chúng ta cần biết để bắt chước các đối số của Ross. Ví dụ: biết đối với một số nguyên giống như biết số lượng bóng trong bình sau khi rút : chúng chính xác là các quả bóng được thêm vào có nhãn , trừ đi những quả bóng đã xóa . Tổng quát hơn, các sự kiện mô tả trong đó, và có bao nhiêu, quả bóng đang ở urn sau khi bất kỳ rút nhất định có thể được ghi trong điều khoản của quy trình . n X = ( X 1 , X 2 , Hoài ) X 1 , Rằng , X m m 0 m { 1 , 2 , Lỗi , 10 m } { X 1 , , X m } XXnnX=(X1,X2,)X1,,Xmm0m{1,2,,10m}{X1,,Xm}X

Để phù hợp với thử nghiệm của Ross, chúng tôi cần rằng, với mọi , phân phối là thống nhất trên . Chúng tôi cũng cần phân phối để được thống nhất trên . Để chứng minh rằng một quá trình vô hạn với các phân phối chiều hữu hạn này thực sự tồn tại, chúng tôi kiểm tra các điều kiện của Định lý mở rộng Ionescu-Tulcea. Đối với bất kỳ số nguyên , hãy để và xác định khoảng trắng có thể đo được , trong đóX n | X n - 1 , ... , X 1 { 1 , 2 , ... , 10 n } X 1 , ... , X n - 1 X 1 { 1 , ... , 10 } X = ( X 1 , X 2 , Hoài ) n I n = { 1n2XnXn1,,X1{1,2,,10n}X1,,Xn1X1{1,,10}X=(X1,X2,)n( Ξ n , X n ) = ( tôi 10 n , 2 tôi 10 n ) 2 B B κ 1 ( Ξ 1 , X 1 ) 1 / 10 Ξ 1 n 2 ( x 1 , ... , x n - 1 ) Ξ 1 × In={1,2,,n}(Ξn,Xn)=(I10n,2I10n)2B biểu thị sức mạnh thiết lập của tập . Xác định số đo trên là số đo đặt khối lượng trên tất cả các yếu tố của . Với mọi và xác định là hạt nhân xác suất đặt khối lượng bằng nhau trên tất cả các điểm trong và khối lượng 0 trên tất cả các điểm khác, tức là trên các số nguyênBκ1(Ξ1,X1)1/10Ξ1n2 κ n ( x 1 , ... , x n - 1 , ) Ξ n{ x 1 , ... , x n - 1 } x iΞ n , i = 1 , ... , n - 1 X ( Ω , F , P )(x1,,xn1)Ξ1××Ξn1κn(x1,,xn1,)Ξn{x1,,xn1}xiΞn,i=1,,n1. Bằng cách xây dựng, các hạt xác suất đồng ý với xác suất loại bỏ đồng nhất được chỉ định bởi Ross. Do đó, quá trình vô hạn và không gian xác suất , sự tồn tại của định lý được đưa ra, cho chúng ta một cách để chính thức thực hiện lập luận của Ross.X(Ω,F,P)

Đặt biểu thị tập hợp kết quả sao cho bóng nằm trong bình sau khi rút . Theo quy trình ngẫu nhiên của chúng tôi, điều này có nghĩa là, với tất cả và sao cho chúng tôi xác định , tức là bóng đã không bị xóa trong bất kỳ lần rút nào lên đến và bao gồm cả lần thứ . Với chúng ta có thể xác định rõ vì bóng chưa được thêm vào lượt. Với mỗi và , tập hợp i n X i n i 10 n E i n = n j = 1 { ω : X j ( ω ) i } i n i > 10 n E i n = i j i { ω : X j ( ω ) i } X j E iEininXini10nEin=j=1n{ω:Xj(ω)i}ini>10nEin=iji{ω:Xj(ω)i} có thể đo lường được vì là một biến ngẫu nhiên (có thể đo lường được). Do đó, có thể đo được là sự giao thoa hữu hạn của các tập có thể đo được.XjEin

Chúng tôi quan tâm đến tập hợp các kết quả sao cho không có quả bóng nào vào lúc 12 giờ tối. Đó là tập hợp các kết quả sao cho mỗi số nguyên , quả bóng không xuất hiện vào lúc 12 giờ tối Đối với mọi , hãy để là tập hợp kết quả ( ) sao cho quả bóng ở trong vòng 12 giờ sáng Chúng ta có thể xây dựng chính thức bằng cách sử dụng như sau. Rằng đang ở trong bình lúc 12 giờ tối tương đương với bình sau mỗi lần rút tiền được thực hiện sau khi được thêm vào bình, vì vậyi i E i w Ohm i E i E i n i E i = n : i 10 n E i n E i ii=1,2iiEiωΩiEiEiniEi=n:i10nEin. Tập hợp kết quả hiện có thể đo được là giao điểm có thể đếm được của các tập có thể đo được, cho mọi .Eii

Các kết quả có ít nhất một quả bóng trong vòng 12 giờ sáng là những kết quả mà ít nhất một trong số xảy ra, tức là . Tập hợp kết quả có thể đo lường được là tập hợp có thể đếm được của các tập hợp có thể đo lường được. Bây giờ, là sự kiện không có quả bóng nào vào lúc 12 giờ tối, điều này thực sự có thể đo lường được như là sự bổ sung của một tập hợp có thể đo lường được. Chúng tôi kết luận rằng tất cả các bộ kết quả mong muốn đều có thể đo lường được và chúng tôi có thể chuyển sang tính toán xác suất của chúng, như Ross đã làm. E = i = 1 E i E Ohm EEiE=i=1EiEΩE

Tính xác suấtP(ΩE)

Chúng tôi lưu ý đầu tiên vì họ các sự kiện là có thể đếm được, chúng tôi có tính phụ thuộc của các biện pháp có thể đếm đượcEi,i=1,2,

P ( E i ) = một i i P ( E ) = 0 Σ N i = 1 một i = 0 N một i = 0 i

P(E)i=1P(Ei)=limNi=1NP(Ei).
Để dễ ghi chú, hãy biểu thị số thực cho tất cả . Rõ ràng, để chứng minh rằng nó cũng đủ để chứng minh rằng cho tất cả . Điều này tương đương với việc hiển thị rằng cho mọi , mà chúng ta sẽ làm ngay bây giờ.P(Ei)=aiiP(E)=0i=1Nai=0Nai=0i

Cuối cùng, lưu ý rằng với tất cả sao cho bóng đã được thêm vào urn, tức là , . Điều này là như vậy bởi vì nếu bóng nằm trong urn ở bước , thì nó cũng nằm trong urn ở bước . Nói cách khác, các tập hợp , tạo thành một chuỗi giảm cho tất cả sao cho . Để dễ ghi chú, hãy để . Ross chứng minh rằng là và nói rằng điều này cũng có thể được hiển thị cho tất cả các kháci 10 n i E i nE i ( n + 1 ) i n + 1 n E i n n 10 n i a i n = P ( E i n ) a 1 n0 n i a i n = n k = i [ 9 kni10niEinEi(n+1)in+1nEinn10niain=P(Ein)a1n0ni, mà tôi sẽ coi là sự thật. Bằng chứng bao gồm cho thấy và cho tất cả , an tính toán sơ cấp nhưng dài dòng tôi sẽ không nhắc lại ở đây. Được trang bị kết quả này và thực tế là gia đình của các sự kiện , có thể đếm được cho mọi i , tính liên tục của các biện pháp mang lạilim n một i n = 0 i E i n 10 n > iain=k=in[9k/(9k+1)]limnain=0iEin10n>i

ai=P(n:10n>iEin)=limnP(Ein)=limnain=0.

Chúng tôi kết luận rằng và do đó như đã tuyên bố. QED.P ( Ohm E ) = 1P(E)=0P(ΩE)=1


Một số hiểu lầm phổ biến:

  1. Một câu trả lời liên quan đến thực tế là (theo ký hiệu của tôi) . Tuy nhiên, điều này không ảnh hưởng đến tính hợp lệ của giải pháp vì số lượng ở phía bên tay phải không phải là lợi ích của mỗi đối số được cung cấp.limNi=1NlimnainlimNi=1NaiN
  2. Đã có một số lo ngại rằng giới hạn không thể được di chuyển bên trong tổng hoặc nói cách khác không thể thay thế được với tổng theo nghĩa đó có thể là trường hợp . Giống như nhận xét trước đây, điều này không liên quan đến giải pháp vì số lượng ở phía bên tay phải không phải là một lợi ích.i=1limnainlimni=1ain

4
@ekvall Kudos vì đã đưa vào công việc vô ơn này. Điều mọi người thường nên hiểu là, nếu bạn xác định một số sự kiện và thực hiện các thao tác tập hợp có thể đếm được trên các sự kiện đó, thì các tập kết quả có thể đo được trong đại số sigma được tạo bởi các sự kiện đó. Đó chính xác là những gì đại số sigma được thiết kế để làm: cung cấp cho chúng ta một vũ trụ nơi chúng ta có thể thực hiện các hoạt động tập hợp có thể đếm được mà không cần quan tâm đến khả năng đo lường.
Paul

Bình luận không dành cho thảo luận mở rộng; cuộc trò chuyện này đã được chuyển sang trò chuyện .
whuber

10

Một mặt, bạn có thể cố gắng giải thích nó như sau: "hãy nghĩ đến xác suất của bất kỳ quả bóng nào tôi đang ném vào lúc 12 giờ tối. Trong các lần rút ngẫu nhiên vô hạn, cuối cùng nó sẽ bị loại bỏ. cuối cùng họ có thể ở đó ".

Tôi không thấy lập luận này thuyết phục. Nếu đối số này hoạt động, thì đối số sau sẽ hoạt động: Mỗi năm, một số người được sinh ra (giả sử một phần không đổi trong tổng dân số) và một số người chết (giả sử một phần không đổi). Sau đó, vì trong giới hạn, bất kỳ người cụ thể nào cũng gần như chắc chắn đã chết, thì loài người phải tuyệt chủng! Bây giờ, loài người có thể bị tuyệt chủng vì những lý do khác, nhưng lập luận này là rác rưởi.

Không có ý nghĩa gì cho vấn đề này để có một giải pháp khi các quả bóng được đánh số và để nó có một câu trả lời hoàn toàn khác khi các quả bóng được ẩn danh. Bằng cách đối xứng, nhãn tùy ý không ảnh hưởng đến giải pháp. Jaynes gọi lập luận này là nguyên tắc thờ ơ , mà tôi chấp nhận.

Nói cách khác, nếu ai đó nói với bạn rằng họ đặt mười quả bóng vào một cái bình và loại bỏ một quả liên tục, và cái bình đầy đủ trong giới hạn, câu trả lời của bạn có phải là "Điều đó phụ thuộc vào việc các quả bóng được đánh số" không? Dĩ nhiên là không. Nội dung của chiếc bình đó phân kỳ giống như chiếc bình trong vấn đề này.

Do đó, tôi nghĩ giải pháp nằm ở cách chúng ta chính thức hóa vấn đề. Từ định nghĩa thông thường về giới hạn lý thuyết tập hợp , chúng ta có

lim sup n S n =n 1 j n S j

lim infnSn=n1jnSj.
lim supnSn=n1jnSj

Đặt giới hạn của số lượng của tập hợp là

klimn|Sn|

và tính chính xác của của tập hợp làlim inf

l|lim infn(Sn)|.

Tôi đề nghị giới hạn lý thuyết tập hợp được xác định lại để:

limnSn{lim infn(Sn)if lim infn(Sn)=lim supn(Sn),k exists, and k=lαkif lim infn(Sn)=lim supn(Sn),k exists, and klundefinedotherwise.

Bộ nặc danh đặc biệt này có tên là mô tả những gì xảy ra ở vô cực. Cũng giống như đại diện cho hành vi giới hạn của các số, đại diện cho hành vi giới hạn của các tập hợp. Cụ thể, chúng tôi có và . Lợi ích của chủ nghĩa hình thức này là nó mang lại cho chúng ta sự liên tục của tính đồng nhất và tính nhất quán với nguyên tắc thờ ơ .α i α ki | α k | = kαkαiαki|αk|=k

Đối với bài toán urn, chúng ta có là tập hợp các quả bóng trong bình. Và Do đó, các yếu tố không "rơi xuống một vách đá" ở vô cực, điều này không có ý nghĩa gì hơn là nó có ý nghĩa đối với loài người bị tuyệt chủng chỉ vì không có con người là bất tử.lim n S n = alpha .Sn={n+1,,10n}

limnSn=α.

Tương tự, giả sử chúng ta sửa đổi vấn đề để ở mỗi bước một quả bóng được thêm vào và quả bóng được đánh số thấp nhất sẽ bị loại bỏ. Sau đó, có bao nhiêu quả bóng trong bình trong giới hạn? Các bộ ẩn danh đưa ra câu trả lời trực quan:

limn{n}=α1.

Tôi nhận ra rằng các nhà toán học có thể không đồng ý về các độ phân giải cho nghịch lý này, nhưng với tôi, đây là độ phân giải trực quan nhất.


8
Bất cứ ai lập luận rằng toán học cần phải được sửa chữa phải đưa ra một minh chứng rất thuyết phục về lý do tại sao. Mặt khác, vị trí mặc định phải là trực giác của một người xứng đáng được điều chỉnh. Nếu không, thì chúng ta hiếm khi có thể tuyên bố đã tiến xa hơn Zeno trong suốt 2500 năm qua.
whuber

5
Nếu bạn chấp nhận các tiên đề xác suất thông thường và nếu bạn chấp nhận thêm rằng xác suất của bất kỳ quả bóng cụ thể nào trong bình là bằng 0, thì bằng bất đẳng thức của Boole, bạn buộc phải chấp nhận rằng xác suất không có quả bóng nào trong quả bóng là một.
Carlos Cinelli

5
Lập luận của loài người không bị tuyệt chủng bởi lý lẽ của bạn bởi vì chúng ta sẽ không bao giờ đạt đến điểm mà vô số sinh / tử đã xảy ra - không bao giờ cần phải đi đến giới hạn. Thực tế là vào lúc 12 giờ tối, vô số điều đã xảy ra, gần như là nguồn gốc của vấn đề.
Ben Millwood

6
-1. Hãy xem xét sửa đổi nghịch lý này khi bóng #n bị loại bỏ ở bước thứ n (thay vì một quả bóng ngẫu nhiên). Rõ ràng là những quả bóng bằng 0 sẽ bị bỏ lại vào nửa đêm (vì mỗi quả bóng sẽ bị loại bỏ ở bước tương ứng) nhưng chúng tôi vẫn đang thêm 10 quả bóng và chỉ loại bỏ 1 quả bóng ở mỗi bước, vì vậy tôi nói nó không trực quan. Tuy nhiên, sửa đổi này không liên quan gì đến xác suất hoặc thống kê. Vì vậy, không thể có bất kỳ "thất bại của thống kê hiện đại" ở đây.
amip

6
@NeilG Điểm này được đưa ra rõ ràng trên bài đăng MathOverflow và câu trả lời của ameoba. Cardinality không phải là một hoạt động liên tục, vì vậy chỉ vì không có nghĩa là . Giải tích không bị phá vỡ, nhưng đúng hơn là bạn đã phát minh ra một quy tắc giới hạn không tồn tại. | S i | 0Si|Si|0
Mario Carneiro

6

Vấn đề là không đúng hoặc không theo logic thứ nhất.

Nguyên nhân gốc rễ: thực hiện bước "cuối cùng" sẽ ghi vô số chữ số trên một quả bóng, khiến bước đó tự mất một thời gian vô hạn để thực hiện.

Khả năng thực hiện một quá trình vô hạn với một bước vô hạn ngụ ý khả năng giải quyết tất cả các vấn đề logic bậc nhất ( do đó, Godel là sai) bằng cách thực hiện chuỗi H sau (đối với định lý X):

Z = asymptotic_coroutine(
  FOR N = 1...∞
    FOR P = 1...N
      Convert number P to string S by characters.
      IF S is a proof for theorem X
      THEN
        OUTPUT "yes" and HALT
) + asymptotic_coroutine(
  FOR N = 1...∞
    FOR P = 1...N
      Convert number P to string S by characters.
      IF S is a proof for theorem ¬X
      THEN
        OUTPUT "no" and HALT
)
IF Z = "" 
THEN Z = "independent"
IF Z = "yesno" ∨ Z = "noyes"
THEN Z = "paradox"
OUTPUT Z

trong đó bước vô hạn là giải mã đầu ra

Chương trình bên trong asymptotic_coroutine chỉ là một tìm kiếm toàn diện cho một định lý chứng minh (hoặc từ chối) X. Chuyển đổi P thành S dẫn đến "aa", "ab", "ac", ... "a∨", ... trong đó mọi ký hiệu có thể xuất hiện trong một định lý được tạo ra. Điều này dẫn đến việc tạo ra tất cả các định lý về ký tự độ dài N lần lượt. Vì N phát triển không giới hạn trong vòng lặp bên ngoài nên cuối cùng sẽ tạo ra tất cả các định lý.

Mặt sai sẽ không bao giờ chấm dứt nhưng chúng ta không phải quan tâm đến điều đó bởi vì chúng ta được phép thực hiện các bước vô hạn. Trong thực tế, chúng tôi phụ thuộc vào việc có thể làm điều này để phát hiện sự độc lập vì cả hai bên sẽ không bao giờ kết thúc. Ngoại trừ một điều. Chúng tôi đã cho phép vô số bước thực hiện trong một thời gian hữu hạn bằng cách tăng tốc độ thực thi không triệu chứng. Đây là phần đáng ngạc nhiên. Asymptotic_coroutine không bao giờ kết thúc và không bao giờ tạo đầu ra đã "kết thúc" * sau thời gian tiệm cận và vẫn chưa bao giờ tạo ra bất kỳ đầu ra nào.

* Nếu chúng tôi đặt OUTPUT sau FOR N = 1 ... nó sẽ không đạt được nhưng chúng tôi sẽ không làm điều đó.

Hình thức mạnh mẽ của Định lý bất toàn của Gôdel có thể được nêu rõ "Đối với mọi hệ thống logic bậc nhất F, có một tuyên bố G F đúng trong F nhưng không thể được chứng minh là đúng ở F." Nhưng phương pháp chứng minh H không thể không chứng minh tất cả các câu lệnh phải đúng trong F (H).

Tiến thoái lưỡng nan: Gödel (cho phép các bước vô hạn)
Do đó
: Tiến thoái lưỡng nan: ¬Gödel (315502 được hình thành tốt trong logic thứ tự đầu tiên)


1
Điểm tốt (+1). Lưu ý rằng có nghiên cứu về máy Turing thời gian vô hạn, xem ví dụ arxiv.org/abs/math/0212047v1mathoverflow.net/a/22038 . Tất nhiên đó không phải là thứ tự đầu tiên.
amip

5
Joshua, câu trả lời của bạn cho rằng kiến ​​thức mà hầu hết mọi người ở đây không quen thuộc nên họ sẽ không thể đánh giá nó. Nếu bạn có thể giải thích thêm đó sẽ là tuyệt vời.
Carlos Cinelli

Đối với bất kỳ số hữu hạn, chiều dài là hữu hạn. Đối với bất kỳ chữ số vô hạn (hay còn gọi là transfinite), itr có thể được viết dưới dạng Cantor Normal Form, có độ dài hữu hạn. Nó có thể được gọi là "vô cực cơ sở". Vì vậy, viết chữ số không phải là một hạn chế.
Craig Hicks

@CraigHicks: Điều đó không hiệu quả khi bạn phải ghi lại tất cả các số trung gian ở giữa. Gợi ý: những gì ràng buộc dừng trên vòng lặp khi nó chuyển từ số nguyên cơ bản 10 sang đầu ra dạng bình thường.
Joshua

Đó chỉ là một ràng buộc đối với một máy không có trong bảng ký hiệu của nó. Để phân tích trong thời gian hữu hạn quy trình +10 -1 vô hạn được mô tả bởi Ross, không cần thiết phải mô phỏng toàn bộ quy trình. Một chương trình thông minh sẽ kết nối với Mathematica và hoàn thành nó nhanh hơn nhiều.
Craig Hicks

4

Gọi x là số lượng bóng đã bị loại bỏ và y là số lượng bóng còn lại. Sau mỗi chu kỳ y = 9x. Như x> 0, y> 0. Sẽ có vô số quả bóng trong chiếc bình vào lúc 12 giờ tối.

Lý do mà các giải pháp dựa trên xác suất dẫn đến khó khăn là xác suất từ ​​chuỗi vô hạn là khó khăn. ET Jaynes đã viết về một vài nghịch lý rõ ràng khác nhau về xác suất, như thế này, trong cuốn sách Lý thuyết xác suất: Logic của khoa học . Tôi không có bản sao của mình trong tay, nhưng phần đầu tiên của cuốn sách có sẵn trực tuyến từ Larry Bretthorst ở đây . Các trích dẫn sau đây là từ lời nói đầu.

Tuy nhiên, khi tất cả được nói và thực hiện, chúng tôi thấy, với sự ngạc nhiên của chúng tôi, rằng ít hơn một thỏa thuận triết học lỏng lẻo vẫn còn; về nhiều vấn đề kỹ thuật, chúng tôi không đồng ý mạnh mẽ với de Finetti. Chúng ta thấy rằng cách đối xử của anh ta với các bộ vô hạn đã mở ra một hộp nghịch lý vô dụng và không cần thiết của Pandora; tính không co giãn và tính hữu hạn là những ví dụ được thảo luận trong Chương 15.

Nghịch lý vô hạn đã trở thành một bệnh nhiễm trùng bệnh hoạn ngày nay đang lan rộng theo cách đe dọa đến chính cuộc sống của lý thuyết xác suất, và cần phải phẫu thuật cắt bỏ ngay lập tức. Trong hệ thống của chúng tôi, sau cuộc phẫu thuật này, những nghịch lý như vậy được tránh tự động; chúng không thể phát sinh từ việc áp dụng đúng các quy tắc cơ bản của chúng tôi, bởi vì các quy tắc đó chỉ chấp nhận các tập hữu hạn và các tập vô hạn phát sinh theo các giới hạn được xác định rõ và được xử lý tốt của các tập hữu hạn. Nghịch lý xảy ra là do (1) nhảy trực tiếp vào một tập hợp vô hạn mà không chỉ định bất kỳ quy trình giới hạn nào để xác định các thuộc tính của nó; và sau đó (2) đặt câu hỏi có câu trả lời phụ thuộc vào cách giới hạn được tiếp cận.

Ví dụ: câu hỏi: Có xác suất nào là một số nguyên chẵn không? Có thể có bất kỳ câu trả lời nào chúng tôi xin vui lòng trong (0, 1), tùy thuộc vào quy trình giới hạn nào để xác định tập hợp của tất cả các số nguyên. chuỗi hội tụ có điều kiện có thể được thực hiện để hội tụ đến bất kỳ số nào chúng tôi muốn, tùy thuộc vào thứ tự chúng tôi sắp xếp các điều khoản).

Theo quan điểm của chúng tôi, một tập hợp vô hạn không thể nói là sở hữu bất kỳ sự tồn tại của người nào và các hoạt động toán học ít nhất, theo lý thuyết xác suất, cho đến khi chúng tôi chỉ định quy trình giới hạn tạo ra nó từ một tập hợp hữu hạn. Nói cách khác, chúng tôi đi theo biểu ngữ của Gauss, Kronecker và Poincar ́e chứ không phải Cantor, Hilbert và Bourbaki. Chúng tôi hy vọng rằng những độc giả bị sốc bởi điều này sẽ nghiên cứu bản cáo trạng của chủ nghĩa Bourbak của nhà toán học Morris Kline (1980), và sau đó chịu đựng chúng tôi đủ lâu để thấy những lợi thế của phương pháp của chúng tôi. Các ví dụ xuất hiện trong hầu hết các Chương.

Việc sử dụng các giới hạn trong câu trả lời của @enumaris (+1) cung cấp một cách xoay quanh sự khó khăn của tính vô hạn trong xác suất.


5
Vui lòng cho chúng tôi biết luật xác suất nào biện minh cho kết luận của bạn trong đoạn đầu tiên. Không có điều đó, bạn chỉ đang thực hiện một khẳng định vô căn cứ.
whuber

3
Vấn đề phát sinh không phải từ quy luật xác suất, mà là khi mọi người không thừa nhận hoặc sử dụng quy luật xác suất một cách chính xác. Không có giải pháp cho một nghịch lý để từ chối các tiên đề và kỹ thuật mà người ta sử dụng để lý luận trong các trường hợp khác.
whuber

4
Cụm từ "ngẫu nhiên" trong câu hỏi đòi hỏi phải xem xét xác suất. Nếu không, bạn hiểu "ngẫu nhiên" nghĩa là gì ??
whuber

4
Trả lời của bạn bỏ lỡ điểm. Tất cả những gì tôi hỏi là những gì bạn có thể có nghĩa là "ngẫu nhiên" nếu không (rõ ràng là có ý định) một cách ngẫu nhiên và, bất kể, làm thế nào bạn đề xuất lý do về một quá trình ngẫu nhiên được nêu rõ ràng nếu không phải với một lý thuyết ngẫu nhiên nào đó?
whuber

5
Tôi chưa thấy bất kỳ lý do xác suất hợp lệ trong bài viết của bạn, Michael.
whuber

4

Lời giải thích tốt nhất chúng ta có thể đưa ra cho họ để giải quyết những trực giác mâu thuẫn này là gì?

Đây là câu trả lời tốt nhất và nó có rất ít liên quan đến xác suất. Tất cả các quả bóng có số, hãy gọi chúng là số sinh. Các số sinh bắt đầu từ B1, B2, B3 ... và đi đến vô tận, bởi vì chúng tôi thực sự không bao giờ dừng lại. Chúng tôi tiến gần hơn đến 12:00 AM nhưng tiếp tục thêm và loại bỏ các quả bóng, đó là lý do tại sao không có số bóng cuối cùng. Đây là một xem xét rất quan trọng, btw.

Chúng tôi đặt các quả bóng vào một hộp trong 10 lô bóng, chẳng hạn như lô số 7: B71, B72, ..., B80. Hãy quên những thứ này trong một phút và tập trung vào những quả bóng được lấy ra khỏi hộp. Họ đến theo thứ tự ngẫu nhiên . Tôi sẽ giải thích tại sao tính ngẫu nhiên lại quan trọng sau này, nhưng bây giờ tất cả điều đó có nghĩa là bất kỳ quả bóng nào có số thứ tự từ B1 đến B10k vẫn còn trong hộp ở bước K có thể được rút ra. Chúng tôi sẽ lập chỉ mục các quả bóng mà chúng tôi loại bỏ theo thứ tự chúng bị loại bỏ, hãy gọi chúng là các số tử vong: D1, D2, D3 ... DK.

Đến 12:00 sáng, chúng tôi đặt vô số quả bóng vào một hộp, và chắc chắn chúng tôi không bao giờ hết bóng để lấy ra khỏi nó. Tại sao? Bởi vì trước tiên chúng tôi đặt 10 quả bóng, THÌ CHỈ loại bỏ một quả. Vì vậy, luôn có một quả bóng để loại bỏ. Điều này có nghĩa là chúng tôi cũng đã loại bỏ số lượng bóng vô hạn vào 12:00 AM.

Điều này cũng có nghĩa là mỗi quả bóng bị loại bỏ được lập chỉ mục từ 1 đến vô cùng, nghĩa là chúng ta có thể ghép từng quả bóng bị loại bỏ với một quả bóng được đặt trong hộp: B1 đến D1, B2 đến D2, v.v. Điều này có nghĩa là chúng ta đã loại bỏ nhiều bóng như chúng tôi đưa vào, bởi vì mỗi số sinh được ghép với mỗi số chết.

Bây giờ đó là giải pháp. Tại sao nó đánh bại trực giác của chúng ta? Đó là tiểu học, Tiến sĩ Watson. Lý do là bởi vì chúng tôi chắc chắn biết rằng với tất cả K, điều này giữ: Đó là lý do sau khi K bước, chúng tôi không thể loại bỏ tất cả bóng khỏi hộp, vì chúng tôi đặt bóng 10K và chỉ loại bỏ K trong số chúng. Đúng?

K<10K

Có một vấn đề nhỏ. Vấn đề là khi , điều này không còn đúng nữa: Đó là lý do tại sao trực giác bị phá vỡ.K=

10×

Bây giờ, nếu các quả bóng không được loại bỏ ngẫu nhiên. Hai điều có thể xảy ra như trong câu trả lời kinh điển của @ amoeba. Đầu tiên, giả sử chúng ta đã đặt 10 quả bóng sau đó loại bỏ quả bóng cuối cùng ngay lập tức. Như thể chúng ta chỉ đặt chín quả bóng. Điều này sẽ phù hợp với trực giác của chúng ta và vào lúc 12:00 sáng sẽ có vô số quả bóng. Làm thế nào mà? Vì chúng tôi không loại bỏ các quả bóng một cách ngẫu nhiên, chúng tôi đã theo thuật toán trong đó các số sinh được ghép với các số chết là tại thời điểm loại bỏ . Vì vậy, chúng tôi ghép từng quả bóng đã loại bỏ với một trong những quả bóng mà chúng tôi đặt vào: , điều này có nghĩa là một tấn bóng chưa bao giờ được ghép B1, B2 ,. .., B9, B11, ...B10K=DK B10D1,B20D2,B30D3,

Điều thứ hai có thể xảy ra với việc loại bỏ bóng không ngẫu nhiên cũng liên quan đến việc ghép đôi khi loại bỏ: chúng tôi tương quan BK = DK. Chúng ta có thể làm điều này bằng cách loại bỏ một quả bóng với BK ở mỗi bước K, điều này đảm bảo rằng BK được ghép nối với DK. Bằng cách này, mỗi quả bóng bị loại bỏ được ghép với mỗi quả bóng mà chúng ta đặt vào, tức là kết quả cuối cùng giống như trong lần rút ngẫu nhiên các quả bóng bị loại bỏ. Rõ ràng, điều này có nghĩa là không còn bóng trong hộp sau 12:00 AM.

Tôi chỉ cho thấy rằng vấn đề có rất ít liên quan đến xác suất mỗi lần. Nó có mọi thứ để làm với sức mạnh của các tập hợp vô hạn (?). Vấn đề thực sự duy nhất mà tôi tránh thảo luận là liệu các bộ có thực sự có thể đếm được hay không. Bạn thấy rằng khi bạn đến gần hơn 12:00 AM thì tốc độ chèn bóng của bạn tăng lên khá nhanh, để nói một cách nhẹ nhàng. Vì vậy, sẽ không quá tầm thường khi nghĩ ra số lượng bóng mà chúng ta bỏ vào hộp có thực sự đếm được hay không.

Làm sáng tỏ

Bây giờ, tôi sẽ làm sáng tỏ giải pháp kinh điển này của nghịch lý, và trở lại với trực giác của chúng tôi.

Làm thế nào có thể là chúng ta đặt 10 quả bóng vào, loại bỏ một quả bóng và vẫn hết bóng sau 12 giờ? Đây là những gì thực sự đang xảy ra. 12 giờ là không thể truy cập .

Hãy để cải cách vấn đề. Chúng ta không giảm một nửa khoảng thời gian nữa. Chúng tôi đặt và loại bỏ bóng mỗi phút. Đây không phải là chính xác như trong vấn đề ban đầu? Có và không.

Vâng, bởi vì không nơi nào trong giải trình của tôi ở trên, tôi đã đề cập rõ ràng đến thời gian nhưng cuối cùng. Tôi đang đếm các bước k. Vì vậy, chúng ta có thể tiếp tục đếm các bước và bóng chết bằng k.

Không, bởi vì bây giờ chúng tôi sẽ không bao giờ dừng lại . Chúng tôi sẽ tiếp tục thêm và loại bỏ các quả bóng cho đến hết thời gian, điều không bao giờ đến. Trong khi trong vấn đề ban đầu, kết thúc là 12 giờ.

Điều này giải thích làm thế nào trực giác của chúng ta thất bại. Mặc dù chúng tôi đặt bóng với tốc độ loại bỏ 9 lần, bởi vì thời gian không bao giờ kết thúc, mọi quả bóng mà chúng tôi đặt vào cuối cùng sẽ bị xóa! Có thể mất vô số phút, nhưng không sao, vì chúng tôi còn vô số phút. Đó là giải pháp thực sự của vấn đề.

Trong công thức này, bạn sẽ hỏi "có bao nhiêu quả bóng trong hộp sau khi vô cực kết thúc?" Không! Bởi vì đó là một câu hỏi vô nghĩa. Đó là lý do tại sao câu hỏi ban đầu là vô nghĩa. Hoặc bạn có thể gọi nó là đặt ra.

Bây giờ, nếu bạn quay trở lại vấn đề ban đầu, thì thời gian kết thúc rõ ràng sẽ xảy ra. Đó là lúc 12. Thực tế là chúng tôi đã ngừng đưa bóng vào có nghĩa là thời gian đã kết thúc, và chúng tôi đã vượt quá kết thúc của nó. Vì vậy, câu trả lời thực sự cho câu hỏi là 12 giờ không bao giờ nên xảy ra. Nó không thể truy cập được.


2
@MartijnWeterings, tôi đã không làm xác suất vì nghịch lý được xây dựng đặc biệt để khai thác nền tảng lý thuyết đo lường của xác suất. Bất cứ ai tạo ra nghịch lý trước tiên phải nhận ra rằng đó là về sức mạnh của các bộ đếm vô hạn. Đó là lý do tại sao nó có ba phiên bản trong cuốn sách như trong câu trả lời của amip. Phiên bản đầu tiên cho thấy một tập hợp của mỗi số tự nhiên thứ mười có sức mạnh tương đương với tập hợp của tất cả các số tự nhiên, chẳng hạn. Các phiên bản thứ hai và thứ ba về cơ bản là giống nhau. Xác suất ở đây chỉ là phong cảnh, tất cả các hành động là trong bộ.
Aksakal

1
Lý do này dường như không thể phân biệt giữa các phiên bản # 1 và # 2 từ cuốn sách Ross (xem câu trả lời của tôi), mặc dù các phiên bản này dẫn đến kết quả ngược lại: trong một trường hợp, chiếc bình bị trống và trong trường hợp khác thì không .
amip

1
Tôi nghĩ rằng sự thật là bạn không thể đạt tới 12. Đó là giải pháp thực sự. Hãy xem xét cùng một vấn đề nhưng thay vì giảm một nửa thời gian ở mỗi bước bạn thực hiện các bước có thời lượng bằng nhau, hãy nói 1 phút. Điều này sẽ tiếp tục mãi mãi. Nó sẽ không bao giờ dừng lại. Nhưng câu hỏi sẽ là trên mạng khi bạn dừng những gì trong hộp? Vì vậy, câu trả lời của bạn sẽ là câu hỏi vô nghĩa vì thời gian không bao giờ kết thúc.
Aksakal

1
Không. Đây không phải là thời gian bình thường. Đó là điểm. Vấn đề này thiết lập thời gian theo một cách rất khác so với thời gian vật lý thông thường. Chiếc bình là vô hạn và nó ổn
Aksakal

1
Bạn có phải là nhà vật lý? Quá trình vật lý nào bạn biết rằng thậm chí từ xa giống với quá trình này?
Aksakal

3

Thật đáng để đọc câu trả lời của amip rất tuyệt vời và làm rõ vấn đề rất nhiều. Tôi không hoàn toàn không đồng ý với câu trả lời của anh ấy nhưng muốn chỉ ra rằng giải pháp của vấn đề dựa trên một quy ước nhất định. Điều thú vị là loại vấn đề này cho thấy quy ước này, trong khi thường được sử dụng, là nghi vấn.

Như ông nói, có một điểm kỹ thuật về việc chứng minh rằng với mỗi quả bóng, xác suất ở lại bình mãi là 0. Ngoài thời điểm này, vấn đề không nằm ở xác suất. Một tương đương xác định có thể được đưa ra. Nó dễ hiểu hơn nhiều. Ý tưởng chính là: vì mọi quả bóng đều vắng mặt trong một khoảng thời gian, nên chiếc bình ở cuối là trống rỗng. Nếu bạn biểu thị sự hiện diện trong bình của mỗi quả bóng bằng một chuỗi số 0 và số một, thì mỗi chuỗi là 0 từ một phạm vi nhất định, do đó giới hạn của nó là 0.

Bây giờ vấn đề có thể được đơn giản hóa hơn nữa. Tôi gọi các khoảnh khắc 1, 2, 3 .... để đơn giản:

  • Khoảnh khắc 1: đưa bóng 1 vào bình
  • Khoảnh khắc 2: xóa nó
  • Khoảnh khắc 3: đưa bóng 2 vào bình
  • Khoảnh khắc 4: loại bỏ nó
  • Khoảnh khắc 5: đưa bóng 3 vào trong bình
  • ...

Quả bóng nào vào cuối (buổi trưa)? Với cùng một ý tưởng, cùng một câu trả lời: không có.

Nhưng về cơ bản, không có cách nào để biết, vì vấn đề không nói lên điều gì xảy ra vào buổi trưa. Thật ra, có thể vào cuối thời gian, Pikachu bất ngờ xuất hiện. Hoặc có thể tất cả các quả bóng đột nhiên sụp đổ và hợp nhất thành một quả bóng lớn. Không có nghĩa là điều này có nghĩa là thực tế, nó chỉ không được chỉ định.

Vấn đề chỉ có thể được trả lời nếu một quy ước nhất định cho chúng ta biết làm thế nào để đi đến giới hạn: một giả định liên tục. Trạng thái của chiếc bình vào buổi trưa là giới hạn của các trạng thái trước đó. Chúng ta nên tìm kiếm một giả định liên tục ở đâu để giúp chúng ta trả lời câu hỏi?

Trong quy luật vật lý? Quy luật vật lý đảm bảo một sự liên tục nhất định. Tôi nghĩ về một mô hình cổ điển đơn giản, không kêu gọi vật lý hiện đại thực sự. Nhưng về cơ bản, các định luật vật lý sẽ mang lại chính xác các câu hỏi giống như các câu hỏi toán học: cách chúng ta chọn để mô tả tính liên tục cho các định luật vật lý dựa vào việc đặt câu hỏi một cách toán học: liên tục là gì, như thế nào?

Chúng ta phải tìm kiếm một giả định liên tục theo một cách trừu tượng hơn. Ý tưởng thông thường là xác định trạng thái của urn là một hàm từ tập hợp các quả bóng thành . 0 có nghĩa là vắng mặt, 1 có nghĩa là hiện tại. Và để xác định tính liên tục, chúng tôi sử dụng cấu trúc liên kết sản phẩm, hay còn gọi là hội tụ theo chiều. Chúng tôi nói rằng trạng thái vào buổi trưa, là giới hạn của các trạng thái trước buổi trưa theo cấu trúc liên kết này. Với cấu trúc liên kết này, có một giới hạn và nó là 0: một chiếc bình rỗng.{0;1}

Nhưng bây giờ chúng tôi sửa đổi vấn đề một chút để thách thức cấu trúc liên kết này:

  • Khoảnh khắc 1: đưa bóng 1 vào bình
  • Khoảnh khắc 2: xóa nó
  • Khoảnh khắc 3: đưa bóng 1 vào bình
  • Khoảnh khắc 4: loại bỏ nó
  • Khoảnh khắc 5: đưa bóng 1 vào bình
  • ...

Đối với cùng một cấu trúc liên kết, chuỗi các trạng thái không có giới hạn. Đó là nơi tôi bắt đầu thấy nghịch lý là một nghịch lý thực sự. Đối với tôi vấn đề sửa đổi này về cơ bản là giống nhau. Hãy tưởng tượng bạn là chiếc bình. Bạn thấy những quả bóng đến và đi. Nếu bạn không thể đọc số trên đó, cho dù đó là cùng một quả bóng hay một quả bóng khác không thay đổi những gì đang xảy ra với bạn. Thay vì xem các quả bóng là các yếu tố riêng biệt, bạn xem chúng như một lượng vật chất ra vào. Tính liên tục tự nhiên có thể được xác định bằng cách xem xét các biến thể của số lượng vật chất. Và thực sự không có giới hạn. Theo một cách nào đó, vấn đề này giống như vấn đề ban đầu khi bạn quyết định bỏ qua nhận dạng bóng, do đó dẫn đến một số liệu khác nhau và một khái niệm khác về sự hội tụ. Và ngay cả khi bạn có thể nhìn thấy số trên các quả bóng,

Trong một trường hợp, giới hạn của chuỗi trạng thái của bạn là "trống", trong trường hợp khác, giới hạn không được xác định.

Việc chính thức hóa vấn đề với cấu trúc liên kết sản phẩm về cơ bản dựa vào việc tách biệt những gì xảy ra với từng quả bóng khác nhau, và do đó tạo ra một số liệu phản ánh "phân biệt". Chỉ vì sự tách biệt này, một giới hạn có thể được xác định. Thực tế là sự tách biệt này rất cơ bản cho câu trả lời nhưng không phải là cơ bản để mô tả "chuyện gì đang xảy ra" trong bình (một điểm không thể tranh cãi), khiến tôi nghĩ rằng giải pháp là hệ quả của một quy ước chứ không phải là một sự thật cơ bản.

Đối với tôi, vấn đề, khi được coi là hoàn toàn trừu tượng có một giải pháp miễn là thông tin còn thiếu được cung cấp: rằng trạng thái vào buổi trưa là giới hạn của các trạng thái trước đó và giới hạn theo nghĩa nào. Tuy nhiên, khi nghĩ về vấn đề này bằng trực giác, giới hạn của chuỗi trạng thái không phải là điều bạn có thể nghĩ theo một cách duy nhất. Về cơ bản, tôi nghĩ không có cách nào để trả lời.


1
Câu trả lời cho vấn đề ban đầu không phụ thuộc vào việc chính thức hóa. Các biến thể vấn đề được đề xuất của bạn không phải là chính thức hóa khác nhau của cùng một vấn đề, chúng là các vấn đề khác nhau.
Paul

1
Tôi đồng ý với @Paul nhưng chỉ bình luận ở đây để nói rằng tôi tìm thấy ví dụ về việc đưa 1 quả bóng vào các bước lẻ và đưa nó ra trên các bước thậm chí thú vị. Một loạt các trạng thái urn rõ ràng không có bất kỳ giới hạn nào mà IMHO có nghĩa là " supertask " này không được xác định rõ ràng và không thể hoàn thành. Điều này trái ngược với supertask mà chúng ta đang thảo luận ở đây.
amip

1
Thú vị viết lại Benoit! Đó chắc chắn là một cặp siêu năng lực kích thích tư duy. @Paul, đừng bỏ lỡ chỉnh sửa.
amip

1
Đối với tôi, những con số trên những quả bóng tạo ra tất cả sự khác biệt trên thế giới trong hai vấn đề mới của Benoit. Đó là sự khác biệt giữa việc có một khách truy cập thường xuyên rất thường xuyên và xem một vụ giẫm đạp. Thật khó để nói những gì xảy ra với khách truy cập thường xuyên vào buổi trưa, nhưng với vụ giẫm đạp, rất dễ thấy rằng nó sẽ qua đi không để lại gì. Chỉ đến khi bạn bỏ qua sự thật quan trọng về bản sắc riêng biệt của những quả bóng thì bạn mới mất đi quan điểm và mọi thứ trông giống nhau một cách khó hiểu. Những con số ở đó để nhắc nhở chúng ta về những bản sắc. Bỏ qua chúng là phi vật lý.
Paul

1
Có, tôi đồng ý, cho phiên bản bóng đơn lặp lại. Đối với việc giẫm bóng được đánh số liên tiếp, thật dễ dàng để chứng minh rằng không có quả bóng nào xuất hiện vào buổi trưa.
Paul

3

Tôi muốn thực hiện một phép cải cách dễ dàng nhất có thể để làm cho câu trả lời bằng 0 trực quan hơn, bắt đầu từ ví dụ đơn giản rằng các quả bóng không bị loại bỏ ngẫu nhiên, nhưng bóng được loại bỏ ở bước thứ .nn

Xem xét điều này: Tôi đặt tất cả các quả bóng vào bình lúc đầu. Ở bước 1, tôi lấy bóng ra 1. Ở bước 2, tôi lấy ra bóng 2, vân vân. Bất kỳ nghi ngờ rằng chiếc bình sẽ trống rỗng sau các bước vô hạn?

Được chứ. Nhưng nếu ban đầu tôi không đặt tất cả các quả bóng vào trong bình, nhưng chỉ có một số quả bóng, thì cuối cùng thì cái bình có thể đầy hơn không?


1
+1. Đẹp. Nó giống như mọi người từng người rời khỏi khách sạn Hilbert bị chiếm đóng hoàn toàn ; khách sạn sẽ bị bỏ trống
amip

Sau mỗi bước hữu hạn n, bình không rỗng. Tuy nhiên, giao dịch chỉ có thể xảy ra ở các bước hữu hạn. Mâu thuẫn.
Wilhelm

@Wilmus Bạn có thể giải thích về điều đó? Tôi không nhận được điểm.
Thern

@Téc: Một quả bóng chỉ có thể được gỡ bỏ ở bước n hữu hạn. Nhưng sau mỗi bước hữu hạn, có những quả bóng trong bình (trong ví dụ ban đầu và trong của bạn). Do đó, giới hạn không thể để trống. Nếu không, một cái gì đó đã xảy ra giữa tất cả các bước hữu hạn và giới hạn. Mâu thuẫn.
Wilhelm

Mâu thuẫn được tạo ra bởi niềm tin của bạn theo nguyên tắc sau: "Khi các thành viên của chuỗi có một tài sản tôi thích, tài sản đó được bảo tồn bằng cách lấy giới hạn của chuỗi." Đây không phải là một nguyên tắc hợp lệ của toán học (hoặc vật lý cho vấn đề đó).
Paul

3

Mục đích của bài này là để tranh luận cho lựa chọn cuối cùng của OP rằng chúng ta cần một công thức tốt hơn. Hoặc ít nhất, bằng chứng Ross không rõ ràng như lúc đầu, và chắc chắn, bằng chứng này không trực quan đến mức có thể tham gia khóa học giới thiệu về lý thuyết xác suất. Nó đòi hỏi nhiều lời giải thích cả trong việc tìm hiểu các khía cạnh nghịch lý, và một khi đã được giải thích rõ ràng tại những điểm mà bằng chứng của Ross vượt qua rất nhanh, khiến cho việc xem các tiên đề, định lý và giải thích ngầm mà chứng minh phụ thuộc rất khó.

Liên quan đến khía cạnh này, thật thú vị khi đọc những từ cuối cùng của Teun Koetsier trong "Didactiek đã gặp ai đó veel pingpongballen?"

Als we niet oppassen dan wordt het 'Nghịch lý một cửa sổ để nhầm lẫn'.

Đã dịch "Nếu chúng ta không quan tâm thì nó sẽ trở thành 'Nghịch lý một cửa sổ cho sự nhầm lẫn'"

Dưới đây là một mô tả về các đối số "thông thường" có thể vượt qua trong các cuộc thảo luận về các nhiệm vụ, và cụ thể hơn là nghịch lý xác định Ross - Littlewood. Sau này, khi chúng ta gạt tất cả cuộc thảo luận này sang một bên, một quan điểm được đưa ra về trường hợp đặc biệt của nghịch lý xác suất Ross-Littlewood khi cung cấp các yếu tố bổ sung , tuy nhiên bị lạc và khó hiểu trong bối cảnh rộng hơn với các nhiệm vụ.

Ba trường hợp xác định và thảo luận về các nhiệm vụ

Nghịch lý Ross-Littlewood biết nhiều kết quả khác nhau tùy thuộc vào cách các quả bóng được di chuyển từ chiếc bình. Để điều tra những điều này, hãy khởi động bằng cách sử dụng mô tả vấn đề chính xác như Littlewood mô tả là vấn đề thứ 5 trong bản thảo năm 1953 của ông

Phiên bản 1 Bộ bóng còn lại trong bình còn trống

Nghịch lý Ross-Littlewood, hay nghịch lý Littlewood-Ross, lần đầu tiên xuất hiện như là vấn đề thứ 5 trong bản thảo năm 1953 của Littlewood "một nhà toán học sai lầm"

Một nghịch lý vô cùng. Các quả bóng được đánh số 1, 2, ... (hoặc cho một nhà toán học, chính các số đó) được đặt vào một hộp như sau. Vào lúc 1 phút đến trưa, các số từ 1 đến 10 được đưa vào và số 1 được lấy ra. Vào lúc 1/2 phút đến trưa, số 11 đến 20 được đưa vào và số 2 được lấy ra và cứ thế. Có bao nhiêu trong hộp vào buổi trưa?

Littlewood nói ngắn gọn về vấn đề này, nhưng đưa ra một đại diện tốt đẹp như tập hợp các điểm:

P1+P2+...+P10P1+P11+...+P20P2+...

mà nó dễ dàng nhận thấy rằng nó là 'null'.

Phiên bản 2 Tập hợp các quả bóng còn lại trong chiếc bình có kích thước vô hạn

Ross (1976) thêm hai phiên bản nữa cho nghịch lý này. Đầu tiên chúng ta nhìn vào phần bổ sung đầu tiên:

Giả sử rằng chúng ta sở hữu một chiếc bình lớn vô hạn và một bộ sưu tập vô hạn các quả bóng được dán nhãn bóng số 1, số 2, số 3, v.v. Hãy xem xét một thí nghiệm được thực hiện như sau: Vào lúc 1 phút đến 12 giờ tối, các quả bóng được đánh số từ 1 đến 10 được đặt trong bình và quả bóng số 10 được rút ra. (Giả sử rằng việc rút tiền không mất thời gian.) Vào lúc 12 phút đến 12 giờ tối, các quả bóng được đánh số từ 11 đến 20 được đặt trong bình và quả bóng số 20 được rút. Vào lúc 14 phút đến 12 giờ tối, các quả bóng được đánh số từ 21 đến 30 được đặt trong bình và quả bóng số 30 được rút ra. Lúc 18 phút đến 12 giờ tối, vân vân. Câu hỏi quan tâm là, có bao nhiêu quả bóng trong bình lúc 12 giờ tối?

Rõ ràng câu trả lời là vô cùng vì quy trình này để lại tất cả các quả bóng có số trong bình, rất nhiều.xmod100

Trước khi chúng tôi chuyển sang bổ sung thứ hai của Ross, bao gồm xác suất, chúng tôi chuyển sang trường hợp khác.

Phiên bản 3 Tập hợp các quả bóng còn lại trong bình là một tập hợp hữu hạn có kích thước tùy ý

Chiếc bình có thể có bất kỳ số lượng bóng vào lúc 12 giờ đêm tùy thuộc vào thủ tục thay thế các quả bóng. Biến thể này đã được mô tả trong Tymoczko và Henle (1995) là vấn đề bóng tennis.

Tom ở trong một cái hộp lớn, trống rỗng, ngoại trừ chính mình. Jim đang đứng ngoài hộp với vô số quả bóng tennis (được đánh số 1, 2, 3, ....). Jim ném quả bóng 1 và 2 vào hộp. Tom nhặt một quả bóng tennis và ném nó ra ngoài. Tiếp theo Jim ném vào bóng 3 và 4. Tom nhặt một quả bóng và ném nó ra. Tiếp theo Jim ném vào quả bóng 5 và 6. Tom nhặt một quả bóng và ném nó ra. Quá trình này diễn ra vô số lần cho đến khi Jim ném tất cả các quả bóng vào. Một lần nữa, chúng tôi yêu cầu bạn chấp nhận hoàn thành vô số nhiệm vụ trong một khoảng thời gian hữu hạn. Đây là câu hỏi: Có bao nhiêu quả bóng trong hộp với Tom khi hành động kết thúc?

Câu trả lời có phần đáng lo ngại: Nó phụ thuộc. Không đủ thông tin đã được đưa ra để trả lời câu hỏi. Có thể có vô số bóng còn lại, hoặc có thể không có.

Trong ví dụ trong sách giáo khoa họ tranh luận về hai trường hợp, vô hạn hoặc hữu hạn (Tymoczko và Henle, để lại trường hợp trung gian như một bài tập), tuy nhiên vấn đề được đưa ra thêm trong một số bài báo trong đó vấn đề được khái quát hóa để chúng ta có thể nhận được bất kỳ số nào tùy thuộc vào thủ tục theo sau.

Đặc biệt thú vị là các bài viết về các khía cạnh kết hợp của vấn đề (tuy nhiên, trọng tâm là, không phải về các khía cạnh ở vô cực). Ví dụ, đếm số lượng bộ có thể có mà chúng ta có thể có bất cứ lúc nào. Trong trường hợp thêm 2 quả bóng và loại bỏ 1 mỗi bước, kết quả rất đơn giản và có số lượng tập hợp có thể có trong bước thứ n là số số n + 1-th. Ví dụ: 2 possibilties {1}, {2} trong bước đầu tiên, 5 khả năng {1,3} {1,4} {2,3} {2,4} và {3,4} trong bước thứ hai, 14 trong thứ ba, 42 trong thứ tư , vân vân (xem Merlin, Sprugnoli và Verri 2002, Vấn đề bóng tennis ). Kết quả này đã được tổng quát thành các số khác nhau của các bóng thêm và trừ nhưng điều này đi quá xa cho bài viết này bây giờ.

Các đối số dựa trên khái niệm về các nhiệm vụ

Trước khi đi đến lý thuyết xác suất, nhiều lập luận đã có thể được đưa ra đối với các trường hợp xác định và khả năng hoàn thành supertask. Ngoài ra, người ta có thể đặt câu hỏi liệu điều trị lý thuyết tập hợp có phải là một biểu diễn hợp lệ của biểu diễn động học của supertask không. Tôi không muốn tranh luận liệu những lập luận này là tốt hay xấu. Tôi đề cập đến chúng để làm nổi bật rằng trường hợp xác suất có thể tương phản với các đối số 'supertask' này và có thể được xem là có chứa các phần tử bổ sung không liên quan gì đến các siêu nhiệm vụ. Trường hợp xác suất có một yếu tố duy nhất và riêng biệt (lý luận với lý thuyết xác suất) không được chứng minh hoặc bác bỏ bằng cách lập luận chống lại hoặc cho trường hợp của các nhiệm vụ.

  • Đối số liên tục : Những đối số này thường mang tính khái niệm nhiều hơn. Chẳng hạn, ý tưởng rằng các siêu tàu không thể kết thúc như Aksakal và Joshua tranh luận trong câu trả lời của họ, và một minh chứng rõ ràng cho những khái niệm này là đèn của Thomson , trong trường hợp nghịch lý Ross Littlewood sẽ giống như hỏi, đã bị loại bỏ lần cuối số lẻ hay chẵn?

  • Các đối số vật lý: Cũng tồn tại các đối số thách thức việc xây dựng toán học có liên quan đến việc thực hiện vật lý của vấn đề. Chúng ta có thể có một cách xử lý toán học nghiêm ngặt cho một vấn đề, nhưng một câu hỏi vẫn là liệu điều này có thực sự mang lại sự thực thi cơ học cho nhiệm vụ hay không (vượt ra ngoài các khái niệm đơn giản như phá vỡ các rào cản nhất định của thế giới vật lý như giới hạn tốc độ hoặc yêu cầu năng lượng / không gian) .

    • Một lập luận có thể là giới hạn lý thuyết tập hợp là một khái niệm toán học không nhất thiết mô tả thực tế vật lý

      Ví dụ, hãy xem xét vấn đề khác nhau sau đây: Chiếc bình có một quả bóng bên trong mà chúng ta không di chuyển. Mỗi bước chúng ta xóa số trước đó được ghi trên quả bóng và viết lại một số mới, thấp hơn, trên đó. Chiếc bình sẽ trống sau vô số bước? Trong trường hợp này có vẻ hơi vô lý hơn khi sử dụng giới hạn lý thuyết tập hợp, đó là tập hợp trống. Giới hạn này là tốt đẹp như một lý luận toán học, nhưng nó đại diện cho bản chất vật lý của vấn đề? Nếu chúng ta cho phép các quả bóng biến mất khỏi bình vì lý do toán học trừu tượng (mà, có lẽ nên được coi là một vấn đề khác ) thì chúng ta có thể làm cho toàn bộ chiếc bình biến mất không?

    • Ngoài ra, sự khác biệt của các quả bóng và gán cho chúng một thứ tự có vẻ "phi vật lý" (nó có liên quan đến việc xử lý toán học của các bộ, nhưng các quả bóng trong chiếc bình có hoạt động giống như các bộ đó không?). Nếu chúng ta sắp xếp lại các quả bóng ở mỗi bước (ví dụ: mỗi bước sẽ chuyển ngẫu nhiên một quả bóng từ đống bị loại bỏ với một quả bóng từ đống bóng vô hạn còn lại), do đó, quên đánh số dựa trên khi chúng vào bình hoặc số chúng nhận được ngay từ đầu, sau đó các đối số dựa trên các giới hạn lý thuyết tập hợp sẽ không còn ý nghĩa nữa vì các tập hợp không hội tụ (không có giải pháp ổn định nào khi một quả bóng đã bị loại bỏ khỏi bình, nó có thể quay trở lại).

      Từ quan điểm thực hiện các nhiệm vụ vật lý của việc đổ đầy và làm trống bình, có vẻ như không quan trọng việc chúng ta có số trên các quả bóng hay không. Điều này làm cho lý luận tập hợp giống như một suy nghĩ toán học về các tập hợp vô hạn hơn là quá trình thực tế.

Dù sao, nếu chúng ta khăng khăng sử dụng những nghịch lý vô hạn này cho mục đích giáo huấn, và do đó, trước khi chúng ta đi đến lý thuyết xác suất, trước tiên chúng ta cần đấu tranh để có được một ý tưởng chấp nhận được (nhất định) được chấp nhận bởi những kẻ đa nghi / bướng bỉnh nhất các nhà tư tưởng, sau đó có thể thú vị khi sử dụng sự tương ứng giữa nghịch lý của Zeno và nghịch lý Ross - Littlewood được mô tả bởi Allis và Koetsier (1995) và được mô tả ngắn gọn dưới đây.

Tương tự như vậy, Achilles đang cố đuổi kịp con rùa trong khi cả hai đều cắm cờ được đặt theo cách như vậy, với khoảng cách sao cho khoảng cách của Achilles với cờ gấp đôi khoảng cách của rùa với cờ , cụ thể là . Sau đó đến 12 giờ đêm. sự khác biệt trong những lá cờ mà rùa và Achilles sẽ có trong quá khứ đang tăng lên . Nhưng, cuối cùng , vào lúc 12 giờ đêm, không ai ngoại trừ Eleatics sẽ tranh luận rằng họ Achilles và con rùa đã đạt đến cùng một điểm và (do đó) không có cờ nào ở giữa chúng.

F(n)=210logn
n10nF(n)=2F(10n)

Achilles và rùa

Các trường hợp xác suất và làm thế nào nó thêm các khía cạnh mới cho vấn đề.

Phiên bản thứ hai được thêm bởi Ross (trong sách giáo khoa của anh ấy), loại bỏ các quả bóng dựa trên lựa chọn ngẫu nhiên

Bây giờ chúng ta hãy giả sử rằng bất cứ khi nào một quả bóng được rút, quả bóng đó được chọn ngẫu nhiên trong số những người có mặt. Đó là, giả sử rằng vào lúc 1 phút đến 12 giờ, các quả bóng được đánh số từ 1 đến 10 được đặt trong bình và một quả bóng được chọn và rút ngẫu nhiên, v.v. Trong trường hợp này, có bao nhiêu quả bóng trong bình lúc 12 giờ tối?

Giải pháp Ross là xác suất là 1 cho chiếc bình rỗng. Tuy nhiên, trong khi lập luận của Ross có vẻ hợp lý và nghiêm ngặt, người ta có thể tự hỏi loại tiên đề nào là cần thiết cho điều này và định lý nào được sử dụng có thể bị đặt dưới áp lực bởi các giả định ngầm có thể không được thiết lập trong các tiên đề đó (ví dụ như giả định rằng các sự kiện vào buổi trưa có thể được chỉ định xác suất).

Tính toán của Ross nói ngắn gọn là sự kết hợp của hai yếu tố phân chia sự kiện của một chiếc bình không rỗng thành nhiều tập hợp / sự kiện và chứng minh rằng với mỗi sự kiện này, xác suất bằng không:

  1. Đối với, , sự kiện bóng số ra vào lúc 12 giờ tối, chúng ta cóFiiP(F1)=0

  2. Đối với, , xác suất chiếc bình không trống vào lúc 12 giờ đêmP(1Fi)

    P(1Fi)1P(Fi)=0

Trường hợp xác suất của nghịch lý Ross-Littlewood, mà không cần lý do về các nhiệm vụ

Ở dạng nghịch lý trần trụi nhất, tước nó khỏi mọi vấn đề với hiệu suất của các nhiệm vụ, chúng ta có thể tự hỏi về vấn đề "đơn giản hơn" của việc trừ các tập hợp vô hạn. Chẳng hạn, trong ba phiên bản chúng tôi nhận được:

Sadded={1,2,3,4,5,6,7,8,9,10}+{10k with kN}Sremoved,1={k with kN}Sremoved,2={10k with kN}Sremoved,3={k with kN}{a1,a2,a3,... with aiN}

và vấn đề giảm xuống một phép trừ được đặt như .SaddedSremoved,1=

Bất kỳ chuỗi vô hạn nào, , là một chuỗi (bằng nhau) có thể mô tả thứ tự các quả bóng có thể được loại bỏ trong việc thực hiện xác suất của Ross Vấn đề -Littlewood. Hãy gọi các chuỗi vô hạn RL-sequences.SRL={ak without repetitions and ak<10k}

Bây giờ, câu hỏi chung hơn, không có lý luận nghịch lý về các siêu nhiệm vụ, là về mật độ của các chuỗi RL không chứa toàn bộ tậpN

Một cái nhìn đồ họa của vấn đề.

lồng nhau, fractal, cấu trúc

Trước phiên bản chỉnh sửa của câu trả lời này, tôi đã đưa ra một lập luận sử dụng sự tồn tại của bản đồ tiêm chích từ 'các chuỗi vô hạn làm trống urn' thành 'các chuỗi vô hạn không chứa số 1'.

Đó không phải là một đối số hợp lệ. So sánh ví dụ với mật độ của tập hợp các hình vuông. Có vô số hình vuông (và có mối quan hệ và ), tuy nhiên tập hợp các hình vuông có mật độ bằng 0 trong .nn2n2nN

Hình ảnh bên dưới tạo ra một cái nhìn tốt hơn như thế nào, với mỗi bước thêm, xác suất bóng 1 trong chiếc bình bị giảm (và chúng ta có thể tranh luận tương tự cho tất cả các quả bóng khác). Mặc dù phần chính của tập hợp con của tất cả các chuỗi RL (chuỗi của các quả bóng bị dịch chuyển) bằng với số lượng của tất cả các chuỗi RL (hình ảnh hiển thị một loại cấu trúc fractal và cây chứa vô số bản sao của nó).

tăng trưởng không gian mẫu, số lượng đường dẫn

Hình ảnh cho thấy tất cả các nhận thức có thể có trong năm bước đầu tiên, với sơ đồ cho vấn đề bóng tennis (vấn đề bóng tennis, mỗi bước: thêm 2 loại bỏ 1, phát triển nhanh hơn và dễ hiển thị hơn). Các đường màu ngọc lam và màu tím hiển thị tất cả các đường dẫn có thể mở ra (hãy tưởng tượng ở mỗi bước chúng ta sẽ ném một viên xí ngầu có kích thước và dựa trên kết quả của nó, chúng ta chọn một trong các đường dẫn , hay nói cách khác dựa trên kết quả chúng tôi loại bỏ một trong những quả bóng trong bình).nn+1n+1n+1

Số lượng các thành phần urn có thể (các hộp) tăng lên khi số Catalan thứ và tổng số đường dẫn tăng theo giai thừa. Đối với trường hợp các chế phẩm bình có bóng số 1 bên trong (màu xám đậm) và các đường dẫn đến các ô này (màu tím), các số mở ra giống hệt nhau tuy nhiên lần này là số n-th và tố.Cn+1(n+1)!n!

mật độ của các đường dẫn để lại bóng bên trongn

Vì vậy, đối với các đường dẫn đến một quả bóng có quả bóng số 1 bên trong, mật độ là Và giảm khi trở nên lớn hơn. Mặc dù có nhiều nhận thức dẫn đến việc tìm thấy bóng số trong hộp, xác suất gần bằng 0 (tôi cho rằng điều này không làm được, nhưng gần như chắc chắn không xảy ra, và mẹo chính trong lập luận của Ross là sự kết hợp của nhiều sự kiện null cũng là một sự kiện null).(n)!(n+1)!nn

Ví dụ về các đường dẫn cho năm bước đầu tiên trong bài toán bóng tennis (mỗi bước: thêm 2 xóa 1) ví dụ về các đường dẫn cho năm bước đầu tiên trong bài toán bóng tennis

Lập luận của Ross cho một chiếc bình chắc chắn trống rỗng.

Ross định nghĩa các sự kiện (tập hợp con của không gian mẫu), , rằng một quả bóng được đánh số nằm trong bình ở bước . (trong sách giáo khoa của mình, anh ta thực sự bỏ ra chỉ số và lập luận cho bóng 1).Einini

Bằng chứng bước 1)

Ross sử dụng mệnh đề 6.1 của mình. để tăng hoặc giảm chuỗi sự kiện (ví dụ: giảm tương đương với ).E1E2E3E4...

Mệnh đề 6.1: Nếu là một chuỗi các sự kiện tăng hoặc giảm, thì{En,n1}

limnP(En)=P(limnEn)

Sử dụng mệnh đề này Ross tuyên bố rằng xác suất quan sát bóng lúc 12 giờ đêm (đó là sự kiện ) bằngilimnEin

limnP(Ein)

Allis và Koetsier cho rằng đây là một trong những giả định ngầm. Supertask của nó không (về mặt logic) ngụ ý những gì xảy ra vào lúc 12 giờ đêm và các giải pháp cho vấn đề phải đưa ra các giả định ngầm, trong trường hợp này chúng ta có thể sử dụng nguyên tắc liên tục trên tập hợp các quả bóng bên trong quả bóng để nói lên điều gì xảy ra ở vô cực. Nếu giới hạn (lý thuyết tập hợp) ở vô cực là một giá trị cụ thể, thì ở vô cực chúng ta sẽ có giá trị cụ thể đó (không thể có bước nhảy đột ngột).

Một biến thể thú vị của nghịch lý Ross-Littlewood là khi chúng ta cũng trả lại ngẫu nhiên những quả bóng đã bị loại bỏ trước đó. Trong đó sẽ không có sự hội tụ (như đèn của Thomson) và chúng ta không thể dễ dàng xác định giới hạn của các chuỗi (không giảm nữa).Ein

Bằng chứng bước 2)

Giới hạn được tính toán. Đây là một bước đại số đơn giản.

limnP(Ein)=k=i9k9k+1=0

Bằng chứng bước 3)

Có ý kiến ​​cho rằng bước 1 và 2 hoạt động cho tất cả bằng một câu lệnh đơn giảni

"Tương tự, chúng tôi có thể chỉ ra rằng cho tất cả "P(Fi)=0i

Trong đó là sự kiện mà quả bóng đã được đưa ra khỏi chiếc bình khi chúng tôi đã đến 12 giờ đêmFii

Mặc dù điều này có thể đúng, chúng tôi có thể tự hỏi về biểu thức sản phẩm có chỉ số thấp hơn hiện tại là vô cùng:

limi(limnP(Ein))=limik=i9k9k+1=...?

Tôi không có quá nhiều điều để nói về nó ngoại trừ việc tôi hy vọng rằng ai đó có thể giải thích cho tôi liệu nó có hoạt động không.

Cũng rất tốt để có được các ví dụ trực quan tốt hơn về khái niệm rằng các chuỗi giảm , được yêu cầu cho mệnh đề 6.1, không thể tất cả bắt đầu với chỉ số số bước, , bằng 1. Chỉ số này sẽ tăng lên vô cùng (không chỉ là số bước trở thành vô hạn, mà còn là lựa chọn ngẫu nhiên của quả bóng bị loại bỏ trở thành vô hạn và số lượng bóng mà chúng ta quan sát giới hạn trở thành vô hạn). Mặc dù kỹ thuật này có thể được khắc phục (và có thể đã được thực hiện trong các câu trả lời khác, dù là ngầm hay rõ ràng), một lời giải thích kỹ lưỡng và trực quan có thể rất hữu ích.Ein,Ein+1,Ein+2,...n

Trong bước 3 này, nó trở nên khá kỹ thuật, trong khi Ross rất ngắn về nó. Ross giả định sự tồn tại của một không gian xác suất (hoặc ít nhất là không rõ ràng về nó) trong đó chúng ta có thể áp dụng các hoạt động này ở vô cực, giống như cách chúng ta có thể áp dụng các hoạt động trong không gian con hữu hạn.

Câu trả lời của ekvall cung cấp một cấu trúc, sử dụng định lý mở rộng do Ionescu-Tulcea , dẫn đến một không gian sản phẩm vô hạn trong đó chúng ta có thể biểu thị các sự kiện bằng tích vô hạn của các hạt xác suất, dẫn đến .k=0Ωik=0AiP(Ei)P=0

Tuy nhiên nó không được đánh vần theo nghĩa trực quan. Làm thế nào chúng ta có thể hiển thị trực quan rằng không gian sự kiện hoạt động? Đó là phần bổ sung là tập hợp rỗng (và không phải là số 1 với nhiều số không, chẳng hạn như giải pháp trong phiên bản điều chỉnh của bài toán Ross-Littlewood của Allis và Koetsier) và đó có phải là không gian xác suất không?Ei

Bằng chứng bước 4)

Bất đẳng thức của Boole được sử dụng để hoàn thiện bằng chứng.

P(1Fi)1P(Fi)=0

Sự bất bình đẳng được chứng minh cho các tập hợp các sự kiện là hữu hạn hoặc vô hạn có thể đếm được. Điều này đúng với người .Fi

Bằng chứng này của Ross không phải là một bằng chứng theo nghĩa lập hiến. Thay vì chứng minh rằng xác suất gần như là 1 cho chiếc bình rỗng vào lúc 12 giờ đêm, điều đó chứng tỏ rằng xác suất gần như bằng 0 cho chiếc bình chứa đầy bất kỳ quả bóng nào có số hữu hạn trên đó.

Hồi ức

Nghịch lý Ross-Littlewood xác định chứa rõ ràng tập hợp trống (đây là cách bài đăng này bắt đầu). Điều này làm cho ít ngạc nhiên hơn khi phiên bản xác suất kết thúc với tập hợp trống và kết quả (dù có đúng hay không) không nghịch lý hơn nhiều so với các phiên bản RL không có xác suất. Một thử nghiệm suy nghĩ thú vị là phiên bản sau của vấn đề RL:

  • Hãy tưởng tượng bắt đầu với một chiếc bình chứa đầy vô số quả bóng và bắt đầu loại bỏ ngẫu nhiên những quả bóng từ nó. Supertask này, nếu nó kết thúc, phải làm trống một cách hợp lý chiếc bình. Vì, nếu nó không trống, chúng tôi có thể tiếp tục. (Tuy nhiên, thí nghiệm suy nghĩ này đã kéo dài khái niệm về một supertask và có một kết thúc mơ hồ được xác định. Có phải khi chiếc bình rỗng hoặc khi chúng ta đạt đến 12 giờ đêm?)

Có điều gì đó không thỏa mãn về kỹ thuật chứng minh của Ross, hoặc ít nhất là một số trực giác và giải thích tốt hơn với các ví dụ khác có thể cần thiết để có thể đánh giá đầy đủ vẻ đẹp của bằng chứng. Cả 4 bước cùng nhau tạo thành một cơ chế có thể khái quát hóa và có thể áp dụng để tạo ra nhiều nghịch lý khác (Mặc dù tôi đã thử nhưng tôi đã không thành công).

Chúng ta có thể tạo ra một định lý sao cho bất kỳ không gian mẫu thích hợp nào khác tăng kích thước về vô cực (không gian mẫu của bài toán RL có ). Nếu chúng ta có thể định nghĩa một tập hợp các sự kiện có thể đếm được là một chuỗi giảm dần có giới hạn 0 khi bước tăng, thì xác suất của sự kiện đó là sự kết hợp của các sự kiện đó bằng không khi chúng ta tiến đến vô cùng. Nếu chúng ta có thể biến liên kết của các sự kiện thành toàn bộ không gian (trong ví dụ RL, chiếc bình rỗng không được bao gồm trong liên minh có xác suất bằng 0, do đó không có nghịch lý nghiêm trọng nào xảy ra) thì chúng ta có thể tạo ra một nghịch lý nghiêm trọng hơn thách thức tính nhất quán của các tiên đề kết hợp với suy luận xuyên.card(2N)Eijj

  • Một ví dụ như vậy (hoặc một nỗ lực để tạo ra) là việc thường xuyên chia bánh mì thành các phần nhỏ hơn (để đáp ứng các điều kiện toán học, giả sử chúng ta chỉ chia thành các phần có kích thước của một số hữu tỷ dương). Trong ví dụ này, chúng ta có thể định nghĩa các sự kiện (ở bước x chúng ta có một phần kích thước x), đó là các chuỗi giảm dần và giới hạn xác suất cho các sự kiện giảm về 0 (tương tự như nghịch lý RL, các chuỗi giảm chỉ xảy ra thêm và hơn nữa trong thời gian, và có sự hội tụ theo chiều nhưng không và đồng nhất).

    Chúng ta sẽ phải kết luận rằng khi chúng ta hoàn thành chiếc supertask này thì bánh mì đã biến mất . Chúng ta có thể đi vào các hướng khác nhau ở đây. 1) Chúng ta có thể nói rằng giải pháp là tập hợp trống (mặc dù giải pháp này ít dễ chịu hơn so với nghịch lý RL, vì tập hợp trống không phải là một phần của không gian mẫu) 2) Chúng ta có thể nói có vô số phần không xác định ( ví dụ: kích thước nhỏ vô hạn) 3) hoặc có thể chúng ta sẽ phải kết luận (sau khi thực hiện bằng chứng của Ross và tìm thấy sản phẩm nào) rằng đây không phải là một siêu tàu có thể hoàn thành? Rằng khái niệm hoàn thiện một chiếc supertask như vậy có thể được tạo ra nhưng không nhất thiết phải "tồn tại" (một loại nghịch lý của Russell).


Một trích dẫn từ Besicovitch được in bằng chữ sai của Littlewood:

"Danh tiếng của một nhà toán học dựa trên số lượng bằng chứng xấu mà anh ta đã đưa ra".


Allis, V., Koetsier, T. (1995), Về một số nghịch lý của Vô hạn II , Tạp chí Triết học Khoa học Anh , trang 235-247

Koetsier, T. (2012), Didactiek đã gặp oneindig veel pingpongballen, Nieuw Archief voor Wiskunde , 5/13 nr4, trang 258-261 ( bản gốc tiếng Hà Lan , có thể dịch qua google và các phương pháp khác)

Littlewood, JE (1953), Miscellany của nhà toán học , trang 5 ( liên kết miễn phí qua archive.org )

Merlin, D., Sprugnoli, R. và Verri MC (2002), Vấn đề bóng tennis , Tạp chí Lý thuyết kết hợp , trang 307-344

Ross, SM (1976), Một khóa học đầu tiên về xác suất , (phần 2.7)

Tymoczko, T. và Henle, J. (bản gốc năm 1995) ( Tài liệu tham khảo phiên bản 2 năm 1999 trên google ), Sweet Reason: hướng dẫn trường về logic hiện đại


Bình luận không dành cho thảo luận mở rộng; cuộc trò chuyện này đã được chuyển sang trò chuyện .
whuber

1

OK, tôi sẽ thử lại.

Câu trả lời là nghịch lý hoàn toàn là toán học. Câu trả lời của Enumaris và cmaster cho biết điều gì đang xảy ra theo một cách, nhưng đây là một cách khác để nhìn nhận vấn đề. Vấn đề là làm thế nào chúng ta đối phó với xác suất với vô số, như Jaynes đã viết (xem câu trả lời cố gắng khác của tôi để biết chi tiết).

Một chuỗi vô hạn thường được xử lý như thể nó không có kết thúc, nhưng trong vấn đề này có thời gian kết thúc (12pm) và do đó, về mặt logic, ngay cả khi không phải là toán học, có một chu kỳ bổ sung và loại bỏ bóng cuối cùng: đó là điều xảy ra vô hạn trước 12 giờ tối. Sự tồn tại của chu kỳ 'cuối cùng' cho phép chúng ta xem xét các xác suất ngược cũng như chuyển tiếp theo thời gian.

Hãy xem xét mười quả bóng cuối cùng được thêm vào. Đối với mỗi người trong số họ xác suất bị loại bỏ là 0 bởi vì mỗi người chỉ là một trong những quả bóng vô cực có thể bị loại bỏ. Do đó, xác suất sẽ có ít nhất mười quả bóng còn lại vào lúc 12 giờ tối là sự thống nhất.

QED. Một lập luận xác suất không dẫn đến vô nghĩa.


4
Không có "chu kỳ" cuối cùng trong vấn đề được đề cập nhiều hơn là có một thuật ngữ cuối cùng trong chuỗi , , cũng có "thời gian kết thúc" ở 1 .an=11/nn=1,2,
ekvall

@ekvall Bạn có thể nói tại sao chuỗi chu kỳ vô hạn có thể kết thúc lúc 12 giờ tối mà vẫn chưa kết thúc? Có vẻ như đây là một tình huống trong đó các quy tắc vô hạn được quy ước giả định dẫn đến kết quả vô lý (không phản trực giác, nhưng sai).
Michael Lew

2
@MichaelLew: Hãy xem xét hành động vỗ tay của bạn. Hãy xem xét rằng sẽ đến một thời điểm mà hai bàn tay của bạn là 1/2 với nhau. Sau đó 1/4 với nhau. Rồi 1/8 cùng nhau. Hãy xem xét rằng mỗi khi hai bàn tay của bạn giảm một nửa khoảng cách còn lại với nhau, họ luôn có thể giảm một nửa nó một lần nữa . Đây là một chu trình rõ ràng không có kết thúc (bạn phải thực hiện số bước nào trước khi bước tiếp theo đặt tay nhau?) Nhưng chuỗi nào rõ ràng có kết thúc (hoặc bạn không thể vỗ tay?)
Vegard

@Vegard Cân nhắc không vỗ tay, vì khi chúng tiếp cận nhau ngày càng chậm. Ở khoảng cách bắt đầu, hãy mất 2 giây để đạt được 1/2 khoảng cách và nói chung là thêm giây nữa để đạt được từ của khoảng cách của khoảng cách. BTW cho Michael +1. 2n12n112n
Carl

@Carl Tại sao tay tôi lại tiếp cận nhau ngày càng chậm? Đó sẽ là một tiếng vỗ tay buồn. Giả sử rằng tay tôi đang di chuyển với vận tốc không đổi và sau đó giải thích làm thế nào tôi không bao phủ một lượng vô hạn khoảng cách trong thời gian hữu hạn? Chuỗi vô hạn có thể hội tụ, và chuỗi vô hạn 1/2 + 1/4 + ... 1/2^nkhông hội tụ, như tôi giả sử bất cứ ai đã có phép tính cấp nhập cảnh đều biết? Nhưng điều này là để trả lời cho câu hỏi làm thế nào một chuỗi vô hạn có thể đi qua thời gian hữu hạn mà không có kết thúc thực sự cho chính chuỗi đó, không phải là một giải pháp cho vấn đề bóng.
Vegard

1

Gần đây, một số ý kiến ​​của Wilhelm, Wolfgang Mückenheim, khiến tôi phải xem xét lại các công thức nhất định trong câu trả lời của mình. Tôi đăng bài này như một câu trả lời mới chủ yếu vì cách tiếp cận khác nhau của câu trả lời này, không tranh luận về việc giảng dạy vấn đề này, mà thay vào đó là về nghịch lý không hợp lệ.

Wilhelm thảo luận trong bản thảo dài của mình rằng

Giao dịch chỉ có thể thực hiện ở các bước hữu hạn (không có hành động nào khả thi "giữa tất cả và ").nnω

Điều này nhắc nhở tôi về thuật ngữ

k=1n=k(9n9n+1)

bắt nguồn từ công việc của Ross. Thuật ngữ này không xác định khi đường dẫn đến vô cực không được xác định cho giới hạn sau.

lim(l,m)(,)k=1ln=km(9n9n+1)

Điều này có vẻ giống với điểm mà Wilhelm thảo luận và cũng được đề cập trong câu trả lời của aksakal. Các bước trong thời gian trở nên vô cùng nhỏ, vì vậy chúng tôi sẽ có thể đạt được 12 giờ đêm theo nghĩa đó, nhưng đồng thời chúng tôi sẽ cần phải thêm và loại bỏ một số lượng bóng vô cực (phi vật lý). Việc gắn chiếc supertask này vào một quy trình như mũi tên của Zeno là một ý tưởng sai lầm, giống như công tắc của chiếc đèn nghịch lý của Thompson không thể có một vị trí xác định ở cuối chiếc supertask.

Xét về giới hạn chúng ta có thể nói rằng con đường vật lý đến vô cùng mà chúng ta đi là

limlk=1ln=kl(9n9n+1)=liml9l10

vì vậy không phải không nhưng vô hạn.


2
FYI, Wolfgang Mückenheim đã troll các diễn đàn toán học vô nghĩa trong nhiều thập kỷ mathforum.org/kb/ Kẻ
Paul

Cảm ơn bạn vì thông tin đó, và thành thật mà nói tôi đã không đọc toàn bộ bản thảo, mặc dù tôi thích một cuộc tranh luận chính trị tốt đẹp, và cuộc tranh luận của anh ấy (troll hay không) không có ý nghĩa gì cả (không phải là hiếm khi trolling). Mặc dù cá nhân tôi nói rằng, nếu các bước trở nên vô cùng nhỏ, thì chúng ta có thể có một quy trình (vật lý) được phép được coi là vô hạn về số lượng các bước. Đáng buồn thay, đó không phải là trò troll của anh ta, và nhiều hơn nữa là sự tán thành với số phiếu chống lại các vị trí đối nghịch (hoặc có lợi cho chính mình) làm hỏng cuộc thảo luận trong chủ đề và nhiên liệu của anh ta (hoặc khác).
Martijn Weterings

@Martijn Weterings: Thật dễ dàng để chứng minh ai là người bị troll ở đây: Ý tưởng về Cantor là giới hạn sau 1, 2, 3, .... Đầu tiên điều này vi phạm quy nạp toán học, bởi vì trước khi có luôn một số tự nhiên. Thứ hai, để loại trừ bất kỳ sự liên quan vật lý nào của lý thuyết tập hợp, hãy mô hình hóa chuỗi bằng một vòng quay vui vẻ trong đó các vòng quay được tính. Có thể có một giới hạn? (Sự sụp đổ của quỹ đạo trái đất sau khi phát ra sóng hấp dẫn trong năm chắc chắn không phải là kết quả của lý thuyết tập hợp.)ωω1015
Wilhelm

1
"Đầu tiên điều này vi phạm quy nạp toán học, bởi vì trước luôn có một số tự nhiên khác." Cảm ứng toán học không nói bất cứ điều gì về những gì nên hay không nên "trước". Các giới hạn không được tạo ra bởi cảm ứng và cảm ứng không có gì để nói về việc chúng có tồn tại hay không. Tâm trí của bạn chứa đầy những giả định sai về cách toán học nên hoạt động, và khi những giả định sai lầm này mâu thuẫn với toán học thực sự, bạn đổ lỗi cho cái sau.
Paul

Cảm ứng toán học nói rằng với mọi có và điều này không bao giờ thay đổi. Giới hạn thứ tự được giả định bởi các nhà toán học không thể hiểu được vô hạn. Điều gì có nghĩa là định lượng trên tất cả các số tự nhiên? Có nghĩa là chỉ lấy những số tự nhiên có thuộc tính đặc trưng của mọi số tự nhiên, nghĩa là được theo sau bởi vô số số tự nhiên? Sau đó, bạn không nhận được tất cả chúng bởi vì luôn luôn có rất nhiều còn lại. Hay bạn lấy tất cả các số tự nhiên không có ngoại lệ? nn+1
Wilhelm

0

Tôi tin rằng ví dụ này hỗ trợ "nếu tiền đề là sai thì điều kiện là đúng"

Trong vũ trụ này, không có chiếc bình vô hạn và không có bộ sưu tập bóng vô hạn. Không thể phân chia thời gian thành các phần nhỏ tùy ý.

Do đó, Sheldon Ross đã đúng khi nói rằng chiếc bình rỗng lúc 12:00. Những sinh viên nói rằng chiếc bình có những quả bóng vô hạn vào lúc 12:00 là hoàn toàn đúng.

Nếu bạn trả lời chiếc bình có 50 quả bóng thì bạn cũng đúng.

Tôi đã không chứng minh một cách nghiêm túc rằng vũ trụ này không chứa những chiếc bình vô hạn và những quả bóng vô hạn và thời gian đó không phải là nguyên tử - tôi chỉ tin những điều đó. Nếu bạn tin rằng ba khẳng định đó là sai, thì bạn tin rằng vấn đề của Ross là sai lệch về mặt thực nghiệm. Tôi đang chờ kết quả thử nghiệm của bạn.


2
Có phải bạn cũng đang chờ kết quả thử nghiệm rằng là không hợp lý với lý do không có cách nào người ta có thể ghép một số lượng vô hạn các tam giác nhỏ vô hạn trong một vòng tròn trong vũ trụ này? π
dùng603

3
@ user603 không, nhưng tôi khẳng định chữ số cuối cùng của pi là 7. Bạn có thể chứng minh khác được không?
emory

1
Thật vậy, đó là một sự khác biệt công bằng.
dùng603

4
-1. Vấn đề được xác định rõ về mặt toán học và việc không thể thực hiện được vật lý không liên quan gì đến nó.
amip

2
Tôi cũng thấy câu hỏi này vô nghĩa. Nếu chiếc bình rỗng lúc 12:00, thì chắc hẳn đã có lúc quả bóng cuối cùng được gỡ bỏ. Nhưng tại bất kỳ thời điểm nào khi một quả bóng được gỡ bỏ, nhiều quả bóng được thêm vào để quả bóng cuối cùng không bị loại bỏ. Làm thế nào có thể không có thời gian mà quả bóng cuối cùng được gỡ bỏ? Mặt khác, nếu vào lúc 12:00, việc thêm bóng đã hết, thì phải có lúc bóng cuối cùng được thêm vào. Nhưng, nếu một số quả bóng là quả bóng cuối cùng được thêm vào, thì không thể có vô số quả bóng trong chiếc bình. Một quá trình không thể có một khởi đầu, không bao giờ kết thúc và chưa kết thúc.
Kevin

0

Tôi ủng hộ ý kiến ​​cho rằng vấn đề không được đặt ra. Khi chúng ta xem xét một cái gì đó vô hạn, chúng ta thường phải sử dụng một giới hạn. Dường như đây là cách duy nhất. Vì chúng tôi phân biệt các quả bóng khác nhau, chúng tôi có một quá trình vô hạn trong đó là viết tắt của thời gian, nếu có bóng tại thời điểm và nếu không.

(Xt,1,Xt,2,...),
t=1,1/2,1/4,...Xt,j=1jt+0Xt,j=0

Bây giờ, tùy ý mỗi người nên sử dụng hội tụ nào: thống nhất, thành phần, , v.v. Không cần phải nói, câu trả lời phụ thuộc vào sự lựa chọn.lp

Sự hiểu lầm trong vấn đề này xuất phát từ việc bỏ qua thực tế rằng các vấn đề số liệu là rất quan trọng khi chúng ta xem xét sự hội tụ của các vectơ vô hạn. Không chọn loại hội tụ, không có câu trả lời đúng có thể được đưa ra.

(Có sự hội tụ thành phần theo vectơ không. Trong khi định mức đếm số lượng bóng, vì vậy trong định mức này, quá trình này đang bùng nổ.)l1


2
"Chiếc bình rỗng" nếu và chỉ khi tất cả các quả bóng được đưa vào cuối cùng đã được lấy ra. Đó là định nghĩa của sự trống rỗng. Và nó chuyển thành sự hội tụ thành phần khôn ngoan.
amip

2
Tôi đồng ý với câu trả lời này. Đầu tiên, khái niệm hội tụ để chọn là hoàn toàn độc lập với lý thuyết xác suất. Không phải vì chúng ta có thói quen sử dụng cấu trúc liên kết theo chiều / sản phẩm theo điểm (trong đó ở đây một điểm là một quả bóng với một bản sắc nhất định) mà khái niệm này phải được sử dụng làm lựa chọn duy nhất. Nó không được chỉ định trong vấn đề cũng như một quy ước chung. Và điều này ngay cả khi chúng tôi quyết định đồng ý hoàn toàn với lý thuyết xác suất tiêu chuẩn.
Benoit Sanchez

1
Đây là toán sùng bái hàng hóa. Bạn đưa ra các vấn đề về số liệu vì chúng quan trọng đối với các vấn đề khác, không phải vì chúng có liên quan đến vấn đề này.
Paul

1
@Paul "Toán học sùng bái". Không bao giờ nghĩ rằng một thuật ngữ như vậy tồn tại. Sẽ suy nghĩ về nó. :)
Viktor

2
(+1) Tôi đồng ý rằng vấn đề này được đặt ra mà không có số liệu. Hơn nữa, câu trả lời của bóng số 0 cũng là 1 quả bóng cùng một lúc nên câu trả lời bóng số 0 không phải là một con số. Vô số đếm được không phải là một số. Câu hỏi đặt ra. Thực sự có những câu hỏi vô lý đến mức họ không có câu trả lời.
Carl

-2

Trực giác hơn giáo dục chính quy, nhưng:

Nếu khoảng thời gian đến nửa đêm là một nửa, chúng ta không bao giờ đến nửa đêm ... chúng ta chỉ tiếp cận một cách không có triệu chứng; vì vậy người ta có thể tranh luận rằng có không có giải pháp.

Ngoài ra, tùy thuộc vào cụm từ:

  • vì có vô số khoảng +10 quả bóng, câu trả lời là vô hạn
  • vì có các khoảng vô hạn của (+10 quả bóng - 1) câu trả lời là 10 * vô hạn -1 * vô hạn = 0?
  • vì có vô số khoảng (+9 quả bóng) +1 câu trả lời là vô hạn + 1


@whuber Những vấn đề đó hoàn toàn không liên quan đến câu trả lời này.
Rõ ràng

2
@Clearer Tôi muốn đề nghị họ có liên quan chặt chẽ thông qua cách đối xử ngây thơ của họ về "vô cực".
whuber

5
-1 vì bây giờ là 00:00 trên đồng hồ của tôi nên tôi mới đến nửa đêm mặc dù khoảng thời gian còn lại giảm một nửa quảng cáo trong suốt phút cuối.
amip

@amoeba Sự gián đoạn là bạn có vô số quả bóng bị loại bỏ tại thời điểm đó. Chính xác thì bạn đang giữ số bóng đó ở đâu? Có phải những quả bóng cũng vô cùng nhỏ để có thể có đủ chỗ trong vũ trụ cho chúng ta không phải là những quả bóng? Xin lưu ý bạn, một số lượng vô hạn các quả bóng nhỏ vô hạn vẫn có thể chiếm một khối lượng vô hạn và khi bạn chơi với các số liệu, các quy tắc không quá ngây thơ như các bài đăng ở đây.
Carl

-5

Viết lại: ngày 16 tháng 1 năm 2018

Mục 1: Đề cương

Các kết quả cơ bản bài này như sau:

  • Quả bóng nửa chừng có xác suất khoảng còn lại trong giới hạn khi bước chuyển sang - đây vừa là quan sát thế giới thực vừa có nguồn gốc toán học. Hàm dẫn xuất có một miền của các tỷ lệ hợp lý trong . Ví dụ: xác suất trong giới hạn của bóng nửa đường còn lại tương ứng với giá trị miền . Hàm này có thể tính xác suất còn lại cho bất kỳ phần nào của kích thước bước.0.91
    (0,1]1/2
  • Phân tích của Ross không sai nhưng không đầy đủ vì nó cố gắng lặp lại các tỷ lệ hợp lý theo thứ tự độ lớn . Các tỷ lệ hợp lý không thể được lặp lại theo thứ tự độ lớn. Do đó, phân tích của Ross không thể truy cập vào toàn bộ miền và chỉ có thể đưa ra một cái nhìn hạn chế về toàn bộ hành vi.(i,),i=1..
  • Tuy nhiên, phân tích của Ross không tính đến một hành vi cụ thể có thể quan sát được: trong giới hạn, không thể thực hiện được thông qua việc lặp lại nối tiếp từ 1 để đạt được bộ bóng đầu tiên còn lại.
  • Trình tự giới hạn của Ross có một số tính chất thuyết phục tốt đẹp có vẻ độc đáo bằng trực giác.
    Tuy nhiên, chúng tôi hiển thị một tập hợp các chuỗi giới hạn khác thỏa mãn các thuộc tính đẹp tương tự và đưa ra các giá trị cho hàm của chúng tôi.

Phần 2 "Ký hiệu và thuật ngữ" bao gồm ký hiệu và thuật ngữ được sử dụng trong bài này.

Phần 3 "The Halfway Ballset" giới thiệu một quan sát thế giới thực - sự hội tụ trong giới hạn xác suất còn lại của một quả bóng có chỉ số là một nửa trong tất cả các quả bóng được chèn. Giá trị giới hạn này là khoảng 91%. Trường hợp của ballset nửa chừng được khái quát cho bất kỳ tỷ lệ hợp lý nào trong , tất cả đều có giá trị giới hạn khác không. (0,1]

Phần 4 "Giải quyết nghịch lý" trình bày một khung thống nhất bao gồm cả kết quả của Ross và kết quả 'miền hợp lý' (được mô tả trong tài liệu này). Như đã lưu ý, phân tích của Ross chỉ đưa ra một cái nhìn hạn chế về tổng hành vi. Do đó, nguồn gốc của nghịch lý được xác định và giải quyết.

Trong phần phụ lục, một số kết quả khác ít quan trọng hơn được thảo luận:

  • "Kỳ vọng trong giới hạn" tính toán số lượng bóng dự kiến ​​còn lại lên đến và bao gồm bất kỳ phần nào của kích thước bước.
  • Một hệ quả của kết quả này là xác định chỉ số của quả bóng đầu tiên có kỳ vọng còn lại lớn hơn một.

Phần 2: Ký hiệu và thuật ngữ

  • Chúng tôi gắn nhãn các chỉ số bóng được chèn ở bước là và gọi đây là "ballset" thứ . Ballset là một từ, được tạo ra cho bài đăng này. Thuật ngữ này đáng tiếc đi lệch khỏi thuật ngữ của Ross, nhưng nó cũng làm cho văn bản rõ ràng và ngắn gọn hơn nhiều.n{n.1,n.2,n.3,.....n.10}n
  • Ký hiệu đề cập đến sự kiện bóng trong bộ bi vẫn ở bước , bỏ qua các quả bóng khác trong bộ bi.E(a,b)a.1ab
  • Ký hiệu là tên viết tắt của và nó đề cập đến xác suất của . Lưu ý rằng tất cả các quả bóng trong ballset có cùng xác suất còn lại. - Giá trị của là .P(a,b)P(E(a,b))E(a,b)
    a.ia
    P(E(a,b))k=ab9k(9k+1)
  • Giới hạn Ross là xác suất khi đi đến vô cùng: -P(a)P(a,b)b
    Plim1(a)=limbP(a,b)
  • Giới hạn hợp lý được định nghĩa là giới hạn khi cả hai chỉ số bóng và bước đi đến vô cùng trong khi duy trì tỷ lệ không đổi: -abPlim2(a,b)=limkP(ka,kb)

Phần 3: Ballset nửa chừng

Ở mỗi bước chẵn, ballset nửa chừng được định nghĩa là ballset thứ . Ở mỗi bước chẵn , xác suất nửa chừng còn lại được xác định là . Do đó, trong giới hạn là , do đó xác suất nửa chừng còn lại là . Định lý 1 dưới đây đưa ra một giá trị số cho xác suất nửa chừng còn lại.2nn2nP(n,2n)
nlimnP(1n,2n)

Định lý 1 - Giới hạn xác suất của các phần tử trong chuỗi miền bảo toàn tỷ lệ

limnP(an,bn)=(ab)19
Các bằng chứng được đưa ra dưới đây ngay trước khi phụ lục.

Theo Định lý 1, xác suất nửa chừng còn lại trong giới hạn là ước tính giá trị thập phân xấp xỉ .(12)190.925875

Kiểm tra vệ sinh Hãy thực hiện kiểm tra độ tỉnh táo để xem liệu giới hạn số cho xác suất nửa chừng có "đúng" hay không.

nP(n/2,n)=trunc decimal val1000P(500,1000)=0.9257261408210000P(5000,10000)=0.9258598528100000P(50000,100000)=0.9258732261000000P(500000,1000000)=0.92587456limnP(n,2n)=0.925875

4 hàng đầu tiên là xác suất nửa chừng còn lại cho các giá trị số bước tương ứng là , , và . Hàng cuối cùng là giới hạn. Có vẻ như xác suất nửa chừng thực sự hội tụ đến giới hạn dự đoán. Quan sát thế giới thực này, không phù hợp với khuôn khổ của Ross, cần được giải thích. 103104105106

** Phần 4 "Giải quyết nghịch lý" **

Phần này giải thích một khung thống nhất cho cả phân tích của Ross và phân tích miền hợp lý, bằng cách xem chúng cùng nhau, nghịch lý được giải quyết.

Giới hạn hợp lý có thể rút gọn thành một hàm từ số hữu tỷ thành số thực : trong đó và . Ở đây biểu thị ước số chung lớn nhất. Các câu lệnh tương đương là " và là lẫn nhau nguyên tố "và" là phần giảm của . Plim2(a,b)(0,1](0,1]

Plim2(a,b)=limkP(ka,kb)=(ab)19
gcd(a,b)=1ab=abgcd()ababab

Giới hạn Ross có thể được viết dưới dạng giới hạn của một chuỗi các giới hạn hợp lý: Tuple không phải là thành viên của các tỷ lệ hợp lý trong ; nó thuộc về . Do đó, giới hạn Ross là đẳng cấu với hàm trên miền và hình ảnh của nó luôn là thực duy nhất .

Plim1(a)=limkP(a,k)=limi,kP(ka/i,kb)for some b=limiPlim2(a/i,b)=limiPlim2(0,b)
(0,b)(0,1][0,0]Plim2(a,b)[0,0]0

Giới hạn Ross và giới hạn hợp lý là cùng một chức năng trên hai miền tách rời và . Giới hạn Ross chỉ xem xét trường hợp các chỉ số ballset bị hạ cấp là vô cùng nhỏ so với cỡ bước chân. [0,0](0,1]

Phân tích giới hạn Ross dự đoán rằng trong giới hạn, việc truy cập các giá trị tuần tự cho sẽ không bao giờ đạt đến giá trị khác không. Đây là một chính xác và tương ứng với quan sát thế giới thực.Plim1(i)i=1,2,...

Các phân tích giới hạn hợp lý chiếm các quan sát trong thế giới thực, chẳng hạn như ballset nửa chừng mà giới hạn Ross không tính đến. Hàm này giống nhưng miền là thay vìPlim2(a,b)(0,1][0,0]

Biểu đồ dưới đây mô tả cả trình tự giới hạn Ross và trình tự giới hạn hợp lý.

nhập mô tả hình ảnh ở đây

Có lẽ công bằng khi nói rằng phân tích của Ross bao gồm một giả định ngầm định rằng giới hạn Ross và miền của nó là toàn bộ miền quan tâm. Trực giác ngầm ẩn bên dưới giả định của Ross giống như do bốn điều kiện dưới đây ngay cả khi chúng không được công nhận rõ ràng:

Đặt là chuỗi giới hạn thứ . Đặt là liên kết của các chuỗi giới hạn Roth. Si=P(i,n),n=1,...,iS=i=(1...)Si

  • (1) Các chuỗi khác nhau và mỗi chuỗi hội tụ.Si
  • (2) Liên hợp các yếu tố của tất cả các chuỗi bao gồm chính xác bộ tất cả các bộ (bóng, bước) sắp ra mắt:S{(i,n) | in  i,nQ}
  • (3) Tất cả các chuỗi là vô hạn trong , chỉ số bước, vì vậy chúng không chấm dứt "sớm".Sin
  • (4) Các chuỗi tự tạo thành một siêu chuỗi . Do đó, siêu chuỗi có thể được "tạo" lặp đi lặp lại, i, e ,, chúng có thể đếm được.Si{Si}iin(1...)

Không rõ ràng ngay lập tức rằng một hệ thống trình tự giới hạn khác có thể thỏa mãn các điểm trên (1) - (4).

Tuy nhiên, bây giờ chúng ta sẽ thảo luận về một hệ thống các chuỗi giới hạn khác thực sự thỏa mãn các điểm trên (1) - (4).

Đặt , trong đó , biểu diễn chuỗi giới hạn hợp lý Đặt là các bộ nguyên tố chung của : = . Đặt là liên kết của các chuỗi giới hạn hợp lý đã nói: Sp,qgcd(p,q)=1

Sp,q={(kp,kq)}k(1...)
DDD={(p,q)Dgcd(p,q)=1}SS=dDSp,q

Rõ ràng các chuỗi có liên kết là thỏa mãn các tính chất trên (1) - (3). Các chỉ số chính xác là các tỷ lệ hợp lý trên . Để thỏa mãn điều kiện (4), chúng ta cần chỉ ra rằng các tỷ lệ hợp lý trên là có thể đếm được. Sp,qS
(p,q)(0,1](0,1]

(Chuỗi Farey) 2 của thứ tự là chuỗi các phân số giảm hoàn toàn giữa 0 và 1 mà khi ở các số hạng thấp nhất có mẫu số nhỏ hơn hoặc bằng , được sắp xếp theo thứ tự tăng kích thước. Dưới đây là tám chuỗi Farey đầu tiên:nn

 F1 = {0/1,                                                                                                          1/1}
 F2 = {0/1,                                                   1/2,                                                   1/1}
 F3 = {0/1,                               1/3,                1/2,                2/3,                               1/1}
 F4 = {0/1,                     1/4,      1/3,                1/2,                2/3,      3/4,                     1/1}
 F5 = {0/1,                1/5, 1/4,      1/3,      2/5,      1/2,      3/5,      2/3,      3/4, 4/5,                1/1}
 F6 = {0/1,           1/6, 1/5, 1/4,      1/3,      2/5,      1/2,      3/5,      2/3,      3/4, 4/5, 5/6,           1/1}
 F7 = {0/1,      1/7, 1/6, 1/5, 1/4, 2/7, 1/3,      2/5, 3/7, 1/2, 4/7, 3/5,      2/3, 5/7, 3/4, 4/5, 5/6, 6/7,      1/1}
 F8 = {0/1, 1/8, 1/7, 1/6, 1/5, 1/4, 2/7, 1/3, 3/8, 2/5, 3/7, 1/2, 4/7, 3/5, 5/8, 2/3, 5/7, 3/4, 4/5, 5/6, 6/7, 7/8, 1/1}

Đặt đại diện cho chuỗi Farey thứ mà không có phần tử đầu tiên .Fnn0/1

Đặt là sự kết hợp của các chuỗi giới hạn hợp lý có ít nhất một phần tử lên đến và bao gồm bước : Snn

Sn={Sp,q | (a,b)}

Các phần tử của chỉ mục , được chuyển đổi từ phân số sang bộ dữ liệu, lập chỉ mục chính xác các phần tử của . Bảng sau đây so sánh việc phân nhóm các chuỗi giới hạn trong phân tích Ross và phân tích giới hạn hợp lý:FnSn

Rossrationalnum new seq per step 1multiple (generally)new seq at step nSnFnFn1tot num seq up to step nnFnsuper-seq up to step n{Sm}m=1nFn

Cuối cùng, do các phương thức tồn tại [ 3 ], [ 4 ] để lặp lại siêu chuỗi , điều kiện (4) cũng được thỏa mãn.Fn

Một trong những phương pháp đó, một biến thể của cây Stern-Brocot, như sau:

Phương tiện truyền thông của hai và được định nghĩa làa/cb/da+bc+d

  • ĐặtFn=
  • Nối vào1/nFn
  • Lặp lại cho trongi1...(Fn11)

    • Nối vào F * _n $Fn1[i]

    • Đặtx=mediant(Fn1[i],Fn1[i+1])

    • Nếu nối x vàodenom(x)nFn
    • tiếp tục vòng lặp
  • Nối vàoFn1[n]Fn

Nghịch lý đã được giải quyết.

Chứng minh Định lý 1 Lưu ý đầu tiên rằng: trong đó phép biến đổi cuối cùng là phép biến đổi Sterling.

P(Ea,b)=k=ab9k(9k+1)=Γ(a+19)Γ(b+1)Γ(a)Γ(b+109)=(a1)12a(a89)a718bb+12(b+19)b1118

Sau đó, về mặt cú pháp thay thế và vào phương trình (dạng Sterling) cuối cùng, chúng ta sẽ có aanbbn

limnP(Ea,b)=limn(aM1)12aM(aM89)aM718(bM)bM+12(bM+19)bM1118=(ab)19

Phụ lục: Kết quả khác

Kỳ vọng trong giới hạn

Phần này đưa ra biểu thức đóng cho số lượng bóng dự kiến ​​còn lại lên đến và bao gồm bất kỳ phần nào của kích thước bước.
Một hệ quả của kết quả này là một xấp xỉ bằng số của chỉ số của quả bóng đầu tiên có kỳ vọng còn lại lớn hơn một.

( Còn tiếp )


1
Xin vui lòng không đăng hai câu trả lời giống nhau cho hai câu hỏi khác nhau.
Glen_b

@Glen_b - Tôi đã viết lại hoàn toàn câu trả lời của mình, thay đổi sang cách tiếp cận thống kê và toán học thuần túy. Không có triết học, bộ, đếm, hoặc khoa học tính toán. Tôi nghĩ rằng điều này là phù hợp với hội đồng này. Có lẽ tôi có thể đăng nó như một câu trả lời mới? Tôi sẽ đánh giá cao sự xem xét của bạn.
Craig Hicks

1
Tôi không chắc chắn những gì bạn yêu cầu tôi làm ở đây. Nếu bạn thực sự nghĩ rằng bạn có một câu trả lời khác nhau, bạn có thể đăng nó.
Glen_b

@Glen_b Craig không thể đăng câu trả lời khác vì chủ đề này được bảo vệ và danh tiếng của anh ấy (trừ phần thưởng liên kết) hiện đang âm. Tôi không chắc có cách nào giúp anh ta ngoài việc tạm thời gỡ bỏ sự bảo vệ. Craig, một giải pháp tốt hơn sẽ là để bạn đăng một số câu trả lời khác trong các chủ đề khác, nhận được một vài upvote và tích lũy đủ đại diện để có thể đăng ở đây.
amip

@amoeba - Tôi đã cô đọng câu trả lời để gửi tin nhắn bằng ít từ hơn. Bạn đã đọc nó? Trong > DOMAIN <dấu cách, mỗi giới hạn Ross đạt tới tỷ lệ bằng 0. Khi so sánh giới hạn bảo toàn tỷ lệ của bảo toàn tỷ lệ . Bạn có nhìn thấy quan điểm của tôi không? (i,n)i/nlimnanbna/b
Craig Hicks

-5

Chỉnh sửa Chỉnh sửa

Mẩu chuyện dài. Cái gọi là nghịch lý là một lỗi dạng không xác định, lỗi của người mới bắt đầu với kết quả tương tự như chia cho sai số 0 chứng tỏ rằng . Các lỗi như vậy, trong trường hợp này để đếm số, tự nhiên tạo ra các câu trả lời có thể là 0, hoặc .1=2n

BTW, khi thêm một số lượng xác suất vô hạn, người ta sẽ tạo ra , một hình thức không xác định và bằng chứng của Ross là không chính xác. Để có câu trả lời đúng, hãy sử dụng Quy tắc của L'hopital. vô cực không phải là số . Đối xử vô cùng như thể đó là một con số dẫn đến sai sót.1


5
Bạn đưa ra một câu trả lời mâu thuẫn trực tiếp với một số câu trả lời được đánh giá cao hiện có và một cuốn sách giáo khoa. Tại sao bạn ngạc nhiên bởi các downvote?
amip

8
Xin thứ lỗi và cho phép tôi làm rõ. Giống như hầu hết các câu trả lời không chính xác khác trong sê-ri, câu trả lời này cho thấy không có nhận thức về lập luận chặt chẽ do Ross đưa ra, một lập luận không chính thức, đưa ra kết luận sai hoặc không có kết luận nào cả. Như bạn đã nói, không có câu trả lời chắc chắn, vì vậy rõ ràng phân tích của bạn không đủ mạnh để hỗ trợ hoặc loại trừ bất kỳ giải pháp nào cho vấn đề này. Nói cách khác, đó không phải là một câu trả lời.
Paul

6
(-1) Đối số của bạn vẫn đang truyền tay nhau và đi đến kết luận không chính xác. Bạn cũng nói rõ xác suất là gì mà không có bất kỳ bằng chứng nào về những tuyên bố đó. Bạn thực sự nên thử và đọc lập luận của Ross và cố gắng tìm ra một lỗ hổng thực sự .
ekvall

9
Ross là một nhà thống kê cực kỳ nổi tiếng, người đã viết nhiều sách và bài báo về xác suất và số liệu thống kê, và tôi là một nhà toán học tiến sĩ, người chứng minh cho sự nghiêm ngặt của giải pháp cho vấn đề này. Điều tối thiểu bạn có thể làm là chỉ ra một lỗ hổng trong chứng minh gốc thực tế. Tất cả những nỗ lực của bạn cho đến nay đã thất bại. Điều đó nên cho bạn tạm dừng.
Paul

8
(-1). Hai phương trình sau mà bạn thiết lập không liên quan đến vấn đề [ví dụ: bạn đã hiểu nhầm xác suất loại bỏ "thống nhất"] và do đó không thể tạo cơ sở cho tuyên bố của bạn "Vì vậy, trong trường hợp của Ross, bất đẳng thức của Boole là [sic ] giới hạn trên là ". Với sự khăng khăng của bạn không sử dụng toán học chính thức và từ chối nghiên cứu bằng chứng của Ross, tôi nghĩ rằng điểm của bạn có lẽ sẽ được truyền đạt tốt hơn nếu bạn tước bỏ câu trả lời của tất cả các nỗ lực đối với toán học. 0×
ekvall
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.