Câu hỏi được gắn thẻ «halting-problem»

Một số vấn đề nhất định được biết là không thể giải quyết được, tuy nhiên vẫn có thể đạt được một số tiến bộ trong việc giải quyết chúng. Ví dụ, vấn đề tạm dừng là không thể giải quyết được, nhưng tiến trình thực tế có thể được …

48 computability  approximation-algorithms  parameterized-complexity  halting-problem 

Tôi biết rằng vấn đề tạm dừng nói chung là không thể giải quyết được nhưng có một số máy Turing rõ ràng đã dừng lại và một số rõ ràng là không. Trong số tất cả các máy turing có thể là cái nhỏ nhất mà không ai có …

31 halting-problem 

Được biết, với một bộ thuật toán có thể đếm được (đặc trưng bởi số Gôdel), chúng ta không thể tính toán (xây dựng thuật toán nhị phân kiểm tra thuộc) tất cả các tập con của N. Một bằng chứng có thể được tóm tắt là: nếu chúng ta …

29 computability  halting-problem 

Tôi đang tìm kiếm để có được một câu trả lời chắc chắn cho câu hỏi tiêu đề. Có một bộ quy tắc chuyển bất kỳ chương trình nào thành cấu hình của các phần hữu hạn trên một bảng vô hạn, sao cho nếu đen và trắng chỉ chơi …

16 computability  turing-machines  board-games  halting-problem  recreational 

Tôi đã tự hỏi nếu có một thư mục tốt về các nỗ lực để điều tra phỏng đoán Collatz là một ngữ pháp chính thức? (hoặc bất kỳ nỗ lực nào khác trong cộng đồng CS để đối phó với loại hiện tượng chung chung này & các thuộc …

16 fl.formal-languages  nt.number-theory  halting-problem 

Tôi quan tâm đến vấn đề "gần nhất" (và "phức tạp nhất") đối với phỏng đoán Collatz đã được giải quyết thành công (mà Erdos nổi tiếng nói rằng "toán học chưa chín muồi cho những vấn đề như vậy"). Nó đã được chứng minh rằng một lớp các vấn …

14 reference-request  open-problem  nt.number-theory  halting-problem  computability 

Có một máy Turing nào có thể quyết định liệu hầu hết các máy Turing khác có dừng lại không? Giả sử chúng ta có một số phép liệt kê của máy Turing và một số khái niệm về "kích thước" của một tập hợp các số tự nhiênvà chúng …

12 turing-machines  halting-problem 

Lý thuyết kiểu xây dựng với sự giải thích cơ bản của nó dưới sự tương ứng của cà ri howard chỉ bao gồm các hàm tổng số, tính toán được. Trong tài liệu, một số người đã nói về việc sử dụng "lý thuyết loại tính toán" để thể …

10 lo.logic  type-theory  oracles  halting-problem 

Một dạng yếu hơn của Định lý bất toàn đầu tiên của Gôdel, bằng chứng trực tiếp về cách thức của Gôdel dài, liên quan và ở một nơi nào đó khá phản trực giác, có bằng chứng đơn giản và trực quan dựa trên tính không ổn định của …

9 cc.complexity-theory  lo.logic  halting-problem 

Tôi có một câu hỏi ngây thơ: có tồn tại một máy Turing mà sự chấm dứt của nó là đúng nhưng không thể chứng minh được bằng bất kỳ lý thuyết axiomatizable tự nhiên, nhất quán và hữu hạn nào không? Tôi yêu cầu một bằng chứng tồn tại …

9 turing-machines  proof-theory  halting-problem 

Vì cả hai bằng chứng đều sử dụng đối số đường chéo, tôi tự hỏi liệu có một liên kết tối nghĩa giữa sự tồn tại của các tập hợp vô hạn không thể đếm được và tính không ổn định của vấn đề tạm dừng. Vấn đề tạm dừng …

9 halting-problem