Trong lý thuyết tập hợp, lập luận đường chéo của Cantor, lập luận cắt đường chéo, hoặc phương pháp đường chéo, được xuất bản vào năm 1891 bởi George Cantor với một chứng minh toán học rằng có các tập hợp vô hạn mà không thể tạo ra song ánh với tập hợp vô hạn của số tự nhiên.
Những tập hợp như vậy bây giờ được gọi là tập hợp không đếm được, và các kích thước của tập hợp vô hạn bây giờ được xử lý bằng những lý thuyết của số lực lượng do chính Cantor khởi xướng.
Lý luận về đường chéo không phải là chứng minh đầu tiên của Cantor về tính không đếm được của các số thực, xuất hiện năm 1874. Tuy vậy, lý luận này cho thấy một kỹ thuật chung mạnh mẽ được dùng trong hàng loạt chứng minh khác, bao gồm các định lý không đầy đủ đầu tiên của Gödel và câu trả lời của Turing đối với Entscheidungsproblem. Các lập luận đường chéo cũng là nguồn của các mâu thuẫn như nghịch lý Russell và nghịch lý Richard.
Về mặt lịch sử, lập luận đường chéo lần đầu tiên xuất hiện trong tác phẩm của Paul du Bois-Reymond năm 1875.
This article uses material from the Wikipedia Tiếng Việt article Lập luận đường chéo của Cantor, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Nội dung được phát hành theo CC BY-SA 4.0, ngoại trừ khi có ghi chú khác. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Tiếng Việt (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.