กลับไปหน้าบทความ

อ่าน 1 นาที

การกำหนดหมายเลขที่สมบูรณ์

ใน ทฤษฎีความสามารถในการคำนวณ การ กำหนดหมายเลขแบบสมบูรณ์ เป็นการขยายความของ การกำหนดหมายเลขแบบเกอเดล ซึ่งริเริ่มโดย AI Mal'tsev ในปี 1963...

การกำหนดหมายเลขที่สมบูรณ์

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

คำนิยาม

การกำหนดหมายเลขν{\displaystyle \nu }ของชุดเอ{\displaystyle A}เรียกว่าสมบูรณ์ (เมื่อพิจารณาจากองค์ประกอบ)เอเอ{\displaystyle a\in A}) ถ้าสำหรับฟังก์ชันที่คำนวณได้บางส่วน ทุกฟังก์ชันเอฟ{\displaystyle f}มี ฟังก์ชันที่คำนวณได้ทั้งหมดอยู่ชม.{\displaystyle h}ดังนั้น (เออร์ชอฟ 1999:482):

νชม.(ฉัน)={νเอฟ(ฉัน)ถ้า ฉันโดม(เอฟ),เอมิฉะนั้น.{\displaystyle \nu \circ h(i)={\begin{cases}\nu \circ f(i)&{\mbox{if}}~i\in \operatorname {dom} (f),\\a&{\mbox{otherwise}}.\end{cases}}}

เออร์ชอฟกล่าวถึงองค์ประกอบaว่าเป็นองค์ประกอบ "พิเศษ" สำหรับการกำหนดหมายเลข การกำหนดหมายเลขν{\displaystyle \nu }เรียกว่าสมบูรณ์ก่อน (precomplete)หากคุณสมบัติที่อ่อนกว่าเป็นจริง:

νเอฟ(ฉัน)=νชม.(ฉัน)ฉันโดม(เอฟ).{\displaystyle \nu \circ f(i)=\nu \circ h(i)\qquad i\in \operatorname {dom} (f).}

ตัวอย่าง

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ การกำหนดหมายเลขที่สมบูรณ์

ใน ทฤษฎีความสามารถในการคำนวณ การ กำหนดหมายเลขแบบสมบูรณ์ เป็นการขยายความของ การกำหนดหมายเลขแบบเกอเดล ซึ่งริเริ่มโดย AI Mal'tsev ในปี 1963...

คำนิยาม

การ กำหนดหมายเลข ν {\displaystyle \nu } ของชุด เอ {\displaystyle A} เรียกว่า สมบูรณ์ (เมื่อพิจารณาจากองค์ประกอบ) เอ ∈ เอ {\displaystyle a\in A} ) ถ้าสำหรับ ฟังก์ชันที่คำนวณได้บางส่วน ทุกฟังก์ชัน เอฟ {\displaystyle f} มี ฟังก์ชันที่คำนวณได้ทั้งหมด อยู่ ชม.

ตัวอย่าง

การกำหนดหมายเลขใดๆ ให้กับ เซตที่มีสมาชิกตัวเดียว ถือว่าเสร็จสมบูรณ์แล้ว ฟังก์ชัน เอกลักษณ์ บนจำนวนธรรมชาติ ไม่ สมบูรณ์ ระบบ การกำหนดหมายเลขของ Gödel นั้นเสร็จสมบูรณ์แล้ว