7
เครื่องทัวริง“ ตามนิยาม” เป็นเครื่องจักรที่ทรงพลังที่สุดหรือไม่?
ฉันยอมรับว่าเครื่องทัวริงสามารถทำ "ปัญหาทางคณิตศาสตร์ที่เป็นไปได้ทั้งหมด" แต่นั่นเป็นเพราะมันเป็นเพียงการนำเสนอเครื่องจักรของอัลกอริทึม: ก่อนอื่นให้ทำแล้วทำสิ่งนั้นในที่สุดก็เอาท์พุท ฉันหมายถึงทุกสิ่งที่สามารถแก้ไขได้โดยอัลกอริทึม (เพราะนั่นคือนิยามของ 'แก้ไขได้') มันเป็นเพียงการพูดซ้ำซาก ฉันไม่ได้พูดอะไรใหม่ที่นี่ และด้วยการสร้างอัลกอริธึมที่เป็นตัวแทนของเครื่องจักรเพื่อที่จะแก้ปัญหาที่เป็นไปได้ทั้งหมดก็ไม่มีอะไรใหม่ นี่เป็นเพียงการพูดซ้ำซาก ดังนั้นโดยทั่วไปเมื่อมีการกล่าวว่าเครื่องทัวริงเป็นเครื่องที่ทรงพลังที่สุดสิ่งที่มีประสิทธิภาพหมายถึงเครื่องที่ทรงพลังที่สุดคือเครื่องที่ทรงพลังที่สุด! คำจำกัดความของ "มีประสิทธิภาพมากที่สุด": สิ่งที่สามารถยอมรับภาษาใดก็ได้ คำจำกัดความของ "อัลกอริทึม": กระบวนการทำอะไร การแสดงเครื่องของ "อัลกอริทึม": เครื่องที่สามารถทำอะไรได้ ดังนั้นจึงเป็นเหตุผลเท่านั้นที่การแสดงเครื่องของอัลกอริทึมจะเป็นเครื่องที่มีประสิทธิภาพที่สุด อลันทัวริงมีอะไรใหม่ให้เราบ้าง