3
P มีภาษาที่ไม่มี PA หรือ ZFC หรือไม่? (วิกิชุมชน TCS)
คำตอบ: ไม่เป็นที่รู้จัก คำถามที่ถามนั้นเป็นเรื่องธรรมชาติเปิดเผยและยาก คำถามคือวิกิชุมชน ภาพรวม คำถามพยายามแบ่งภาษาที่เป็นของคลาสซับซ้อน - พร้อมกับเครื่องทัวริงตัดสินใจ (TM) ที่ยอมรับภาษาเหล่านี้ - เป็นคลาสย่อยเสริมที่สอง:PPP ภาษาที่มีความรู้และ TM (ซึ่งมีความเป็นไปได้ที่จะตรวจสอบ / ทำความเข้าใจ) เทียบกับ ภาษาที่คลุมเครือและ TM (ที่ไม่สามารถตรวจสอบ / เข้าใจได้) คำนิยาม: ภูมิปัญญา VS คลุมเครือตัวเลขหน่วยความจำและภาษา ภายในกรอบความจริงPAและZFCเราแยกแยะความรู้จากเครื่องทัวริงและภาษาที่เป็นความลับดังนี้: D0 เราพูดว่าrจำนวนจริงที่คำนวณได้ นั้นมีความหมายถ้ามันเกี่ยวข้องกับชุดที่ไม่ว่างเปล่าของ TMs โดยแต่ละ TM ที่ระบุใน PA เป็นรายการที่ชัดเจนของตัวเลขซึ่งประกอบด้วยรหัสที่ถูกต้องบน Universal TM เช่นนั้นเพื่อความถูกต้องϵ > 0ที่จัดเป็น input แต่ละ TM สรรพสิ่ง (ใน ZFC) หยุดที่มีจำนวนส่งออกoว่าสรรพสิ่ง (ใน …