ผลต่างระหว่างรุ่นของ "ปฏิทรรศน์ของรัสเซิลล์"

จากวิกิพีเดีย สารานุกรมเสรี
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
BotKung (คุย | ส่วนร่วม)
ใส่ลิงก์ข้ามภาษาด้วยบอต
BotKung (คุย | ส่วนร่วม)
เก็บกวาด +แจ้งรอตรวจสอบด้วยบอต
บรรทัด 1: บรรทัด 1:
{{รอการตรวจสอบ}}
'''ปฏิทรรศน์ของรัสเซิลล์''' (Russell's paradox) คือ [[ปฏิทรรศน์]] (paradox) ที่ถูกค้นพบโดย [[เบอร์แทรนด์ รัสเซิลล์]] ใน ค.ศ. 1901 ซึ่งแสดงให้เห็นว่า [[ทฤษฎีเซตสามัญ]]ของ[[เกออร์ก คันทอร์|คันทอร์]]และ Frege มีความขัดแย้ง. พิจารณาเซต ''M'' ซึ่งเป็น "เซตของเซตทุกเซตที่ไม่บรรจุตัวเองเป็นสมาชิก". หรือกล่าวว่า: ''A'' เป็นสมาชิกของ ''M'' ก็ต่อเมื่อ ''A'' ไม่เป็นสมาชิกของ ''A''.
'''ปฏิทรรศน์ของรัสเซิลล์''' (Russell's paradox) คือ [[ปฏิทรรศน์]] (paradox) ที่ถูกค้นพบโดย [[เบอร์แทรนด์ รัสเซิลล์]] ใน ค.ศ. 1901 ซึ่งแสดงให้เห็นว่า [[ทฤษฎีเซตสามัญ]]ของ[[เกออร์ก คันทอร์|คันทอร์]]และ Frege มีความขัดแย้ง. พิจารณาเซต ''M'' ซึ่งเป็น "เซตของเซตทุกเซตที่ไม่บรรจุตัวเองเป็นสมาชิก". หรือกล่าวว่า: ''A'' เป็นสมาชิกของ ''M'' ก็ต่อเมื่อ ''A'' ไม่เป็นสมาชิกของ ''A''.


บรรทัด 5: บรรทัด 6:
ในระบบของคันทอร์, ''M'' เป็น[[เซตแจ่มชัด]]. ''M'' จะบรรจุตัวเองหรือไม่? ถ้าใช่ มันจะไม่เป็นสมาชิกของ ''M'' ตามนิยามที่กำหนดไว้ และถ้าเราสมมติว่า ''M'' ไม่บรรจุตัวเองแล้ว มันก็จะกลายเป็นสมาชิกของ ''M'' ซึ่งจะทำให้ขัดแย้งกับนิยามของ ''M'' อีกครั้ง
ในระบบของคันทอร์, ''M'' เป็น[[เซตแจ่มชัด]]. ''M'' จะบรรจุตัวเองหรือไม่? ถ้าใช่ มันจะไม่เป็นสมาชิกของ ''M'' ตามนิยามที่กำหนดไว้ และถ้าเราสมมติว่า ''M'' ไม่บรรจุตัวเองแล้ว มันก็จะกลายเป็นสมาชิกของ ''M'' ซึ่งจะทำให้ขัดแย้งกับนิยามของ ''M'' อีกครั้ง


{{โครงคณิตศาสตร์}}


[[หมวดหมู่:ปฏิทรรศน์]]
[[หมวดหมู่:ปฏิทรรศน์]]
[[หมวดหมู่:ทฤษฎีเซต]]
[[หมวดหมู่:ทฤษฎีเซต]]
{{โครงคณิตศาสตร์}}


[[bg:Парадокс на Ръсел]]
[[bg:Парадокс на Ръсел]]

รุ่นแก้ไขเมื่อ 01:19, 12 มิถุนายน 2551

ปฏิทรรศน์ของรัสเซิลล์ (Russell's paradox) คือ ปฏิทรรศน์ (paradox) ที่ถูกค้นพบโดย เบอร์แทรนด์ รัสเซิลล์ ใน ค.ศ. 1901 ซึ่งแสดงให้เห็นว่า ทฤษฎีเซตสามัญของคันทอร์และ Frege มีความขัดแย้ง. พิจารณาเซต M ซึ่งเป็น "เซตของเซตทุกเซตที่ไม่บรรจุตัวเองเป็นสมาชิก". หรือกล่าวว่า: A เป็นสมาชิกของ M ก็ต่อเมื่อ A ไม่เป็นสมาชิกของ A.

ในระบบของคันทอร์, M เป็นเซตแจ่มชัด. M จะบรรจุตัวเองหรือไม่? ถ้าใช่ มันจะไม่เป็นสมาชิกของ M ตามนิยามที่กำหนดไว้ และถ้าเราสมมติว่า M ไม่บรรจุตัวเองแล้ว มันก็จะกลายเป็นสมาชิกของ M ซึ่งจะทำให้ขัดแย้งกับนิยามของ M อีกครั้ง