Thế nào là nghịch lí Russel và nghịch lí “người thợ cắt tóc”

Ngày nay lí thuyết tập hợp đã trở thành cách dẫn dắt các kết luận toán học, trở thành công cụ quan trọng cho các luận chứng toán học trong các sách toán bậc trung học. Nhiều bạn học sinh đã quen thuộc và nắm chắc lí thuyết tập hợp. Thế nhưng chắc các bạn chưa hề biết là trong quá trình phát triển lí thuyết tập hợp đã gặp phải nguy cơ nghiêm trọng thậm chí làm lung lay các cơ sở của toán học.

Vào những năm 70 của thế kỉ XIX khi các nhà toán học Đức đặt cơ sở cho lí thuyết tập hợp, các nhà toán học đã cho rằng toán học đã bước đến chỗ tuyệt vời. Trong Đại hội Toán học Quốc tế năm 1900, nhà lãnh đạo giới toán học Panjalai đã cao hứng tuyên bố: “Toán học đã đến chỗ hoàn toàn chặt chẽ”.

Thế nhưng vào năm thứ hai, nhà toán học, nhà triết học Anh Russel đã phát hiện một mâu thuẫn hết sức to lớn trong lí thuyết tập hợp.

Có thể chia tập hợp thành hai loại: Loại tập hợp thứ nhất có đặc trưng là bản thân tập hợp là phần tử của tập hợp đó. Ví như có người đương thời đã từng nói “cái mà tập hợp có chính là đã tạo nên tập hợp”. Đặc trưng thứ hai của tập hợp là: “Bản thân tập hợp không phải là phần tử của tập hợp”, ví dụ tập hợp các điểm trên một đường thẳng. Đương nhiên tập hợp chỉ có thể thuộc một trong hai loại. Bây giờ giả sử R là thuộc tập hợp thứ hai. Thế thì R có phải thuộc tập hợp đó không?

Nếu R là tập hợp loại 1: thì R phải là phần tử của tập hợp đó, nhưng theo định nghĩa R chỉ do loại tập hợp thứ hai tạo nên. Nhưng nếu R thuộc loại tập hợp loại hai, thì theo định nghĩa của R, R phải là phần tử của R và rõ ràng là R lại thuộc loại tập hợp thứ nhất. Như vậy quay đi quay lại đều khó, không có câu trả lời. Đó chính là “nghịch lí Russel nổi tiếng”.

Do nghịch lí Russel hết sức khó lí giải, nên người ta lại dùng sự việc hàng ngày để so sánh và đưa ra logic “nghịch lí người thợ cắt tóc”. Ở một thôn nọ có người thợ cắt tóc nổi tiếng với lập luận anh ta chỉ cho phép người không tự cạo mặt cạo mặt cho mình. Khi tuyên bố như vậy người thợ cắt tóc đã lâm vào thế bí: Anh ta có tự cạo mặt cho mình không? Nếu anh ta tự cạo mặt thì lại ngược lại lời tuyên bố “chỉ để cho ai không cạo mặt cạo mặt cho mình”. Nhưng nếu không cạo mặt thì lại trái với nguyên tắc “để cho người không cạo mặt mình đi cạo mặt”.

Sự phát hiện nghịch lí Russel làm lung lay cơ sở lí thuyết tập hợp và cơ sở toán học bị một chấn động rất lớn và người ta gọi đó là “nguy cơ lần thứ ba” của toán học. Để giải quyết mâu thuẫn này, các nhà toán học đã tiến hành các nỗ lực hết sức khó khăn biến lí thuyết tập hợp từ hình thức dẫn chứng tiến đến phương pháp tiên đề và năm 1908 ngài Meilor đã đưa ra phương án tiên đề hoá lí thuyết tập hợp. Tôn chỉ của ông là cần có “hạn chế về định nghĩa tập hợp” đảm bảo loại bỏ các mâu thuẫn, lại có thể bảo tồn được “các nội dung có giá trị lớn của lí thuyết tập hợp Canto”. Trong các tiên đề Meilor về tập hợp không có cách nói “cái mà tập hợp có chính là đã tạo nên tập hợp”. Phương án tiên đề hoá các cải tiến bổ sung của Flunkel và Skeland tạo nên hệ tiên đề ZF trong lí thuyết tập hợp hiện đại. Đương nhiên ngoài hệ tiên đề ZF còn có các hệ tiên đề khác.

Nghịch lí và nguy cơ không hề làm nghiêng ngả cơ sở của toán học mà trong quá trình xây dựng hệ thống tiên đề đã giúp loại bỏ các nghịch lí, lí thuyết tập hợp đã được phát triển và hoàn thiện và cơ sở của toán học ngày càng có cơ sở vững chắc.

Vì sao dòng nước chảy ra khỏi các lỗ thoát nước luôn xoáy theo một chiều nhất định?

Khi ta xả nước từ bồn nước bằng lỗ thoát đáy thì tại sao luôn tạo thành các dòng xoáy...

Máu nhân tạo có ưu điểm gì?

Khi bệnh nhân mất nhiều máu hoặc trải qua một cuộc đại phẫu, tiếp máu là khâu quan trọng, không thể thiếu được. Nhưng có lúc do gặp khó khăn về nhóm...

Nhiệt có gây nên ô nhiễm không?

Rất nhiều vật có thể phát nhiệt. Ví dụ đèn ống hoặc bóng đèn khi sáng sẽ phát nhiệt, ô tô khi chạy sẽ phát nhiệt, rất nhiều dụng cụ điện trong gia...

Núi vòng tròn có phải là đặc sản riêng của Mặt trăng không?

Hơn 300 năm trước các nhà thiên văn thông qua kính viễn vọng lần đầu tiên nhìn thấy núi vòng tròn hay núi miệng phễu trên Mặt Trăng. Quả thật họ không...

Tại sao thời tiết nóng lại ảnh hưởng tới việc máy bay cất cánh?

Mùa Hè là thời điểm mọi người có nhiều thời gian dành cho những chuyến du lịch cùng gia đình và bạn bè, nhưng thời tiết nóng nực có thể không phải là điều kiện thời tiết lý tưởng để máy bay cất cánh.

Vì sao có thể phá sương mù bằng phương pháp nhân tạo?

Sương mù là do những giọt nước hoặc tinh thể băng trôi nổi trong không khí mà thành. Khi có mù sẽ cản trở tầm nhìn, do đó những vật xa nhìn không rõ,...

Xe đông lạnh có gì đặc biệt?

Trung Quốc là một trong những nước rộng lớn nhất thế giới, nhưng do từ Nam lên Bắc cách nhau hàng ngàn km, việc vận chuyển nhiều loại vật tư thật là...

Tại sao trang hình VCD phát ra có lúc lại xảy ra hiện tượng mosaic?

Chúng ta đều đã xem phim do máy VCD hoặc máy tính chiếu. Khi gặp trường hợp đĩa VCD hoặc máy VCD chất lượng thấp thì hình ảnh trong màn hình thường...

Tại sao thụ phấn giữa các loài thực vật khác loài thường không thụ tinh kết quả được?

Chủng loại của thực vật rất nhiều, vào trong vườn có thể thấy cây cối hoa cỏ muôn hình muôn vẻ. Nở những đoá hoa sặc sỡ, đi vào ruộng có thể thấy hoa...