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

Tôi hiểu rằng tính đầy đủ của Turing đòi hỏi bộ nhớ không giới hạn và thời gian không giới hạn. Tuy nhiên, có một lượng nguyên tử hữu hạn trong dịch vụ này do đó làm cho bộ nhớ bị giới hạn. Ví dụ, mặc dù là không hợp …

17 computability  upper-bounds 

Giả sử bạn xây dựng một máy tính sẽ tính toán trạng thái của tất cả các nguyên tử trong Vũ trụ tại một thời điểm nhất định trong tương lai. Bởi vì, theo định nghĩa, Vũ trụ là tất cả mọi thứ tồn tại (và bất cứ thứ gì …

17 computability 

Có một định lý chung sẽ nêu rõ, với việc vệ sinh đúng cách, rằng hầu hết các kết quả được biết đến liên quan đến việc sử dụng số thực có thể được sử dụng khi chỉ xem xét các số thực có thể tính toán được không? Hoặc …

16 computability  computing-over-reals  topology  model-theory 

Gần đây tôi tình cờ thấy một cấu trúc lý thuyết khá thú vị. Một cái gọi là máy Godel Đó là một người giải quyết vấn đề chung có khả năng tự tối ưu hóa. Nó phù hợp với môi trường phản ứng. Theo tôi hiểu, nó có thể …

16 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

Tôi đang tìm kiếm để có được một câu trả lời chắc chắn cho câu hỏi tiêu đề. Có một bộ quy tắc chuyển bất kỳ chương trình nào thành cấu hình của các phần hữu hạn trên một bảng vô hạn, sao cho nếu đen và trắng chỉ chơi …

16 computability  turing-machines  board-games  halting-problem  recreational 

Một trong những điều tuyệt vời về khoa học máy tính là việc triển khai vật lý theo một nghĩa nào đó "không liên quan". Mọi người đã chế tạo thành công máy tính từ nhiều chất nền khác nhau - rơle, ống chân không, bóng bán dẫn rời rạc, …

16 computability  turing-machines  terminology  physics  natural-computing 

( CẬP NHẬT : một câu hỏi được hình thành tốt hơn được đặt ra ở đây vì các ý kiến ​​cho câu trả lời được chấp nhận dưới đây cho thấy câu hỏi này không được xác định rõ) Bằng chứng cổ điển về tính không thể của vấn …

16 computability  lo.logic 

Bất kỳ ngôn ngữ nào không hoàn thành Turing đều không thể tự viết trình thông dịch. Tôi không biết tôi đã đọc nó ở đâu nhưng tôi đã thấy nó được sử dụng nhiều lần. Có vẻ như điều này làm phát sinh một loại ngôn ngữ hoàn chỉnh …

16 computability  turing-machines 

Chúng tôi nói rằng Turing Machine là trọng số nếu M tạm dừng cho mọi cấu hình bắt đầu (đặc biệt, nội dung băng và trạng thái ban đầu có thể tùy ý). Có phải mọi ngôn ngữ đệ quy được công nhận bởi một máy Turing không? (tức là …

15 computability 

Bạn có thể vui lòng chỉ ra cách xây dựng chức năng Ackerman (thực ra tôi quan tâm đến phiên bản do Rózsa Péter và Raphael Robinson đề xuất) thông qua các toán tử đệ quy mu tiêu chuẩn? Tôi đã thử các bài báo gốc của Péter và Robinson, …

15 computability 

Cho một ngôn ngữ L được xác định bởi Máy Turing quyết định ngôn ngữ đó, liệu có thể xác định thuật toán liệu L có nằm trong NP không?

15 cc.complexity-theory  computability  turing-machines 

Câu hỏi này cũng đã được đăng trên Math.SE, /math/1002540/fixed-point-in-computability-nd-logic Tôi hy vọng nó cũng ổn để gửi nó ở đây. Nếu không, hoặc nếu nó quá cơ bản cho CS.SE, vui lòng cho tôi biết và tôi sẽ xóa nó. Tôi muốn hiểu rõ hơn về mối quan hệ …

15 lo.logic  computability  lambda-calculus 

Xuất thân từ Vật lý, tôi đã được đào tạo để xem xét rất nhiều vấn đề từ quan điểm hình học. Ví dụ, hình học vi phân của đa tạp trong các hệ động lực, v.v. Khi tôi đọc các nền tảng của khoa học máy tính, tôi luôn …

14 reference-request  computability  big-picture 

Tôi quan tâm đến vấn đề "gần nhất" (và "phức tạp nhất") đối với phỏng đoán Collatz đã được giải quyết thành công (mà Erdos nổi tiếng nói rằng "toán học chưa chín muồi cho những vấn đề như vậy"). Nó đã được chứng minh rằng một lớp các vấn …

14 reference-request  open-problem  nt.number-theory  halting-problem  computability 

Từ lâu, người ta đã biết rằng, với bất kỳ mức độ Turing nào, có một nhóm được trình bày chính xác có vấn đề về từ ở mức độ đó. Câu hỏi của tôi là liệu điều tương tự có đúng với thời gian đa thức tùy ý độ …

14 cc.complexity-theory  computability  gr.group-theory