Tôi đang trả lời một trong hai câu hỏi của bạn, liên quan đến vấn đề tạm dừng.
Đầu tiên, tính không ổn định của vấn đề tạm dừng không nói rõ rằng bạn không thể quyết định liệu một TM đã cho không dừng lại. Nó nói rằng không có thuật toán chung nào có thể quyết định điều đó cho tất cả TM.
Đây là một tuyên bố về các mô hình của chúng tôi về những gì tạo nên tính toán. Nhưng, theo luận điểm của Turing-Church, đó là tất cả những gì chúng ta phải thể hiện sự tính toán.
Về sự liên quan, nó dựa trên các máy Turing được chế tạo nhân tạo. Nhưng sau đó, tất cả các TM đều khá giả tạo và được xây dựng chỉ để khẳng định một số sự thật về tính toán. Cho dù một số TM có liên quan nhiều hơn những người khác trong thực tế cũng là một câu hỏi quan trọng như giới tính của các thiên thần, hoặc số lượng chúng có thể đứng trên đầu kim.
Tính không ổn định của vấn đề tạm dừng cho chúng ta biết rằng có những câu hỏi chung không thể giải quyết bằng một kỹ thuật chung áp dụng cho tất cả các trường hợp. Ý tôi là câu hỏi chung là một câu hỏi tùy thuộc vào một số tham số, trong đó câu trả lời được tìm thấy cho một số giá trị của các tham số.
Hãy nhớ lại rằng mục đích của phần lớn toán học của chúng tôi là tìm ra các kỹ thuật chung để giải quyết một vấn đề gia đình. Một ví dụ điển hình là độ phân giải của phương trình. Tính không ổn định của vấn đề tạm dừng cho chúng ta biết rằng điều này không phải lúc nào cũng có thể.
Ví dụ, nó có thể được sử dụng để chỉ ra rằng không có kỹ thuật chung để quyết định liệu một ngữ pháp không ngữ cảnh có mơ hồ hay không.
Tuy nhiên, câu hỏi của bạn là một câu hỏi hợp lệ. Có thể đó là một vấn đề không thể giải quyết được vì bạn chỉ làm cho nó hơi quá chung chung. Có thể, bằng cách hạn chế nó một chút, bạn có thể làm cho nó có thể quyết định cho phân họ hữu ích và vẫn đủ lớn.
Tôi không có một ví dụ ngoạn mục trong tâm trí, nhưng tôi chắc chắn phải có một số.
Tôi nhớ lại một trường hợp thực sự của một vấn đề phân tích chương trình đã được chứng minh NP-đầy đủ (trừ khi nó không thể giải quyết được, tôi không nhớ rõ). Chống lại tất cả lời khuyên, một nghiên cứu sinh quyết định giải quyết nó bằng mọi cách. Ông thực sự đã có thể chỉ ra rằng một số hạn chế đối với vấn đề, không quan trọng lắm trong thực tế, đã biến nó thành một vấn đề rất dễ xử lý, do đó cho phép sử dụng các công cụ phân tích và tối ưu hóa chương trình khác nhau.