เป็นที่ทราบกันดีว่าด้วยชุดอัลกอริธึมที่นับได้ (ซึ่งมีหมายเลขGödel) เราไม่สามารถคำนวณได้ (สร้างอัลกอริธึมไบนารี่ซึ่งตรวจสอบการเป็นเจ้าของ) เซตย่อยทั้งหมดของเอ็น
หลักฐานสามารถสรุปได้ว่า: ถ้าเราทำได้ชุดของเซตย่อยทั้งหมดของ N จะนับได้ (เราสามารถเชื่อมโยงแต่ละชุดย่อยกับหมายเลขGödelของอัลกอริทึมที่คำนวณได้) เช่นนี้เป็นเท็จมันพิสูจน์ผลลัพธ์
นี่เป็นข้อพิสูจน์ที่ฉันชอบตามที่แสดงให้เห็นว่าปัญหานั้นเทียบเท่ากับเซตย่อยของ N ที่ไม่สามารถนับได้
ตอนนี้ฉันต้องการพิสูจน์ว่าปัญหาการหยุดทำงานไม่สามารถแก้ไขได้โดยใช้ผลลัพธ์เดียวกันนี้เท่านั้น (การถอดไม่ได้ของชุดย่อย N) เนื่องจากฉันเดาว่าปัญหาเหล่านั้นใกล้เคียงกันมาก เป็นไปได้ไหมที่จะพิสูจน์ด้วยวิธีนี้
เห็นได้ชัดว่าผลลัพธ์ทั้งสองสามารถพิสูจน์ได้โดยใช้เทคนิคเดียวกัน (เส้นทแยงมุม) อย่างไรก็ตามฉันไม่คิดว่ามันเป็นไปได้ที่จะพิสูจน์ undecidability ของปัญหาการหยุดชะงักเพียงแค่ใช้การนับไม่ได้ของครอบครัวของเซตย่อยของ former เพราะอดีตเป็นเรื่องเกี่ยวกับการเปรียบเทียบระหว่างREและRซึ่งทั้งสองเป็นครอบครัวที่นับได้ของ ส่วนย่อยของℕ
—
Tsuyoshi Ito
มีเพียงโปรแกรมจำนวนมากเท่านั้นที่สามารถเข้าถึง oracle หยุดทำงานได้อีกครั้งโดยมีหมายเลข Godel อีกครั้ง อย่างไรก็ตามปัญหาการหยุดชะงักอยู่ระหว่างชุดที่นับได้นี้
—
David Harris