Lịch sử Toán học

Nghịch lý Russell

Nghịch lý Russell (Russell’s paradox) được mô tả qua một câu chuyện vui về ông thợ cạo như sau:

Ngày xưa, có 1 ông thợ cạo, được nhiều người cho rằng sống ở làng Seville. Tại làng đó, tất cả đàn ông đều tự cạo râu hoặc nhờ thợ cạo. Và ông thợ này đã tuyên bố: “Tôi chỉ cạo râu cho những người đàn ông nào của làng Seville mà không tự cạo râu”.

Đây là câu chuyện rất thú vị được kể nguyên văn từ nhà toán học Bertrand Russell nhưng cũng đầy rắc rối. Rắc rối vì, nếu như thế các đấng nam nhi của làng chia làm 2 nhóm: nhóm tự cạo râu và nhóm không tự cạo râu. Vậy thì thợ cạo thuộc nhóm nào đây?

Nếu thuộc nhóm tự cạo râu (nhóm 1) thì ông không cạo cho những người tự cạo râu, tức là ông không cạo cho ông. Nhưng nếu như vậy thì ông phải thuộc nhóm không tự cạo râu (nhóm 2).

Nếu ở nhóm 2 thì ông sẽ cạo râu cho ông vì ông cạo râu cho những người thuộc nhóm 2. Lúc đó hoá ra ông lại tự cao râu cho mình. Hóa ra, ông là người thuộc nhóm 1.

Vậy thì ông thợ cạo sẽ như thế nào?

Điều trên có lẽ chỉ xảy ra nếu như người thợ cạo đó không sống ở làng Seville. Đây là điều không thể, vì ở đầu câu truyện đã  nói rõ, người thợ cạo có lẽ sống ở làng Seville. Vậy thì  người thợ cạo chỉ có thể là phụ nữ !!! Lại không đúng nốt. Vì trong câu chuyện đã nói rõ có 1 ông thợ cạo.

Vậy mâu thuẫn ở đây là gì? Hay đây là câu chuyện không có thật. Nghĩa là Russell đã nói dối. Có lẽ, không phải vậy, bởi nếu thế, ông đã không thể trở thành nhà toán học lỗi lạc, và câu chuyện trên sẽ phải bị xếp xó chứ không trở thành nghịch lý Russell nổi tiếng ngày nay.

Thật ra, câu chuyện này dùng để minh họa cho 1 loại mâu thuẫn gặp phải trong lý thuyết tập hợp.  Khi ta xét tập hợp :”S là tập hợp của tất cả các tập hợp” để rồi gặp phải tình huống: “Một phần tử  thuộc hoặc không thuộc tập  S đều dẫn đến mâu thuẫn”. Sau đó, để tránh sai lầm trên,  người ta không dùng thuật ngữ “tập hợp của tất cả các tập hợp” mà đề xuất một khái niệm mới, tổng quát hơn là “lớp”. Trong đó, người ta chỉ cần khoanh vùng một tập hợp bao gồm đủ nhiều các tập hợp nào đó (nhưng không phải là tất cả) để làm việc thì sẽ không phải gặp mâu thuẫn nữa.

Một phần của nghịch lý, được khám phá bởi Bertrand Russell vào năm 1901.

Giả sử tập S là “tập hợp tất cả các tập hợp không chứa chính nó”. Một cách hình thức : A là một phần tử của tập S nếu và chỉ nếu A không là phần tử của chính A.

M = \left\{ {A\left| {A \notin A} \right.} \right\}

Nếu S chứa chính nó thì theo định nghĩa của S, tập S không phải là một phần tử của S . Nếu S không chứa chính nó thì cũng do định nghĩa của S chính S lại là một phần tử của S. Các mệnh đề “S là một phần tử của S” và “S không là phần tử của S” cả hai không thể đúng, đó chính là mâu thuẫn.

Nghịch lý này thúc đẩy Russell phát triển lý thuyết kiểu và Ernst Zermelo phát triển lý thuyết tập hợp tiên đề ngày nay trở thành lý thuyết tập hợp Zermelo-Fraenkel.

Lược dịch từ: http://www.jimloy.com/logic/russell.htm

Advertisements

About 2Bo02B

Nguyễn Vũ Thụ Nhân (Mr) Lecturer Physics Department. HCMC University of Pedagogy

Thảo luận

Không có bình luận

Trả lời

Mời bạn điền thông tin vào ô dưới đây hoặc kích vào một biểu tượng để đăng nhập:

WordPress.com Logo

Bạn đang bình luận bằng tài khoản WordPress.com Đăng xuất / Thay đổi )

Twitter picture

Bạn đang bình luận bằng tài khoản Twitter Đăng xuất / Thay đổi )

Facebook photo

Bạn đang bình luận bằng tài khoản Facebook Đăng xuất / Thay đổi )

Google+ photo

Bạn đang bình luận bằng tài khoản Google+ Đăng xuất / Thay đổi )

Connecting to %s

Tài trợ cho M4Ps và tracnghiemToan12

Translators & RSS

English French RussiaMaths 4 Physics (M4Ps)


Bạn hãy nhập địa chỉ email của mình để đăng ký theo dõi tin tức từ blog này và nhận những bài viết mới nhất qua địa chỉ email.

Join 2 731 other followers

Đôi lời

Bạn có thể theo dõi các lời bình liên quan đến lời bình của mình qua email bằng cách chọn dòng thông báo Báo cho bạn khi có người bình luận tiếp theo đề tài này bằng điện thư mỗi khi viết 1 lời bình.


Rất mong các bạn viết lời nhắn bằng tiếng việt có dấu nhé.

Để viết tiếng việt có dấu bạn dùng font chữ Unicode và bảng mã là Unicode UTF-8.


Để biết cách gõ công thức Toán học trong các lời nhắn ở trang web này, mời bạn đọc bài hướng dẫn tại đây hoặc bạn có thể xem bài hướng dẫn dùng MathType tại đây và bài tạo công thức trực tuyến tại đây


Get Well

%d bloggers like this: