ทฤษฎีบทจำนวนมากและ "ความขัดแย้ง" ของต้นเสียง diagonalization, undecidability ของความเกลียดชัง, ความไม่แน่นอนของความซับซ้อนของ Kolmogorov, ความไม่สมบูรณ์ของGödel, ความไม่สมบูรณ์ของ Chaitin, ความขัดแย้งของ Chaitin, ฯลฯ - ทั้งหมดมีหลักฐานเดียวกันโดย diagonalization ทั้งหมดจะได้รับการพิสูจน์โดย diagonalization ค่อนข้างมันรู้สึกว่าทั้งหมดของทฤษฎีบทเหล่านี้จริงๆใช้เดียวกัน diagonalization สำหรับรายละเอียดเพิ่มเติมดูเช่นYanofskyหรือขึ้นสั้นมากและน้อยกรงเล็บบัญชี คำตอบของฉันไปที่คำถามนี้ )
ในความคิดเห็นในคำถามดังกล่าวข้างต้น, Sasho Nikolov ชี้ให้เห็นว่าส่วนใหญ่ของผู้เป็นกรณีพิเศษของLawvere คงจุดทฤษฎีบท หากพวกเขาเป็นกรณีพิเศษทั้งหมดนี่จะเป็นวิธีที่ดีในการรวบรวมความคิดข้างต้น: จะมีผลหนึ่งเดียวที่มีหลักฐานหนึ่งข้อ (Lawvere's) ซึ่งทั้งหมดข้างต้นเป็นไปตามข้อพิสูจน์โดยตรง
ตอนนี้สำหรับGödelขาดและ undecidability ของลังเลปัญหาและเพื่อน ๆ ของพวกเขาก็เป็นที่รู้จักกันดีว่าพวกเขาปฏิบัติตามจาก Lawvere คงจุดทฤษฎีบท (ดูเช่นที่นี่ , ที่นี่หรือYanofsky ) แต่ฉันไม่เห็นว่าจะทำเช่นนั้นได้อย่างไรเพื่อความซับซ้อนของ Kolmogorov แม้ความจริงที่ว่าหลักฐานที่พิสูจน์แล้วจะเป็นแบบเดียวกันก็ตาม ดังนั้น:
undecidability ของความซับซ้อนของ Kolmogorov นั้นเป็นข้อพิสูจน์อย่างรวดเร็ว - ไม่จำเป็นต้องมีการตัดขวางเพิ่มเติม - ของทฤษฎีบทจุดคงที่ของ Lawvere หรือไม่?