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

Theo hiểu biết của tôi, vấn đề tạm dừng hỏi liệu có tồn tại một chương trình quyết định xem chương trình đang được thử nghiệm hay không, được cung cấp một số dữ liệu đầu vào (bất kể đó là chương trình nào, hoặc dữ liệu đầu vào nào …

8 computability  halting-problem 

Theo luận án của Church-Turing, không thể thiết kế một thuật toán để quyết định vấn đề tạm dừng. Liệu thuật toán từ trong ngữ cảnh này có bao gồm trí thông minh nhân tạo hay không, nghĩa là luận án Church-Turing cũng áp dụng cho trí tuệ nhân tạo? …

8 computability  artificial-intelligence  halting-problem  church-turing-thesis 

Khi tôi lần đầu tiên nghe về những điều này, tôi đã rất thích thú vì tôi nghĩ rằng nó thực sự đặt ra giới hạn cho toán học và khoa học nói chung. Nhưng làm thế nào thực tế có liên quan là những điều này? Đối với vấn …

8 computability  logic  halting-problem  applied-theory 

Tôi đã thấy mình hơi bối rối với hướng giảm được sử dụng để cho thấy rằng một số ngôn ngữ nhất định không được đệ quy. Ví dụ: giả sử chúng tôi muốn xác định xem ( ) là không thể giải quyết được. Tôi biết chúng ta có …

7 computability  turing-machines  reductions  halting-problem 

Đây là những gì được biết về vấn đề tạm dừng và bán quyết định: - Vấn đề tạm dừng nói rằng đối với đầu vào x và máy H đã cho, chúng ta không thể nói liệu máy H có dừng hay không trên đầu vào x. Một ngôn …

7 computability  turing-machines  halting-problem  semi-decidability 

Xem xét vấn đề lấy máy Turing đầu vào và xác định xem ô cuối cùng là hay sau khi dừng tính toán. Trong trường hợp nó viết một cái gì đó khác hoặc không dừng lại, bạn được phép đưa ra bất kỳ câu trả lời nào (nhưng bạn …

7 undecidability  decision-problem  halting-problem 

Tôi đang gặp khó khăn khi xem giải pháp của Turing cho vấn đề dừng lại với tư cách là một nhà logic học, thay vì là một kỹ sư. Dưới đây là sự hiểu biết của tôi về vấn đề dừng: Để cho MMM là tập hợp của tất …

7 computability  halting-problem