Sửa đổi Luận đề Church-Turing
Chú ý: Bạn chưa đăng nhập và địa chỉ IP của bạn sẽ hiển thị công khai khi lưu các sửa đổi.
Bạn có thể tham gia như người biên soạn chuyên nghiệp và lâu dài ở Bách khoa Toàn thư Việt Nam, bằng cách đăng ký và đăng nhập - IP của bạn sẽ không bị công khai và có thêm nhiều lợi ích khác.
Các sửa đổi có thể được lùi lại. Xin hãy kiểm tra phần so sánh bên dưới để xác nhận lại những gì bạn muốn làm, sau đó lưu thay đổi ở dưới để hoàn tất việc lùi lại sửa đổi.
Bản hiện tại | Nội dung bạn nhập | ||
Dòng 1: | Dòng 1: | ||
{{mới}} | {{mới}} | ||
− | + | '''Luận đề Church-Turing''' khẳng định “bất kì hàm nào tính được bằng một thuật toán thì cũng tính được bằng máy Turing”. | |
− | '''Luận đề Church-Turing''' khẳng định “bất kì hàm nào tính được bằng một thuật toán thì cũng tính được bằng | ||
Nói một cách cụ thể, nếu một việc có thể được thực hiện bởi một thuật toán, thì tồn tại một máy Turing thực hiện việc này. Khẳng định ngược lại là dễ thấy: bản thân mỗi máy Turing là một thuật toán. | Nói một cách cụ thể, nếu một việc có thể được thực hiện bởi một thuật toán, thì tồn tại một máy Turing thực hiện việc này. Khẳng định ngược lại là dễ thấy: bản thân mỗi máy Turing là một thuật toán. |