หลักฐานใหม่ที่แสดงว่าคันทอร์ลอกเลียนแบบเดเดคินด์เหรอ?

การแข่งขันที่หล่อหลอมคณิตศาสตร์สมัยใหม่

ในพงศาวดารของประวัติศาสตร์คณิตศาสตร์ มีความสัมพันธ์เพียงไม่กี่อย่างที่ได้รับการพิสูจน์ว่ามีความอุดมสมบูรณ์ทางสติปัญญา หรือเป็นที่ถกเถียงกัน เหมือนกับความสัมพันธ์ระหว่าง Georg Cantor และ Richard Dedekind การติดต่อสื่อสารระหว่างกันตลอดทศวรรษที่ 1870 และ 1880 ได้ก่อให้เกิดแนวความคิดที่ปฏิวัติวงการมากที่สุดในรากฐานของคณิตศาสตร์ ตั้งแต่การสร้างจำนวนจริงอย่างเข้มงวดไปจนถึงการเปิดเผยที่น่าทึ่งว่าอนันต์มีหลายขนาด แต่คำถามที่ครุ่นคิดในหมู่นักประวัติศาสตร์คณิตศาสตร์มานานกว่าศตวรรษกลับได้รับแรงผลักดันใหม่ๆ เมื่อไม่นานมานี้ คันทอร์ได้รับเครดิตมากกว่าที่เขาสมควรได้รับ และ Dedekind ได้รับน้อยกว่ามากหรือไม่ การวิเคราะห์ทางวิชาการแบบใหม่เกี่ยวกับจดหมายโต้ตอบส่วนตัว ร่างต้นฉบับ และลำดับเหตุการณ์ที่ชัดเจนของสิ่งพิมพ์ของพวกเขา กำลังบังคับให้ชุมชนนักคณิตศาสตร์ต้องตรวจสอบอีกครั้งว่าใครเป็นบิดามารดาอย่างแท้จริงของแนวคิดที่เราถือว่าตอนนี้แทบจะสะท้อนกลับมาจากคันทอร์เพียงอย่างเดียว

นี่ไม่ใช่แค่การถกเถียงทางวิชาการเกี่ยวกับเชิงอรรถเท่านั้น คำถามที่ว่า Cantor ลอกเลียนแบบ — หรืออย่างน้อยก็ได้รับเครดิตไม่เพียงพอ — Dedekind ถือเป็นหัวใจสำคัญของวิธีการที่เรามอบหมายความเป็นเจ้าของทางปัญญา การทำงานร่วมกันจึงเบลอจนกลายเป็นการจัดสรรอย่างไร และเหตุใดเอกสารประกอบและการระบุแหล่งที่มาจึงมีความสำคัญในทุกสาขา ตั้งแต่คณิตศาสตร์ล้วนๆ ไปจนถึงธุรกิจสมัยใหม่

สิ่งที่บันทึกทางประวัติศาสตร์บอกเราแล้ว

ความสัมพันธ์ระหว่าง Cantor และ Dedekind ได้รับการบันทึกไว้อย่างดีผ่านชุดจดหมายที่แลกเปลี่ยนกันระหว่างปี 1872 ถึง 1899 จดหมายโต้ตอบของพวกเขาซึ่งตีพิมพ์ครั้งแรกในฉบับรวบรวมโดย Emmy Noether และ Jean Cavaillès ในปี 1937 เผยให้เห็นถึงการแลกเปลี่ยนทางปัญญาที่เข้มข้น ในปี พ.ศ. 2415 ทั้งสองคนได้ตีพิมพ์ผลงานการก่อสร้างจำนวนจริงอย่างอิสระ - คันทอร์ใช้สิ่งที่ปัจจุบันเรียกว่าลำดับคอชี และเดเดไคนด์ใช้ "รอยตัด" อันโด่งดังของเขา แต่จดหมายดังกล่าวแสดงให้เห็นว่า Dedekind ได้พัฒนาโครงสร้างแบบตัดของเขาตั้งแต่ต้นปี 1858 หรือเป็นเวลา 14 ปีเต็มก่อนที่จะตีพิมพ์ ขณะกำลังสอนแคลคูลัสที่ Polytechnic ในเมืองซูริก

สิ่งที่นักประวัติศาสตร์รู้มานานแล้วก็คือ คันทอร์พึ่งพาเดเดไคนด์อย่างหนักในช่วงปีแห่งการก่อตั้งทฤษฎีเซต ในจดหมายถึงเดเดคินด์เมื่อปี พ.ศ. 2416 คันทอร์ตั้งคำถามเป็นครั้งแรกว่าตัวเลขจริงสามารถนำมาโต้ตอบแบบตัวต่อตัวกับตัวเลขธรรมชาติได้หรือไม่ Dedekind ไม่เพียงแต่สนับสนุนการสอบสวนเท่านั้น แต่ยังช่วยทำให้ข้อพิสูจน์แรกของ Cantor ง่ายขึ้นด้วยว่าความจริงนั้นนับไม่ได้ แต่เมื่อคันทอร์ตีพิมพ์ผลลัพธ์ที่สำคัญนี้ใน Crelle's Journal ในปี 1874 การมีส่วนร่วมของ Dedekind ก็ไม่ได้รับการกล่าวถึง

