Argumen diagonal Cantor
Argumen diagonal Cantor (di antara berbagai nama lain yang serupa[1]) adalah suatu pembuktian matematis yang menunjukkan bahwa terdapat himpunan-himpunan takhingga yang tidak dapat dipasangkan dalam korespondensi satu-satu (bijeksi) dengan himpunan tak hingga bilangan asli. Secara informal, hal ini berarti bahwa terdapat himpunan-himpunan yang, dalam pengertian tertentu, memiliki lebih banyak elemen daripada jumlah bilangan bulat positif. Himpunan-himpunan semacam itu kini disebut himpunan tak terhitung (uncountable sets), sedangkan kajian mengenai ukuran himpunan tak hingga dibahas dalam teori bilangan kardinal, yang dirintis oleh Georg Cantor.
Cantor menerbitkan pembuktian ini pada tahun 1891,[2][3][4] tetapi ini bukanlah pembuktian pertamanya mengenai ketakterhitungan himpunan bilangan riil; pembuktian tersebut telah lebih dahulu ia publikasikan pada tahun 1874.[5][6] Namun demikian, argumen diagonal ini memperlihatkan suatu teknik umum yang kemudian digunakan dalam berbagai macam pembuktian matematika dan logika,[7] termasuk teorema ketaklengkapan pertama dari Kurt Gödel serta jawaban Alan Turing terhadap Entscheidungsproblem ("masalah keputusan"). Argumen-argumen diagonalisasi juga sering menjadi sumber kontradiksi atau paradoks, seperti Paradoks Russell,[8][9] dan Paradoks Richard.[10]
Pranala luar
Referensi
- ↑ argumen diagonalisasi, argumen garis miring diagonal, argumen antidiagonal, metode diagonal, dan pembuktian diagonalisasi Cantor
- ↑ Georg Cantor. Ueber eine elementare Frage der Mannigfaltigkeitslehre. Jahresbericht der Deutschen Mathematiker-Vereinigung. 1891. Vol. 1. hlm. 75–78. Terjemahan dalam Bahasa Inggris: From Immanuel Kant to David Hilbert: A Source Book in the Foundations of Mathematics, Volume 2. Oxford University Press. 1996. hlm. 920–922. ISBN 0-19-850536-1.
- ↑ Keith Simmons. Universality and the Liar: An Essay on Truth and the Diagonal Argument. Cambridge University Press. 30 Juli 1993. ISBN 978-0-521-43069-2.
- ↑ Walter Rudin. Principles of Mathematical Analysis. McGraw-Hill. 1976. hlm. 30. ISBN 0070856133.
- ↑ Georg Cantor and Transcendental Numbers. American Mathematical Monthly. 1994. Vol. 101 (9). hlm. 819–832. doi:10.2307/2975129.
- ↑ Ethan D. Bloch. The Real Numbers and Real Analysis. Springer. 2011. hlm. 429. ISBN 978-0-387-72176-7.
- ↑ Barnaby Sheppard. The Logic of Infinity. Cambridge University Press. 2014. hlm. 73. ISBN 978-1-107-05831-6. Extract of page 73
- ↑ Russell's paradox. Stanford encyclopedia of philosophy. 2021.
- ↑ Bertrand Russell. Principles of mathematics. Norton. 1931. hlm. 363–366.
- ↑ Keith Simmons. Universality and the Liar: An Essay on Truth and the Diagonal Argument. Cambridge University Press. 30 Juli 1993. ISBN 978-0-521-43069-2.
Sumber dan atribusi
Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 29458414 (2026-07-14T15:41:54Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.