Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

ข้อ จำกัด ของนกฮูก

แนวคิดเป็นภาษาแบบสอบถามไม่เพียงพอ:
  • "ซึ่งคู่ของบุคคลที่มีพ่อแม่เหมือนกัน"
  • "ซึ่งผู้คนอาศัยอยู่กับพ่อแม่ของพวกเขา"
  • "ซึ่งคู่ลูกหลาน (โดยตรงหรือโดยอ้อม) จะมี?"
ข้อมูลที่เกี่ยวข้องไม่สามารถแสดงในอภิปรัชญานกฮูก:
  • \ ((\ forall x) (\ forall y) (\ forall z) \, (\ mathsf {} พี่ชาย (y, z) \ wedge \ mathsf {พ่อ} (x, y) \ to \ mathsf {} ลุง ( x, z)) \)
  • \ ((\ forall x) \, (\ mathsf {รัก} (x, x) \ to \ mathsf {narcissist} (x)) \)
นกฮูกที่ไม่เหมาะสมสำหรับการเขียนโปรแกรม:
  • นกฮูกเป็น decidable: สามารถโดยทั่วไปจะไม่แสดงทุกอย่างที่สามารถโปรแกรมได้ (ลังเลปัญหา)
  • นกฮูกไม่ได้ "ประมวลผล" มันเป็นไปไม่ procedurally: บางนามสกุล (ในตัว) เป็นเรื่องยากที่จะดำเนินการ

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.