Khoa học máy tính lý thuyết computability

3

Độ cứng tính toán của các chương trình máy tính của Real

Tôi thường nghe nói rằng bạn không thể viết chương trình để bắt lỗi trong trình duyệt web, hoặc trình xử lý văn bản hoặc hệ điều hành, bởi vì Định lý Rice: bất kỳ thuộc tính ngữ nghĩa nào cho ngôn ngữ hoàn chỉnh Turing là không thể giải …

10 computability

1

Hậu quả tính toán của định lý Điểm cố định trên của Friedman (không thể chứng minh)?

Harvey Friedman đã chỉ ra rằng có một kết quả điểm cố định gọn gàng không thể chứng minh được trong ZFC (lý thuyết tập hợp Zermelo-Frankel thông thường với Tiên đề lựa chọn). Nhiều logic hiện đại được xây dựng trên các toán tử điểm cố định, vì vậy …

10 computability lo.logic

1

Dự đoán (trong giới hạn) trình tự tính toán có khó như vấn đề tạm dừng không?

Câu hỏi : Dự đoán (như được định nghĩa dưới đây) trình tự tính toán có khó như vấn đề tạm dừng không? Xây dựng : "Dự đoán" có nghĩa là dự đoán thành công, có nghĩa là chỉ tạo ra nhiều lỗi chính xác trong nhiệm vụ cố gắng …

10 computability

1

Hệ thống phân cấp thống nhất của các vấn đề kéo dài sự phức tạp và hệ thống phân cấp tính toán

Có ai biết về một tập hợp các vấn đề thay đổi đồng đều và trải qua một trong những thứ bậc "thú vị" về độ phức tạp và khả năng tính toán không? Thật thú vị, ý tôi là, ví dụ, Phân cấp đa thức, Phân cấp số học …

10 cc.complexity-theory computability

1

Là sự phức tạp Kolmogorov của các bảng chân lý của vấn đề tạm dừng được biết là không có triệu chứng?

Đặt biểu thị chuỗi có độ dài tương ứng với bảng chân lý của bài toán tạm dừng cho các đầu vào có độ dài .HALTnHALTnHALT_n2n2n2^nnnn Nếu chuỗi độ phức tạp Kolmogorov là , thì một trong những chuỗi lời khuyên sẽ được sử dụng vô cùng thường xuyên và …

10 cc.complexity-theory reference-request computability lower-bounds

3

Xác định các hàm đệ quy nguyên thủy trên các kiểu dữ liệu chung

Các hàm đệ quy nguyên thủy được xác định trên các số tự nhiên. Tuy nhiên, có vẻ như khái niệm này nên khái quát hóa cho các loại dữ liệu khác, cho phép người ta nói về các hàm đệ quy nguyên thủy mà ánh xạ liệt kê thành …

9 computability

2

Bằng chứng về độ phức tạp Kolmogorov là không thể tính được bằng cách sử dụng các mức giảm

Tôi đang tìm kiếm một bằng chứng cho thấy sự phức tạp của Kolmogorov là không thể tính toán được bằng cách sử dụng một giảm từ một vấn đề không thể giải quyết khác. Bằng chứng phổ biến là sự chính thức hóa nghịch lý của Berry chứ không …

9 computability reductions kolmogorov-complexity

3

Làm thế nào để tính toán Lambda bình thường hóa mạnh mẽ mà không cần hệ thống loại?

Có bất kỳ hệ thống tương tự như tính toán lambda đang bình thường hóa mạnh mẽ, mà không cần phải thêm một hệ thống loại trên nó không?

9 pl.programming-languages computability lambda-calculus functional-programming

3

Là lớp của các hàm đệ quy nguyên thủy có tương đương với lớp các hàm mà Fetus chứng minh là chấm dứt không?

Thai nhi, nếu bạn chưa nghe về nó, có thể đọc ở đây . Nó sử dụng một hệ thống 'ma trận gọi' và 'biểu đồ cuộc gọi' để tìm tất cả 'hành vi đệ quy' của các cuộc gọi đệ quy trong một hàm. Để chỉ ra rằng một …

9 lo.logic computability functional-programming

2

Là siêu không ổn định có thể?

Có những vấn đề có thể quyết định được, có một số vấn đề không thể giải quyết được, có khả năng bán được, v.v. Trong trường hợp này, tôi tự hỏi liệu một vấn đề có thể là siêu không thể giải quyết được. Điều này có nghĩa (ít …

9 computability decidability undecidability

2

Bị ràng buộc thấp hơn về số lượng các cuộc gọi tiên tri để giải quyết trường hợp của vấn đề tạm dừng

Tôi đã gặp câu hỏi sau đây, đó là một bài tập dễ dàng (spoiler bên dưới). Chúng tôi được cung cấp trường hợp của sự cố tạm dừng (ví dụ: TM ) và chúng tôi cần quyết định chính xác vấn đề nào trong số đó dừng lại trên …

9 computability lower-bounds

2

Kết quả phức tạp cho các hàm đệ quy cấp dưới?

Bị thu hút bởi câu hỏi thú vị của Chris Pressey về các hàm đệ quy sơ cấp , tôi đã khám phá nhiều hơn và không thể tìm thấy câu trả lời cho câu hỏi này trên web. Các chức năng đệ quy tiểu tương ứng độc đáo cho …

9 cc.complexity-theory reference-request complexity-classes computability

1

Một bằng chứng đơn giản mà decidability của typability trong hệ thống F (

Giả sử chúng ta không biết kết quả Joe B. Wells từ năm 1994 mà cả typability và kiểm tra kiểu là undecidable trong hệ thống F (AKA ). Trong phép tính Lambda của Barendregt với các loại (1992) tôi đã tìm thấy một bằng chứng do Malecki 1989 cho …

9 lo.logic computability type-theory lambda-calculus type-inference

3

Độ quyết định của số siêu việt

Tôi có một câu hỏi, câu trả lời của ai có lẽ đã được biết đến, nhưng dường như tôi không thể tìm thấy bất cứ điều gì có ý nghĩa sau một chút tìm kiếm, vì vậy tôi sẽ đánh giá cao sự giúp đỡ nào đó. Câu hỏi …

9 computability computable-analysis

5

Tính toán tự nhiên dựa trên các lực cơ bản

Các ví dụ nổi tiếng về tính toán lấy cảm hứng từ hiện tượng tự nhiên là máy tính lượng tử và máy tính DNA. Những gì được biết về tiềm năng và / hoặc hạn chế của điện toán với luật hoặc lực hấp dẫn của Maxwell? Đó là, …

9 computability machine-models physics natural-computing

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