Câu hỏi được gắn thẻ «computability»

Các câu hỏi liên quan đến lý thuyết tính toán, còn gọi là lý thuyết đệ quy



5
Có bất kỳ mối quan hệ cụ thể nào giữa định lý không hoàn chỉnh của Gôdel, vấn đề tạm dừng và máy Turing phổ dụng không?
Tôi đã luôn nghĩ mơ hồ rằng câu trả lời cho câu hỏi trên là khẳng định dọc theo các dòng sau. Định lý không hoàn chỉnh của Gôdel và tính không ổn định của vấn đề tạm dừng vừa là kết quả tiêu cực về tính quyết định vừa …

10
Sức mạnh tính toán của con người: Con người có thể quyết định vấn đề tạm dừng trên Turing Machines không?
Chúng tôi biết vấn đề tạm dừng (trên Turing Machines) là không thể giải quyết được đối với Turing Machines. Có một số nghiên cứu về việc trí óc con người có thể giải quyết vấn đề này tốt như thế nào, có thể được hỗ trợ bởi Turing Machines …








9
Là C thực sự Turing-hoàn thành?
Tôi đã cố gắng giải thích với ai đó rằng C là Turing-Complete và nhận ra rằng tôi thực sự không biết liệu đó có thực sự là Turing hoàn chỉnh hay không. (C như trong ngữ nghĩa trừu tượng, không phải như trong một triển khai thực tế.) Câu …




Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.