Undecidable problems
ปัญหาที่ไม่สามารถตัดสินใจได้
ปัญหาไอโซมอร์ฟิซึมของกลุ่ม
Group theoryในพีชคณิตนามธรรมปัญหาไอโซมอร์ฟิซึมของกลุ่มคือปัญหาการตัดสินใจว่าการนำเสนอของกลุ่มจำกัด สองกลุ่มที่กำหนด ให้หมายถึงกลุ่มไอโซมอร์ฟิกกัน หรือ ไม่
อ่าน 1 นาทีโจทย์ปัญหาสำหรับกลุ่ม
CS1 Russian-language sources (ru)ในคณิตศาสตร์โดยเฉพาะอย่างยิ่งในสาขาพีชคณิตนามธรรมที่เรียกว่าทฤษฎีกลุ่มเชิงการจัดเรียงปัญหาคำถามสำหรับกลุ่มที่สร้างขึ้นอย่างจำกัด คือ
อ่าน 1 นาทีทั้งหมด (ความซับซ้อน)
Complexity classesในทฤษฎีความสามารถในการคำนวณและ ความซับซ้อน ALLคือกลุ่มของปัญหาการตัดสินใจทั้งหมด
อ่าน 1 นาทีRE (ความซับซ้อน)
Complexity classesในทฤษฎีความสามารถในการคำนวณและทฤษฎีความซับซ้อนของการคำนวณRE ( recursively enumerable ) คือคลาสของปัญหาการตัดสินใจที่สามารถตรวจสอบคำตอบ 'ใช่'...
อ่าน 1 นาทีทฤษฎีบทของทราคเทนบร็อต
Accuracy disputes from September 2025ในตรรกศาสตร์ทฤษฎีแบบจำลองจำกัดและทฤษฎีความสามารถในการคำนวณทฤษฎีบทของTrakhtenbrot (ซึ่งคิดค้นโดยBoris Trakhtenbrot ) ระบุว่า ปัญหาความถูกต้องในตรรกศาสตร์ลำดับที่หนึ่ง...
อ่าน 1 นาทีปัญหาการส่งจดหมาย
Computability theoryปัญหาการติดต่อสื่อสารของ Postเป็นปัญหาการตัดสินใจที่ไม่สามารถตัดสินได้ ซึ่ง Emil Postเป็นผู้นำเสนอในปี พ.ศ.
อ่าน 1 นาทีปัญหาที่ไม่สามารถตัดสินได้
CS1 Russian-language sources (ru)ในทฤษฎีความสามารถในการคำนวณและทฤษฎีความซับซ้อนของการคำนวณปัญหาที่ไม่สามารถตัดสินได้คือปัญหาการตัดสินใจซึ่งพิสูจน์ได้ว่าเป็นไปไม่ได้ที่จะสร้างอัลกอริทึมที่นำไปสู่คำตอบใช่หรือไม่ใช่ท...
อ่าน 1 นาทีEntscheidungsproblem
CS1 German-language sources (de)ในคณิตศาสตร์และวิทยาศาสตร์คอมพิวเตอร์ปัญหาการตัดสินใจ ( Entscheidungsproblem หรือ 'decision problem' ในภาษาเยอรมันออกเสียงว่า ) เป็นความท้าทายที่David HilbertและWilhelm Ackermann..
อ่าน 1 นาทีทฤษฎีบทของริชาร์ดสัน
Functions and mappingsในทางคณิตศาสตร์ทฤษฎีบทของริชาร์ดสันพิสูจน์ว่าความเท่าเทียมกันของจำนวนจริงที่กำหนดโดยนิพจน์ที่เกี่ยวข้องกับจำนวนเต็ม , π , ln²และ ฟังก์ชัน เลขชี้กำลังและ ฟังก์ชัน ไซน์ นั้น...
อ่าน 1 นาทีปัญหาความว่างเปล่า
Computer science stubsในวิทยาการคอมพิวเตอร์เชิงทฤษฎีและทฤษฎีภาษาเชิงรูปธรรมภาษาเชิงรูปธรรมจะว่างเปล่าก็ต่อเมื่อเซตของประโยคที่ถูกต้องของมันคือเซตว่างปัญหาความว่างเปล่าคือคำถามเกี่ยวกับการพิจารณาว่าภาษาน...
อ่าน 1 นาทีช่องว่างสเปกตรัม (ฟิสิกส์)
Physical quantitiesในกลศาสตร์ควอนตัมช่องว่างสเปกตรัมของระบบคือความแตกต่างของพลังงานระหว่างสถานะพื้นฐานและสถานะกระตุ้น แรก...
อ่าน 1 นาทีกระเบื้องหวัง
1961 introductionsกระเบื้องหวัง (หรือโดมิโนหวัง ) ซึ่งเสนอครั้งแรกโดย เหา หวังนักคณิตศาสตร์ นักตรรกศาสตร์ และนักปรัชญาในปี 1961 เป็นระบบเชิงรูปธรรม ประเภทหนึ่ง...
อ่าน 1 นาทีทฤษฎีบทของไรซ์
Theorems in the foundations of mathematicsในทฤษฎีความสามารถในการคำนวณทฤษฎีบทของไรซ์กล่าวว่า คุณสมบัติทางความหมายที่ไม่ใช่คุณสมบัติพื้นฐานทั้งหมดของโปรแกรมนั้นไม่สามารถตัดสินได้คุณสมบัติทางความหมายคือคุณสมบัติเกี่ยวกับพฤติก...
อ่าน 1 นาทีปัญหาการจดจำเชิงซิมพลิเชียลคอมเพล็กซ์
Simplicial setsปัญหาการจดจำคอมเพล็กซ์เชิงซิมพลิเชียลเป็นปัญหาการคำนวณในโทโพโลยีเชิงพีชคณิตเมื่อกำหนด คอมเพล็กซ์ เชิงซิมพลิ เชียล แล้ว
อ่าน 1 นาทีรายชื่อปัญหาที่ไม่สามารถหาคำตอบได้
Computability theoryในทฤษฎีความสามารถในการคำนวณปัญหาที่ไม่สามารถตัดสินได้คือปัญหาการตัดสินใจที่ไม่มีวิธีการ (อัลกอริทึม) ที่มีประสิทธิภาพในการหาคำตอบที่ถูกต้อง กล่าวอย่างเป็นทางการมากขึ้น...
อ่าน 1 นาทีปัญหาการหยุด
1936 introductionsในทฤษฎีความสามารถในการคำนวณปัญหาการหยุดทำงานคือปัญหาการตัดสินใจในการพิจารณาจากคำอธิบายของโปรแกรมคอมพิวเตอร์และอินพุตใดๆ ว่าโปรแกรมจะหยุดทำงานในที่สุด (เสร็จสิ้นการทำงาน)...
อ่าน 1 นาทีปัญหาการสมมูล
Group theoryในพีชคณิตนามธรรมปัญหาการสมมูลกันของกลุ่มG ที่มี การนำเสนอที่กำหนดให้คือปัญหาการตัดสินใจในการพิจารณาว่า เมื่อกำหนดคำสองคำxและyในG แล้ว คำทั้งสองนั้นเป็นตัวแทนของสมาชิก...