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

1

Ngừng vấn đề, bộ không tính toán: chứng minh toán học phổ biến?

Được biết, với một bộ thuật toán có thể đếm được (đặc trưng bởi số Gôdel), chúng ta không thể tính toán (xây dựng thuật toán nhị phân kiểm tra thuộc) tất cả các tập con của N. Một bằng chứng có thể được tóm tắt là: nếu chúng ta …

29 computability  halting-problem 

---

1

Ngôn ngữ lập trình với các chức năng chính

Có bất kỳ ngôn ngữ lập trình (chức năng?) Trong đó tất cả các chức năng có dạng chính tắc không? Nghĩa là, bất kỳ hai hàm nào trả về cùng một giá trị cho tất cả các bộ đầu vào được biểu diễn theo cùng một cách, ví dụ: …

29 computability  pl.programming-languages  functional-programming  function 

---

4

Một máy Turing xác suất có thể giải quyết vấn đề tạm dừng?

Một máy tính được cung cấp một luồng vô hạn các bit thực sự ngẫu nhiên mạnh hơn một máy tính không có. Câu hỏi là: nó có đủ mạnh để giải quyết vấn đề tạm dừng không? Đó là, một máy tính xác suất có thể xác định liệu …

29 computability  randomness  turing-machines 

---

2

Hệ thống F có thể không tính toán những chức năng nào?

Trong bài viết trên wikipedia về Turing Hoàn thiện này có ghi rằng: Phép tính lambda chưa được đánh dấu là Turing hoàn chỉnh, nhưng nhiều phép tính lambda được gõ, bao gồm cả Hệ thống F, thì không. Giá trị của các hệ thống được nhập dựa trên khả …

28 computability  turing-machines  haskell 

---

6

Sức mạnh tính toán tối đa của việc thực hiện C

Nếu chúng ta đi theo cuốn sách (hoặc bất kỳ phiên bản nào khác của đặc tả ngôn ngữ nếu bạn thích), thì việc triển khai C có thể có bao nhiêu sức mạnh tính toán? Lưu ý rằng việc triển khai của C C có một ý nghĩa kỹ …

28 computability  turing-machines  pl.programming-languages  recreational 

---

6

Làm thế nào là số thực được chỉ định trong tính toán?

Đây có thể là một câu hỏi cơ bản, nhưng tôi đã đọc và cố gắng tìm hiểu các bài báo về các chủ đề như tính toán cân bằng Nash và kiểm tra suy thoái tuyến tính và không chắc chắn về cách các số thực được chỉ định …

27 cc.complexity-theory  computability  na.numerical-analysis  computing-over-reals  computable-analysis 

---

4

Định lý của Giáo hội và Định lý bất toàn của Gôdel

Gần đây tôi đã đọc về một số ý tưởng và lịch sử của công trình đột phá được thực hiện bởi các nhà logic học và toán học khác nhau về khả năng tính toán. Trong khi các khái niệm riêng lẻ khá rõ ràng đối với tôi, tôi …

27 lo.logic  computability  turing-machines 

---

4

Có một mô hình tính toán không hoàn chỉnh Turing nào mà vấn đề tạm dừng là không thể giải quyết được không?

Tôi không thể nghĩ về bất kỳ mô hình như vậy, có thể một số hình thức tính toán lambda gõ? một số tự động tế bào tiểu học? Điều này gần như sẽ bác bỏ "Nguyên tắc tương đương tính toán" của Wolfram: Hầu như tất cả các quy …

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

---

2

Ở mức độ nào một thuật toán có thể dự đoán độ phức tạp thời gian của một chương trình đầu vào tùy ý?

Các vấn đề ngăn chặn khẳng định rằng nó là không thể để viết một chương trình mà có thể xác định nếu một tạm dừng chương trình, cho tất cả các chương trình đầu vào càng tốt . Tuy nhiên, tôi chắc chắn có thể viết một chương trình …

23 computability  time-complexity  formal-methods  se.software-engineering 

---

3

Có một kết quả trong lý thuyết tính toán mà không tương đối?

Tôi đang đọc bài viết Những bước đầu tiên trong lý thuyết tính toán tổng hợp của Andrej Bauer . Trong phần kết luận, ông lưu ý rằng Phép tiên đề của chúng tôi có giới hạn của nó: nó không thể chứng minh bất kỳ kết quả nào trong …

22 computability  relativization 

---

1

Lớp chức năng tính toán bằng Coq

Vì nó không cho phép tính toán giảm dần, Coq không nhất thiết phải hoàn thành Turing. Lớp hàm mà Coq có thể tính là gì? (có một đặc tính thú vị của chúng?)

22 computability  pl.programming-languages  coq 

---

3

Độ phức tạp của xếp hạng tenor trên một trường vô hạn

Một tenxơ là sự khái quát hóa các vectơ và ma trận lên các chiều cao hơn và thứ hạng của một tenxơ cũng khái quát hóa thứ hạng của một ma trận. Cụ thể, thứ hạng của một tensor là số lượng tối thiểu của bậc một tensors rằng …

22 ds.algorithms  reference-request  computability  tensor-rank 

---

5

Vấn đề tính toán giảng dạy

Tôi gặp khó khăn trong việc giảng dạy các khái niệm về chức năng tính toán. Tôi đã cố gắng phát triển ý tưởng tại sao các nhà nghiên cứu như Hilbert / Ackermann / Godel / Turing / Church / ... đã phát minh ra khái niệm 'khả năng …

22 soft-question  computability  turing-machines  teaching 

---

3

Nếu một cỗ máy trừu tượng có thể tự mô phỏng, điều đó có làm cho nó Turing hoàn thành không?

Ví dụ, trong các ngôn ngữ lập trình, người ta thường viết trình biên dịch / trình thông dịch X-in-X, nhưng ở cấp độ tổng quát hơn, nhiều hệ thống hoàn chỉnh Turing có thể tự mô phỏng theo những cách ấn tượng (ví dụ: mô phỏng Trò chơi cuộc …

20 computability  automata-theory  turing-machines 

---

2

-norm bảo quản máy Turing

Đọc một số chủ đề gần đây về điện toán lượng tử ( ở đây , ở đây và ở đây ), khiến tôi nhớ một câu hỏi thú vị về sức mạnh của một loại máy bảo quản -norm.ℓpℓp\ell_p Đối với những người làm việc trong lý thuyết phức …

20 cc.complexity-theory  quantum-computing  computability  turing-machines  norms 

---