ผลต่างระหว่างรุ่นของ "พูดคุย:ปัญหาการยุติการทำงาน"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
ล resign |
ล typo + re-sign |
||
บรรทัด 67:
'''function''' halt (P, I)
'''function''' Q (
execute P on I
'''return''' '''false'''
บรรทัด 81:
แปลว่าเราสามารถสร้าง <code>halt</code> ได้ ภายใต้สมมุติฐานว่าเราสามารถสร้าง <code>is_false</code> ได้ แต่เรารู้จากทฤษฎีบทของปัญหาการยุติการทำงานว่า ''เราไม่มีทางที่จะสร้าง <code>halt</code> ได้'' นั่นหมายความว่าสมมุติฐานที่ว่า ''เราสามารถสร้าง <code>is_false</code> ได้'' ไม่ถูกต้อง นั่นคือ ''เราไม่สามารถสร้าง <code>is_false</code> ได้''
กล่าวคือ คำถามที่คุณถามเกี่ยวกับ <code>check_result</code> จริง ๆ แล้วแทบจะเป็นคำถามเดียวกันกับ คำถามก่อนหน้าเกี่ยวกับ <code>trouble</code> ไม่ได้เป็นคำถามที่ง่ายกว่า และคำตอบก็เหมือนกัน คือ ในเมื่อ <code>check_result</code> (หรือ <code>trouble</code>) เรียกใช้โปรแกรมที่ไม่สามารถเขียนได้ จึงทำให้โปรแกรม <code>check_result</code> (หรือ <code>trouble</code>) ไม่มีอยู่จริง จึงป่วยการที่จะวิเคราะห์ว่ามันทำงานอย่างไรครับ --[[ผู้ใช้:Nullzero|Nullzero]] ([[คุยกับผู้ใช้:Nullzero|คุย]]) 11:
| |||