Khoa học máy tính church-turing-thesis

2

Luận án Giáo hội và sức mạnh tính toán của các mạng lưới thần kinh

Luận án Church-Turing nói rằng mọi thứ có thể được tính toán về mặt vật lý đều có thể được tính toán trên Máy Turing. Bài báo "Tính toán tương tự qua các mạng thần kinh" (Siegelmannn và Sontag, Khoa học máy tính lý thuyết , 131: 331 trộm360, 1994; …

29 computability turing-machines church-turing-thesis

2

Có ngôn ngữ lập trình nào sử dụng các hàm đệ quy chung làm cơ sở không?

Đây là một câu hỏi ngây thơ và, do đó, có thể là sai, vì vậy xin lỗi trước! Quan điểm của tôi là Máy Turing có thể được coi là cơ sở tính toán cho các ngôn ngữ lập trình thủ tục / mệnh lệnh. Tương tự, phép tính …

23 programming-languages mathematical-foundations church-turing-thesis

3

Có bất kỳ ngôn ngữ quyết định Turing không thể đếm được?

Có rất nhiều (và ý tôi là nhiều) ngôn ngữ có thể đếm được là Turing-decidable. Bất kỳ ngôn ngữ không thể đếm được có thể là Turing có thể quyết định?

17 formal-languages turing-machines regular-languages church-turing-thesis

5

Máy Turing + giãn thời gian = giải quyết vấn đề tạm dừng?

Có những không gian vũ trụ tương đối tính (ví dụ như tàu vũ trụ MH; xem Hogarth 1994) trong đó một thế giới của thời gian vô hạn có thể được chứa trong quá khứ của một người quan sát hữu hạn. Điều này có nghĩa là một người …

15 turing-machines halting-problem church-turing-thesis hypercomputation

3

Mọi thuật toán tự sửa đổi có thể được mô hình hóa bằng thuật toán không tự sửa đổi không?

Nếu chúng ta có bất kỳ chương trình máy tính tùy ý nào có thể sửa đổi hướng dẫn của nó, liệu có thể mô phỏng chương trình đó với một chương trình không thể sửa đổi hướng dẫn của nó không? Biên tập: Tôi chưa quen với stackexchange nên …

12 computability computation-models turing-completeness church-turing-thesis

2

Rõ ràng, đầy đủ, bằng chứng rằng một ngôn ngữ là Turing Compete?

Tôi đã thấy các trang web có ý định "chứng minh" rằng HTML5 + CSS là Turing Complete. Tôi đã thấy các trang web có ý định "chứng minh" rằng SQL là Turing Complete. Tôi đã thấy một loạt các trang web có ý định "giải thích" ý nghĩa của …

10 computability turing-machines automata turing-completeness church-turing-thesis

2

Máy tính tương tự và luận án Church-Turing

Tôi muốn trích dẫn từ Nielsen & Chuang, Tính toán lượng tử và Thông tin lượng tử, ấn bản kỷ niệm 10 năm, trang 5 (nhấn mạnh của tôi): Một lớp các thách thức đối với luận điểm mạnh mẽ của Giáo hội Turing xuất phát từ lĩnh vực tính …

9 computation-models church-turing-thesis

2

Bài viết này có ngụ ý rằng Turing-Computability không giống với tính toán có thể tính toán hiệu quả không?

Trước hết, tôi xin lỗi nếu điều này đã được hỏi, nhưng tôi thực sự không tìm thấy gì. Tôi đã tình cờ thấy bài viết này . Nó nói rằng có một vấn đề mà chỉ Máy tính lượng tử có thể giải quyết. Theo hiểu biết của tôi, …

8 turing-machines quantum-computing church-turing-thesis

1

PDE-Turing và vật lý

Khi tôi đọc về luận án Church-Turing, dường như có một tuyên bố chung rằng "thực tế vật lý là Turing có thể tính toán được". Cơ sở cho yêu cầu này là gì? Có bất kỳ kết quả lý thuyết dọc theo những dòng này? Đối với bối cảnh, …

8 computability simulation church-turing-thesis hypercomputation

1

Có phải luận án Church-Turing cũng áp dụng cho trí tuệ nhân tạo?

Theo luận án của Church-Turing, không thể thiết kế một thuật toán để quyết định vấn đề tạm dừng. Liệu thuật toán từ trong ngữ cảnh này có bao gồm trí thông minh nhân tạo hay không, nghĩa là luận án Church-Turing cũng áp dụng cho trí tuệ nhân tạo? …

8 computability artificial-intelligence halting-problem church-turing-thesis

2

Việc gõ tương ứng với máy Turing là gì?

Tôi hy vọng câu hỏi của tôi có ý nghĩa: Bắt đầu với tiền đề rằng việc tháo gỡ λλ\lambda tính toán tương đương với sức mạnh của máy Turing, với những gì trong máy Turing không thêm các loại vào λλ\lambda tính toán tương ứng? Có một số loại …

8 turing-machines lambda-calculus type-theory church-turing-thesis

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