การอ้างเหตุผลแนวทแยงของคันทอร์
From Wikipedia, the free encyclopedia
การอ้างเหตุผลแนวทแยงของคันทอร์ (อังกฤษ: Cantor's diagonal argument) เป็นวิธีการพิสูจน์ของเกออร์ค คันทอร์ ที่แสดงให้เห็นว่า จำนวนจริงไม่เป็นอนันต์นับได้ (countably infinite)
บทความนี้ไม่มีการอ้างอิงจากแหล่งที่มาใด |
วิธีการแนวทแยง ไม่ได้เป็นการพิสูจน์การนับไม่ได้ของจำนวนจริงอันแรกของคันทอร์ แต่เป็นการพิสูจน์ที่เผยแพร่หลัง 3 ปีของการพิสูจน์อันแรก วิธีการพิสูจน์อันแรกของเขาไม่เกี่ยวข้องกับการกระจายทศนิยม หรือระบบตัวเลข
ตั้งแต่ที่มีการใช้วิธีพิสูจน์นี้ ได้มีการพิสูจน์ที่คล้ายๆกันอีกหลายแบบ ซึ่งเรียกว่าเป็นวิธีการแนวทแยง โดยดูจากวิธีที่ใช้ในการพิสูจน์