Có cuốn sách nào về ý nghĩa triết học của Khoa học máy tính lý thuyết không?

Tôi tìm thấy một số cuốn sách về máy tính, nhưng tất cả chúng là về công nghệ. Tôi muốn một cái gì đó liên kết nhiều hơn với lý thuyết.

Hãy thử bài luận trên 50 trang "Tại sao các nhà triết học nên quan tâm đến độ phức tạp tính toán" https://arxiv.org/abs/1108.1791

Điện toán lượng tử Vì Democritus của Scott Aaronson là trận đấu gần nhất tôi có thể nghĩ đến. Tôi không nghĩ có một cuốn sách hoàn toàn dành cho ý nghĩa triết học của TCS.

Mở và thực hiện tìm kiếm nhanh trong cuốn sách phức tạp tính toán (cổ điển) của Arora và Barak ( bản thảo trực tuyến tại đây ), có 19 lần xuất hiện của từ "triết học", bao gồm cả các phần phụ như

• $\mathrm{P}$

• $\mathrm{NP}$

• một cuộc thảo luận về tính ngẫu nhiên trong Chương 16 ("Derandomization, Expanders and Extractors").

Đây là một bài luận khác về bản chất triết học của Scott Aaronson. Con ma trong cỗ máy lượng tử

Để bổ sung cho một số câu trả lời ở trên, cuốn sách Toán học và Tính toán gần đây của Avi Widgerson thảo luận ngắn gọn về các giao thoa triết học giữa khoa học máy tính và triết học trong phần 20.5. Nhìn rộng hơn, toàn bộ cuốn sách chứa rất nhiều tài liệu về triết học, vì nó tập trung chủ yếu vào sự tương tác giữa các lĩnh vực dường như khác nhau, và làm như vậy bằng cách giải thích cấu trúc cơ bản và ý nghĩa của các khái niệm khác nhau về ToC (ngẫu nhiên, kiến ​​thức, tương tác, tiến hóa , cảm ứng, học tập ... Trong số nhiều người khác). Mặc dù bản thân nó không phải là một cuốn sách về triết học, nó khiến người đọc tự hỏi về ánh sáng mới của ToC trên tất cả các khái niệm này. Và nó khởi hành đáng kể từ sách giáo khoa tiêu chuẩn (thực sự, đó không phải là cuốn sách này), vì nó không có bằng chứng. Tôi khuyên bạn nên nó.

John Searle trong cuốn sách " Khám phá lại tâm trí " trong số những điều khác đặt ra câu hỏi tính toán là gì. Cụ thể, ông nói rằng "tính toán" không phải là một tài sản vốn có của bất kỳ quy trình nào. Thay vào đó, phải có một số người quan sát quy kết "ý nghĩa" cho quá trình.

Giả thuyết có ảnh hưởng này đã tạo ra khá nhiều tài liệu mặc dù chủ yếu ở dạng bài báo, không phải sách, tôi nghĩ vậy.

Avi Wigderson, trong Kiến thức, Sáng tạo và P so với NP , lập luận rằng câu hỏi triết học: Sáng tạo có thể được tự động hóa? tương đương với P = NP?.

Tôi đã không đọc nhiều bản thân mình nhưng tôi thấy cuốn sách "Cấu trúc và diễn giải các chương trình máy tính" rất mở mắt.

Gerry Sussman đã thực hiện một công việc tuyệt vời với cuốn sách đó.

Nó đáng để đọc. :-)

Sách đầy đủ ở đây

lance fortnow "chiếc vé vàng", nó giải quyết hậu quả của những gì xảy ra trong trường hợp P = NP và các vấn đề khác một cách rất nhẹ nhàng.