Câu hỏi được gắn thẻ «church-turing-thesis»

Paul Wegner và Dina Goldin trong hơn một thập kỷ đã xuất bản các bài báo và sách tranh luận chủ yếu rằng luận án Church-Turing thường bị xuyên tạc trong cộng đồng Lý thuyết CS và các nơi khác. Đó là, nó được trình bày dưới dạng bao gồm …

38 computability  turing-machines  machine-models  church-turing-thesis 

Một trong những câu hỏi được thảo luận nhiều nhất trên trang web là Điều gì có nghĩa là để bác bỏ Luận án Giáo hội . Điều này một phần là do Dershowitz và Gurevich đã xuất bản một bằng chứng về Luận án Giáo hội là Bản tin …

35 soft-question  lo.logic  church-turing-thesis 

Tôi đã có một cuộc thảo luận với một người bạn gần đây (một người ủng hộ các ngôn ngữ được gõ mạnh). Ông đã bình luận: Các nhà phát minh của Lambda Tính luôn có ý định đánh máy nó. Bây giờ chúng ta có thể thấy rằng Giáo …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

Đây có thể là một câu hỏi ngây thơ, nhưng ở đây đi. (Chỉnh sửa - nó không nhận được sự ủng hộ, nhưng cũng không có ai đưa ra câu trả lời; có lẽ câu hỏi khó hơn, tối nghĩa hoặc không rõ ràng hơn tôi nghĩ?) Định lý …

11 lo.logic  computability  church-turing-thesis 

Sự hiểu biết của tôi về luận án Church-Turing là: Nó đặt giới hạn cho những gì có thể được tính toán bởi bất kỳ quy trình rời rạc và hữu hạn nào. Mặc dù vẫn là một luận điểm, không phải là một định lý, nếu nó không được …

8 church-turing-thesis  hypercomputation