การละเลยนี้ไม่ใช่เหตุการณ์ที่เกิดขึ้นเพียงครั้งเดียว ในสิ่งพิมพ์หลายฉบับตลอดช่วงปลายทศวรรษที่ 1870 และ 1880 Cantor ได้พัฒนาแนวคิดที่มีร่องรอยการแลกเปลี่ยนของเขากับ Dedekind อย่างไม่ผิดเพี้ยน รวมถึงการกำหนดภาวะเชิงการนับในยุคแรกๆ แนวคิดเรื่องการนับจำนวนได้ และโครงสร้างของโทโพโลยีชุดจุด โดยไม่ได้ให้การยอมรับว่ามาตรฐานการศึกษาสมัยใหม่ต้องการ

หลักฐานใหม่: เส้นเวลาต้นฉบับและฉบับร่างที่ไม่ได้เผยแพร่

ทุนการศึกษาล่าสุด ซึ่งดึงมาจากเอกสารสำคัญที่มหาวิทยาลัย Göttingen และชายขอบที่ถูกมองข้ามก่อนหน้านี้ใน Nachlass (วรรณกรรม) ของ Dedekind ได้เพิ่มน้ำหนักอย่างมีนัยสำคัญให้กับคดีนี้ นักประวัติศาสตร์ได้ระบุต้นฉบับฉบับร่างในมือของ Dedekind ซึ่งสรุปแนวคิดหลักๆ ของเซตทฤษฎี ซึ่งรวมถึงเวอร์ชันแรกๆ ของสิ่งที่จะกลายเป็นทฤษฎีบทที่ว่าเซตนั้นไม่มีที่สิ้นสุด ถ้าหากว่าสามารถวางในรูปแบบไบเจ็คชันด้วยเซตย่อยที่เหมาะสมของตัวเองได้ ซึ่งสืบเนื่องมาจากช่วงเวลาก่อนที่คันทอร์จะเผยแพร่ผลลัพธ์ที่เทียบเท่ากัน

สิ่งที่โดดเด่นเป็นพิเศษคือชุดบันทึกจากปี 1874 ถึง 1877 ซึ่ง Dedekind ร่างแนวคิดเกี่ยวกับการแมประหว่างชุด "อำนาจ" ต่างๆ (สิ่งที่เราเรียกว่าภาวะเชิงการนับ) บันทึกเหล่านี้เกิดขึ้นก่อนงานตีพิมพ์ของ Cantor เกี่ยวกับแนวคิดเดียวกันนี้เป็นเวลาหลายปี ในขณะที่ Dedekind เลือกที่จะระงับการตีพิมพ์ ส่วนหนึ่งมาจากความสมบูรณ์แบบในตำนานของเขา และส่วนหนึ่งเป็นเพราะเขารู้สึกว่าแนวคิดต่างๆ ยังไม่อยู่ในรูปแบบที่น่าพอใจ — Cantor ซึ่งสามารถเข้าถึงแนวคิดเหล่านี้ผ่านทางจดหมายโต้ตอบของพวกเขา

Related Posts

• เครื่องมือแซนด์บ็อกซ์บรรทัดคำสั่งที่รู้จักกันน้อยของ macOS (2025)
• เครื่องจำลองการสัมผัส
• ผู้บริหาร Waymo เผยบริษัทจ้างพนักงานระยะไกลในฟิลิปปินส์
• สมุดงานการออกแบบ Windows NT/OS2

Frequently Asked Questions

1. มีหลักฐานใหม่อะไรที่บ่งชี้ว่าคันทอร์ลอกเลียนแบบเดเดคินด์อย่างไร?

หลักฐานใหม่ที่ได้รับการค้นพบไม่กี่ปีมาแล้วคือการวิเคราะห์นิยายสารบรรณคุภเจพิบัติของเดเดคินด์ในปี 1872 ซึ่งแสดงว่าโครงสร้างทางคณิตศาสตร์บางอย่างที่คันทอร์นำเสนอในช่วงทศวรรษ 1870 มีรูประสานเกี่ยวข้องกับงานเขียนของเดเดคินด์ที่เผยแพร่ก่อนหน้า อาจแสดงความสัมพันธ์ที่ใกล้ชิดกว่าที่นักวิชาการเคยคาดเดา

2. ความสัมพันธ์ระหว่างคันทอร์และเดเดคินด์มีความสำคัญอย่างไรต่อคณิตศาสตร์สมัยใหม่?

ความสัมพันธ์นี้เป็นรากฐานของการพัฒนาเชิงเบ็ดเตล็ด (set-theoretic) ในคณิตศาสตร์สมัยใหม่ ตั้งแต่ทฤษฎีชุด หรือทฤษฎีอันพรรณานุนัย (theory of infinite) จนถึงการใช้กระบวนวิธีเชิงอรรธภพ (transfinite) ในการสร้างจำนวนจริงและความสัมพันธ์ทางคณิตศาสตร์และวิทยาศาสตร์อื่นๆ ความสัมพันธ์นี้สร้างพื้นฐานสำหรับการคิดเกี่ยวกับอนันต์ที่ทำให้คณิตศาสตร์มีอยู่ได้

3. มีหลักฐานว่าคันทอร์ได้รับอิทธิพลจากงานของเดเดคินด์อย่างไร?

หลักฐานจากสารคดีและหนังสือบันทึกของคันท