(Không thể quyết định được Không thể quyết định Trong lý thuyết tính toán, một bài toán không thể quyết định là một dạng bài toán tính toán yêu cầu câu trả lời có / không đưa ra câu trả lời chính xác; nghĩa là, bất kỳ chương trình nào có thể sẽ đôi khi đưa ra câu trả lời sai hoặc chạy mãi mà không đưa ra được câu trả lời nào. https://en.wikipedia.org ›wiki› List_of_undecosystem_problems
Danh sách các vấn đề chưa thể giải quyết - Wikipedia
chỉ đơn giản có nghĩa là không thể tính toán được trong ngữ cảnh của một vấn đề quyết định, mà câu trả lời (hoặc kết quả đầu ra) là “true” hoặc “false”). Không thể tính toán được là một vấn đề mà không có thuật toán nào có thể sử dụng để giải quyết nó.
Vấn đề không tính toán được là gì?
Trong lý thuyết tính toán, một bài toán không thể quyết định là một dạng bài toán tính toányêu cầu câu trả lời có / không, nhưng không thể có bất kỳ chương trình máy tính nào luôn đưa ra câu trả lời đúng. câu trả lời; nghĩa là, bất kỳ chương trình khả thi nào cũng có lúc đưa ra câu trả lời sai hoặc chạy mãi mà không đưa ra được câu trả lời nào.
Số không tính toán được là gì?
Hằng số
Chaitin là một ví dụ (thực tế là một họ các ví dụ) về một số không tính toán được. Nóđại diện cho xác suất mà một chương trình được tạo ngẫu nhiên (trong một mô hình nhất định) sẽ tạm dừng. Nó có thể được tính toán gần đúng, nhưng (có thể) không có thuật toán nào để tính toán nó với độ chính xác tùy ý.
Vấn đề làtính toán được?
Một vấn đề toán họccó thể tính toán được nếu nó có thể được giải về nguyên tắc bằng một thiết bị máy tính. Một số từ đồng nghĩa phổ biến cho "tính toán được" là "có thể giải quyết", "có thể giải quyết" và "đệ quy". Hilbert tin rằng tất cả các vấn đề toán học đều có thể giải được, nhưng ở Gödel, Turing và Church năm 1930 đã chỉ ra rằng đây không phải là trường hợp.
Tập hợp rỗng có thể tính được không?
Tập trống làtính. Toàn bộ tập hợp các số tự nhiên có thể tính được. Mỗi số tự nhiên (như được định nghĩa trong lý thuyết tập hợp chuẩn) đều có thể tính được; nghĩa là, tập hợp các số tự nhiên nhỏ hơn một số tự nhiên đã cho là có thể tính được.
