Không thể phán định vấn đề
Vẻ ngoài
Này điều mụcYêu cầu bổ sung càng nhiềuNơi phát ra.(2018 năm 3 nguyệt 12 ngày) |
Này điều mụcNhưng tham chiếuTiếng Anh duy cơ bách khoaTương ứng điều mục tới mở rộng. |
Không thể phán định vấn đềLàNhưng tính toán tính lý luậnCùngTính toán phức tạp tính lý luậnTrung định nghĩa một loạiTính quyết định vấn đề,Này loại vấn đề vô pháp luôn là dùng chỉ một thuật toán đến ra chính xác chính là / không đáp án.Quay xong vấn đềLà loại này vấn đề một cái đại biểu: Đối với quay xong vấn đề, không có thuật toán có thể chính xác phán định tùy ý trình tự hay không sẽ ngưng hẳn vận hành.[1]
Bối cảnh
[Biên tập]Tính quyết định vấn đề là một loại căn cứ từ một cái vô hạn tập hợp trúng tuyển lấy đưa vào giá trị, đến ra là hoặc không trả lời vấn đề. Bởi vậy, căn cứ truyền thống định nghĩa, tìm kiếm đáp án vìLàĐưa vào giá trị chi tập hợp vấn đề, cùng tính quyết định vấn đề đồng giá.
Cùng Gödel định lý bất toàn quan hệ
[Biên tập]Không thể phán định vấn đề nêu ví dụ
[Biên tập]Tham khảo tư liệu
[Biên tập]- ^sen., Luo; (1962-), Xu liu tong,; juan., Yang; bin., Wu; la sâm.; (1962-), từ sáu thông,; dương quyên.; Ngô bân. Li san shu xue ji qi ying yong.Ly tán toán học và ứng dụng.Bei jing: Ji xie gong ye chu ban she. 2015.ISBN9787111453826.OCLC 917593230.