Sự khác biệt giữa tính quyết định và tính toán là gì?

Nếu chúng khác nhau, các vấn đề điển hình trong mỗi vấn đề không thuộc về loại khác là gì? Hoặc là loại trừ lẫn nhau hoặc người này hoàn toàn nắm bắt được người kia?

Một hàm trên các chuỗi hữu hạn được gọi là tính toán nếu nó có thể được tính toán bởi một chương trình (chính thức hơn là máy Turing).

Một tập hợp các chuỗi hữu hạn có thể tính toán được nếu nó là vấn đề thành viên trong tập hợp đó (đã cho $x$, Là $x \in L$?) có thể được quyết định theo thuật toán (chính thức hơn bằng cách sử dụng máy Turing).

Chúng được sử dụng cho các loại đối tượng khác nhau.

Từ "tính toán" có thể được sử dụng cho một bộ. Khi chúng ta nói rằng một tập hợp có thể tính toán được, chúng tôi có nghĩa là tập hợp có thể quyết định được (điều này tương đương với việc nói rằng hàm đặc trưng của tập hợp có thể tính toán được).

Thật vô nghĩa khi nói một chức năng là có thể quyết định.