การกำหนดหมายเลขที่สมบูรณ์
ในทฤษฎีความสามารถในการคำนวณ การกำหนดหมายเลขแบบสมบูรณ์เป็นการขยายความของการกำหนดหมายเลขแบบเกอเดลซึ่งริเริ่มโดยAI Mal'tsevในปี 1963 มีการศึกษาการกำหนดหมายเลขแบบสมบูรณ์เนื่องจากผลลัพธ์ที่สำคัญหลายอย่าง เช่นทฤษฎีบทการเวียนเกิดของคลีนและทฤษฎีบทของไรซ์ซึ่งเดิมพิสูจน์ได้สำหรับเซตของฟังก์ชันที่คำนวณได้ ซึ่งกำหนดหมายเลขแบบเกอเดล ยังคงใช้ได้กับเซตใดๆ ที่มีการกำหนดหมายเลขแบบสมบูรณ์
คำนิยาม
การกำหนดหมายเลขของชุดเรียกว่าสมบูรณ์ (เมื่อพิจารณาจากองค์ประกอบ)) ถ้าสำหรับฟังก์ชันที่คำนวณได้บางส่วน ทุกฟังก์ชันมี ฟังก์ชันที่คำนวณได้ทั้งหมดอยู่ดังนั้น (เออร์ชอฟ 1999:482):
เออร์ชอฟกล่าวถึงองค์ประกอบaว่าเป็นองค์ประกอบ "พิเศษ" สำหรับการกำหนดหมายเลข การกำหนดหมายเลขเรียกว่าสมบูรณ์ก่อน (precomplete)หากคุณสมบัติที่อ่อนกว่าเป็นจริง:
ตัวอย่าง
- การกำหนดหมายเลขใดๆ ให้กับเซตที่มีสมาชิกตัวเดียวถือว่าเสร็จสมบูรณ์แล้ว
- ฟังก์ชันเอกลักษณ์บนจำนวนธรรมชาติไม่สมบูรณ์
- ระบบการกำหนดหมายเลขของ Gödelนั้นเสร็จสมบูรณ์แล้ว