ผลต่างระหว่างรุ่นของ "พูดคุย:ปัญหาการยุติการทำงาน"

::: {{ping|Nullzero}} ทุก account ใน fb, ถ้า login จะเปิดอ่านบทสนทนานั้นได้ครับ, ถ้าไม่มี account เดี๋ยวเอามาแปะให้ครับ --[[ผู้ใช้:Ans|Ans]] ([[คุยกับผู้ใช้:Ans|คุย]]) 17:51, 30 ธันวาคม 2562 (+07)

 

::::* ผมมี account ครับ แต่เจอหน้า "Sorry, this content isn't available right now"

::::* ตอบกลับเรื่อง "ตย. ของผมไม่เหมือน ตย. 2 ที่คณยกมาครับ": โอเคครับ ไม่เหมือนกันอย่างที่คุณว่าจริง ๆ แหละครับ ต้องขอโทษด้วยครับถ้าทำให้สับสน แต่ประเด็นที่ผมต้องการจะสื่อคือ การเอาข้อมูลนำเข้าอันหนึ่ง (<math>I</math>) มาทำงานบน Turing machine อันหนึ่ง (<math>M</math>) จะได้ผลลัพธ์ที่เหมือนกันเสมอ (นั่นคือ การทำงานเป็น[[ฟังก์ชัน (คณิตศาสตร์)|ฟังก์ชันทางคณิตศาสตร์]]) สาเหตุเพราะว่าในสถานะหนึ่ง ๆ ของ Turing machine (<math>q</math>) บนเทปข้อมูลหนึ่ง ๆ (<math>s</math>) และตำแหน่งหัวอ่านเทปหนึ่ง ๆ (<math>i</math>) ถ้า <math>q</math> ไม่ใช่สถานะจบ จะมีเพียงแค่วิธีเดียวในการเปลี่ยนสถานะไปเป็นสถานะถัดไป (ตามนิยามของ Turing machine) จึงสรุปแบบชุ่ย ๆ ได้ว่า <math>M</math> และ <math>I</math> จะนำไปสู่ผลลัพธ์ที่เหมือนกันเสมอ (ถ้าอยากให้รัดกุมก็อาจจะใช้[[การพิสูจน์เชิงคณิตศาสตร์#การพิสูจน์โดยการอุปนัยเชิงคณิตศาสตร์|การอุปนัย]]ในการพิสูจน์อะไรทำนอง "หลังจาก <math>M</math> ทำงานด้วยข้อมูล <math>I</math> ไปได้แล้ว <math>z</math> ขั้น แล้วอยู่ในสถานะรวม <math>(q_1, s_1, i_1)</math> และ <math>(q_2, s_2, i_2)</math> จะได้ว่า <math>q_1 = q_2, s_1 = s_2, i_1 = i_2</math> สำหรับทุก ๆ จำนวนเต็ม <math>z \ge 0</math>") เพราะฉะนั้นแล้ว ในบทความ <code>halt(t, t)</code> จึงมีค่าที่เป็นไปได้เพียงค่าเดียวครับ

::::* ตอบกลับเรื่อง "ลองดู สมการ x^2 = 1 สิครับ, มันก็ทำให้ x มี 2 ค่าได้ เช่นกัน": คือถ้าคุณ Ans พยายาม "แก้สมการ" ก็จะได้ว่าทั้ง true และ false เป็น feasible solution ของ <code>halt(t, t)</code> แหละครับ แต่

::::*# นี่ก็ไม่ได้ทำให้ความจริงที่ว่า <code>halt(t, t)</code> เป็นไปได้เพียงแค่ค่าเดียวเท่านั้นเปลี่ยนไป

แปลว่าเราสามารถสร้าง <code>halt</code> ได้ ภายใต้สมมุติฐานว่าเราสามารถสร้าง <code>is_false</code> ได้ แต่เรารู้จากทฤษฎีบทของปัญหาการยุติการทำงานว่า ''เราไม่มีทางที่จะสร้าง <code>halt</code> ได้'' นั่นหมายความว่าสมมุติฐานที่ว่า ''เราสามารถสร้าง <code>is_false</code> ได้'' ไม่ถูกต้อง นั่นคือ ''เราไม่สามารถสร้าง <code>is_false</code> ได้''