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+...+P10−P1+P11+...+P20−P2+...
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.xmod10≠0
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)=2−10logn
n10nF(n)=2F(10n)
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:
Đố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
Đố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:
SaddedSremoved,1Sremoved,2Sremoved,3={1,2,3,4,5,6,7,8,9,10}+{10k with k∈N}={k with k∈N}={10k with k∈N}={k with k∈N}∖{a1,a2,a3,... with ai∈N}
và vấn đề giảm xuống một phép trừ được đặt như .Sadded−Sremoved,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 .n↦n2n2↦nN
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)
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 ).E1⊃E2⊃E3⊃E4⊃...
Mệnh đề 6.1: Nếu là một chuỗi các sự kiện tăng hoặc giảm, thì{En,n≥1}
limn→∞P(En)=P(limn→∞En)
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ằngilimn→∞Ein
limn→∞P(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.
limn→∞P(Ein)=∏k=i∞9k9k+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→∞(limn→∞P(Ein))=limi→∞∏k=i∞9k9k+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Ωi⨂∞k=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(⋃1∞Fi)≤∑1∞P(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