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

15

Một vấn đề đơn giản mà tính quyết định không được biết đến

Tôi đang chuẩn bị cho một cuộc nói chuyện nhằm vào các chuyên ngành toán học đại học, và như một phần của nó, tôi đang xem xét thảo luận về khái niệm về tính quyết định. Tôi muốn đưa ra một ví dụ về một vấn đề mà hiện …

92 computability  decidability 

---

10

Điều đó có nghĩa gì khi bác bỏ luận điểm Church-Turing?

Xin lỗi cho tiêu đề hấp dẫn. Tôi muốn hiểu, người ta phải làm gì để từ chối luận điểm Church-Turing? Ở đâu đó tôi đọc nó không thể làm được về mặt toán học! Tại sao? Turing, Rosser v.v ... đã sử dụng các thuật ngữ khác nhau để …

83 computability  proofs  hypercomputation 

---

5

Mối quan hệ giữa máy Turing và phép tính Lambda?

Có mối quan hệ nào giữa Máy Turing và máy tính Lambda - hay chúng chỉ xảy ra để phát sinh cùng một lúc?

49 computability  lambda-calculus  turing-machines 

---

3

Có một khái niệm hợp lý về một thuật toán gần đúng cho một vấn đề không thể giải quyết được không?

Một số vấn đề nhất định được biết là không thể giải quyết được, tuy nhiên vẫn có thể đạt được một số tiến bộ trong việc giải quyết chúng. Ví dụ, vấn đề tạm dừng là không thể giải quyết được, nhưng tiến trình thực tế có thể được …

48 computability  approximation-algorithms  parameterized-complexity  halting-problem 

---

2

Lý thuyết khả thi: sự khác biệt về sức mạnh giữa tính toán Lambda và Máy Turing

Tôi có ba câu hỏi con liên quan, được đánh dấu bằng các gạch đầu dòng bên dưới (không, chúng không thể bị chia tách, nếu bạn đang tự hỏi). Ở đây , Andrej Bauer đã viết rằng một số chức năng có thể thực hiện được thông qua máy …

48 computability  lambda-calculus  turing-machines 

---

5

Lý do lịch sử cho việc áp dụng Turing Machine làm mô hình tính toán chính.

Theo hiểu biết của tôi, mô hình của Turing đã trở thành "tiêu chuẩn" khi mô tả tính toán. Tôi muốn biết lý do tại sao lại như vậy - đó là lý do tại sao mô hình TM trở nên được sử dụng rộng rãi hơn so với các …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

---

2

Bảng chữ cái của máy Turing băng đơn

Can mỗi chức năng đó là tính toán trong thời gian t trên một đơn băng máy Turing sử dụng một bảng chữ cái kích thước k = O ( 1 ) được tính trong thời gian O ( t ) trên một single-băng máy Turing sử dụng một bảng …

40 computability  turing-machines 

---

4

Có bằng chứng nào về tính không ổn định của vấn đề tạm dừng không phụ thuộc vào tự tham chiếu hoặc đường chéo?

Đây là một câu hỏi liên quan đến câu hỏi này . Đặt nó một lần nữa ở dạng đơn giản hơn nhiều sau nhiều cuộc thảo luận ở đó, rằng nó cảm thấy giống như một câu hỏi hoàn toàn khác. Bằng chứng cổ điển về tính không ổn …

40 computability  lo.logic  proofs 

---

7

Trình tạo số ngẫu nhiên thực sự: Turing tính toán?

Tôi đang tìm kiếm một câu trả lời dứt khoát về việc liệu việc tạo ra các số "thực sự ngẫu nhiên" có phải là tính toán hay không. Tôi không biết làm thế nào để diễn đạt chính xác điều này. Câu hỏi StackExchange này về "các thuật toán …

39 reference-request  computability  turing-machines  randomness 

---

7

Khả năng ứng dụng luận án Church-Turing vào các mô hình tính toán tương tác

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 

---

9

Sự khác biệt giữa tính không xác định và tính ngẫu nhiên là gì?

Gần đây tôi đã nghe điều này - "Một máy không xác định không giống như một máy xác suất. Nói một cách thô thiển, một máy không xác định là một máy xác suất trong đó xác suất chuyển tiếp không được biết đến". Tôi cảm thấy như thể …

38 automata-theory  randomness  computability 

---

7

Chúng ta biết gì về các chương trình có thể chứng minh chính xác?

Sự phức tạp ngày càng tăng của các chương trình máy tính và các máy tính có vị trí ngày càng quan trọng trong xã hội khiến tôi tự hỏi tại sao chúng ta vẫn không sử dụng chung các ngôn ngữ lập trình mà bạn phải đưa ra bằng …

37 reference-request  complexity-classes  computability  pl.programming-languages 

---

4

Sự tương ứng giữa các lớp phức tạp và logic

Tôi đã tham gia một lớp học về Khả năng tính toán và Logic. Tài liệu bao gồm một mối tương quan giữa các lớp phức tạp / tính toán (R, RE, co-RE, P, NP, Logspace, ...) và Logics (Tính toán dự đoán, logic thứ tự đầu tiên, ...). Mối …

33 cc.complexity-theory  lo.logic  computability 

---

5

Ngôn ngữ lập trình để tính toán hiệu quả

Không thể viết một ngôn ngữ lập trình cho phép tất cả các máy dừng trên tất cả các đầu vào và không có ngôn ngữ nào khác. Tuy nhiên, dường như rất dễ để định nghĩa một ngôn ngữ lập trình như vậy cho bất kỳ lớp phức tạp …

32 cc.complexity-theory  computability  pl.programming-languages 

---

6

Máy Turing phổ dụng 2 trạng thái không gây tranh cãi nhất là gì?

Tôi muốn mã hóa một máy Turing đơn giản theo luật chơi bài. Tôi muốn biến nó thành một cỗ máy Turing phổ quát để chứng minh sự hoàn chỉnh của Turing. Cho đến nay tôi đã tạo một trạng thái trò chơi mã hóa máy Turing 2 trạng thái, …

31 computability  turing-machines  universal-computation 

---