"การคาดเดา" มีความเกี่ยวข้องโดยตรงกับการตีความอัตถิภาวนิยมของการไม่กำหนดระดับ
โดยสรุป:
ความคิดนี้ว่าหุ่นยนต์ที่ไม่สามารถกำหนดค่าได้สามารถคาดเดา (หรือได้รับความช่วยเหลือจาก oracle) เกี่ยวข้องโดยตรงกับการตีความอัตถิภาวนิยมของการไม่กำหนด การตีความอื่นเป็นไปได้ (อาจเป็นอย่างอื่น) ซึ่งการ "เดา" จะไม่สมเหตุสมผล
ไม่ใช่ระดับที่แปลก เรามีวิธีหนึ่งในการตีความในทฤษฎีออโตมาตะ แต่มันไม่ชัดเจนว่าเราควรทำเช่นนั้น
มันอาจดูน่าแปลกใจ แต่การไม่กำหนดเป็นสถานการณ์ที่พบบ่อยมาก เมื่อเราต้องพิสูจน์ทฤษฎีบทที่กำหนดสัจพจน์ของทฤษฎีทางคณิตศาสตร์บางอย่างกระบวนการนั้นย่อมเป็นกระบวนการที่ไม่แน่นอน นั่นคือสาเหตุที่เรามักไม่รู้ว่าจะทำอย่างไรเพื่อแก้ปัญหาตัวอย่างเช่นการหาคำตอบของสมการระดับสามหรือพิสูจน์ทฤษฎีบทบางอย่าง
มีหลายวิธีในการรวมสิ่งที่เป็นที่รู้จักกับกฎการอนุมานเพื่อให้ได้ผลลัพธ์ใหม่ และสถานการณ์มักจะเหมือนกันถ้าเราพยายามสร้างหลักฐานย้อนหลังจากผลลัพธ์
เมื่อพยายามที่จะแก้ปัญหาดังกล่าวเราพยายาม " เดา " เส้นทางในระบบการเปลี่ยนแปลงบางอย่าง
ที่จริงแล้วเราไม่คาดเดา แต่สร้างในใจของเราว่ามีโครงสร้างบางอย่างที่จัดระเบียบและ / หรือทำให้เขาวงกตแห่งความเป็นไปได้ง่ายขึ้นเพื่อที่เราจะได้เห็นเส้นทางของเราผ่านมัน ในบางกรณีคำถามตามรูปแบบที่ระบุซึ่งเรามีวิธีมาตรฐานในการหาวิธีแก้ปัญหา (บางครั้งมักจะมักจะเสมอ) และเราเรียกว่าอัลกอริทึม
หนึ่งในเทคนิคที่เราสามารถใช้ได้คือการสำรวจเขาวงกตอย่างเต็มที่: ตามเส้นทางทั้งหมดทำมันให้กว้างก่อนเพื่อหลีกเลี่ยงการถูกจับในกราฟย่อยที่ไม่มีที่สิ้นสุด นี้สวยมากสิ่งที่จะถูกทำโดยการประกบกันการคำนวณเป็นไปได้ทั้งหมดของหุ่นที่ไม่ได้กำหนด การคำนวณแบบประกบคู่ที่ได้รับนี้เป็นตัวกำหนดขึ้นมาหนึ่งอย่าง
D CAAA
ที่จริงแล้วอาจมีวิธีที่แตกต่างกันในการตีความการคำนวณที่ไม่ได้กำหนดไว้ พวกเขาทั้งหมดสอดคล้องกัน แต่ไม่ใช่กับ Afaik
RW
แนวคิดของการคาดเดาสำหรับตัวจำแนกลายมือเป็นเพียงภาพที่ถ่ายจากวิธีการ "เดา" ของเราเองเพื่อค้นหาต้นไม้พิสูจน์ แต่ความแตกต่างที่สำคัญคือสมองของเราไม่ใช่พีดีเอ พวกเขาเป็นอุปกรณ์ที่ซับซ้อนมากขึ้นด้วยความสามารถในการสำรวจและแมปโครงสร้างการเปลี่ยนแปลงโดยประมาณเพื่อให้เราสามารถหาทางผ่านพวกเขาซึ่งบางครั้งเรารู้สึกว่าเป็นการเดา
การตีความการคำนวณแบบไม่ จำกัด นี้คือสิ่งที่ฉันเรียกว่าการยอมรับอัตถิภาวนิยมโดยอ้างอิงถึงความจริงที่ว่ามันต้องการเพียงแค่การมีอยู่ของการคำนวณแบบยอมรับเดียวเท่านั้น มันสอดคล้องกับลังเลอัตถิภาวนิยมที่ผมนำมาใช้ในคำตอบอื่น
อย่างไรก็ตามใคร ๆ ก็สามารถตีความได้ว่าไม่ใช่ระดับ - ในทางสากลที่: ตัวรับรู้ (สากล) ยอมรับว่าเป็น "w" รับ iff อินพุต iff ทั้งหมดที่เป็นไปได้และหยุดการคำนวณอินพุต การยอมรับสากลนี้สอดคล้องกับแนวคิดของการหยุดสากลที่นำมาใช้ในคำตอบเดียวกัน
การยอมรับสากลและการหยุดนิ่งสากลดูเหมือนจะนำไปสู่ความเข้าใจที่สอดคล้องกันของการไม่กำหนด ดังนั้นเราจึงสามารถทำงานทางทฤษฎีกับคำจำกัดความนั้นได้ แต่มันไม่สอดคล้องกับการปฏิบัติตามปกติของเราในหลาย ๆ สถานการณ์ที่ไม่สามารถกำหนดได้เช่นการพิสูจน์ทฤษฎีบทหรือในสถานการณ์ชีวิตประจำวัน เมื่อเผชิญหน้ากับปัญหาเราเพียงต้องการวิธีหนึ่งในการแก้ปัญหาแล้วไม่สนใจว่าวิธีอื่นจะประสบความสำเร็จหรือไม่ (เช่นนี้จะค่อนข้างง่ายกว่าเล็กน้อย)
หากเราต้องจดจำสีที่เป็นมาตรฐานเราสามารถเดาได้โดยการวัดความยาวและมองหาตรงกลาง PDA ไม่สามารถ แต่เนื่องจากเราสนใจเพียงวิธีเดียวที่มีอยู่เราจึงสามารถทำเป็นว่ามันสามารถ ... หากนั่นจะช่วยได้ หรือเราสามารถพิจารณาได้ว่ามันมีออราเคิลที่จัดหาโดยเครื่องจักรที่ฉลาดกว่า (เรา?) เพื่อช่วย หรือคุณอาจเรียกมันว่าเวทมนตร์และคิดว่ามันเป็น (หลังจากทั้งหมดปริมาณการดำรงอยู่เป็นชนิดของไม้เท้าวิเศษ) ถ้ามันสามารถช่วยได้ก็จะ หากไม่มีการยอมรับการคำนวณก็ไม่ช่วยอะไรเลย
โปรดทราบว่าความคิดในการคาดเดานี้จะไม่มีความหมายในการตีความการยอมรับสากล