Những cuốn sách khoa học phổ biến truyền cảm hứng cho TCS là gì?

24

Có một danh tiếng, rằng trong khoa học máy tính, chúng ta không có những cuốn sách khoa học phổ biến. Tất nhiên điều đó không thực sự đúng!

(Theo tinh thần cùng của danh sách gì Books Should Mọi người đọc? , Gì giấy tờ tất cả mọi người nên đọc? , Gì video nên tất cả mọi người theo dõi? Và lấy cảm hứng từ yêu thích cuốn sách toán phổ biến )

Những cuốn sách khoa học phổ biến hoặc tài nguyên truyền cảm hứng cho Lý thuyết CS là gì?

Xin vui lòng có một số mô tả về lý do tại sao cuốn sách sẽ được tốt đẹp.

big-list books

— Subhaya
nguồn

1

Bạn có ý nghĩa gì với "phổ biến"? "Phổ biến" trong cộng đồng / cộng đồng tìm kiếm TCS? (một cái gì đó giống như cuốn sách: Michael Garey và David S. Johnson, Máy tính và tính hấp dẫn: Hướng dẫn về lý thuyết hoàn thiện NP)? Hoặc phổ biến trong những người bình thường (trong trường hợp này tôi nghĩ rằng nó không có khả năng là một "tài nguyên truyền cảm hứng" cho một lý thuyết CS).

— Marzio De Biasi

2

@MarzioDeBiasi en.wikipedia.org/wiki/P

— Sasho Nikolov

4

Tôi nghĩ rằng câu hỏi nên được wiki cộng đồng.

— Boris Bukh

2

Tôi nghĩ phi kỹ thuật , dễ dàng truy cập là những từ khóa tốt ở đây.

— Subhaya

2

Brian Hayes là một nhà văn / nhà phổ biến nổi tiếng / từng đoạt giải thưởng về các chủ đề liên quan đến CS (đặc biệt là toán học) trong chuyên mục Khoa học điện toán cho tạp chí Khoa học Mỹ, hầu hết đều có trên mạng , nhưng các yếu tố tập trung vào TCS không biên soạn thành một cuốn sách (chưa?). viết blog tại "người chơi bit" .

— vzn

20

Tôi biết nhiều nhà khoa học máy tính lý thuyết có cảm hứng đầu tiên đến từ việc đọc Godel, Escher, Bach

Nó trở thành một chút ngày tại thời điểm này, nhưng vẫn là một bài đọc tuyệt vời.

— Aaron Roth
nguồn

1

Chắc chắn là đúng.

— Giorgio Camerani

8

Vâng, nhưng. Quay lại khi tôi còn là một sinh viên tốt nghiệp, một trong những giảng viên AI địa phương đã nói với tôi bí mật của anh ấy về việc chọn những sinh viên tiến sĩ giỏi từ nhóm ứng viên. Nếu tuyên bố về mục đích của người nộp đơn đề cập đến Gôdel, Escher, Bach , thì anh ta đã từ chối họ.

— Jeffε

5

"ca ngợi Goedel là nhà logic học vĩ đại nhất mọi thời đại, gắn kết những điều phi lý của việc đánh số Goedel trên một chiếc ghim, và biến nó thành một loại siêu câu đố. Bạch "." - Jean Yves Girard

— Vijay D

3

Tôi nghĩ trong trường hợp này, như trong nhiều trường hợp với những cuốn sách khoa học phổ biến mà các chuyên gia không thích, tác giả không phải là một chuyên gia trong lĩnh vực này và có quyền tự do diễn giải và trình bày kết quả theo cách mà một chuyên gia trong lĩnh vực này sẽ không bao giờ làm.

— Vijay D

4

Tôi đã đọc GEB trước khi tôi biết bất kỳ cstheory nào, và thấy nó truyền cảm hứng. Tuy nhiên, về lâu dài, điều thực sự duy nhất tôi học được từ nó là làm thế nào để viết theo cách thu hút trí tưởng tượng phổ biến. Tuy nhiên, đây là một bài học rất quan trọng. Gần đây tôi đã đọc một trong những cuốn sách khác của Hofstadter (Tôi là một vòng lặp kỳ lạ) và bị choáng ngợp bởi học bổng của anh ta nghèo đến mức nào (không bao giờ thừa nhận các nhà triết học trước đó khi anh ta ngang nhiên đánh cắp ý tưởng từ họ). Nó làm tôi buồn khi biết rằng một trong những cách dễ nhất để theo giáo phái là làm điều này. Tôi sẽ không bao giờ đọc lại GEB, vì nó sẽ phá hỏng trải nghiệm trước đây của tôi.

— Artem Kaznatcheev

14

Sau khi làm rõ ý nghĩa (không rõ ràng đối với tôi) của "khoa học phổ biến" (cảm ơn Sasho :-) Tôi đề xuất:

Tiêu đề: Cách chiến thắng cho các lần chơi toán học của bạn (4 tập)

Các tác giả: Elwyn R. Berlekamp, John H. Conway, Richard K. Guy

Mô tả: nó có thể được coi là một bản tóm tắt thông tin về các trò chơi toán học (hàng tấn trò chơi được phân tích: trò chơi bằng đồng xu và giấy bút chì, Soma, Rubik's Cube, câu đố dây và dây cơ học, câu đố khối trượt, hình vuông ma thuật, Cuộc sống). Nó đủ dễ dàng để làm hài lòng bất kỳ người hâm mộ toán học giải trí hoặc đơn giản là bất cứ ai quan tâm đến các trò chơi và làm thế nào để chơi chúng tốt; nhưng tôi nghĩ rằng nó cũng là nguồn cảm hứng cho nhiều kết quả sâu sắc hơn trong lý thuyết trò chơi kết hợp .

Phụ lục

Nó không phải là một cuốn sách, nhưng tôi nghĩ rằng cột 'Trò chơi toán học và tái tạo' của Martin Gardner phải được trích dẫn.

Tài nguyên: Cột 'Trò chơi toán học và giải trí' cho Khoa học Mỹ

Tác giả: Martin Gardner

Mô tả: trong 25 trong 95 năm của mình, Martin Gardner đã viết 'Trò chơi và tái tạo toán học', một chuyên mục hàng tháng cho tạp chí Khoa học Mỹ. Những chuyên mục này đã truyền cảm hứng cho hàng trăm ngàn độc giả đi sâu hơn vào thế giới toán học rộng lớn. Ông cũng đã có những đóng góp đáng kể cho ma thuật, triết học, giả khoa học và văn học thiếu nhi. Nhiều cuốn sách của Martin Gardner là bộ sưu tập các trích đoạn thông tin từ chuyên mục Khoa học Mỹ của ông (ví dụ: Fractal Music, Hypercards và nhiều thứ khác ...: Tái tạo toán học từ Tạp chí Khoa học Mỹ, Bánh xe, Cuộc sống và các Giải pháp toán học khác, ecc. Ecc.).

— Marzio De Biasi
nguồn

Nâng cấp chỉ dành cho Martin Gardner. Lần đầu tiên tôi biết về RSA từ Trò chơi toán học, điều này đã ảnh hưởng đến sự nghiệp của tôi kể từ đó.

— nealmcb

11

Máy tính lượng tử của Scott Aaronson kể từ Democritus . Cuốn sách này là một giới thiệu tuyệt vời về khoa học máy tính lý thuyết và máy tính lượng tử cho giáo dân cũng như bắt đầu sinh viên khoa học máy tính lý thuyết. Không giống như các cuốn sách khoa học pop khác, cuốn sách này cũng rất nghiêm ngặt.

— lượt người dùng774025
nguồn

7

Ở giao điểm của sinh học tiến hóa và khoa học máy tính lý thuyết có hai cuốn sách gần đây.

Của Valiant "Có lẽ Khoảng Đúng: Các thuật toán thiên nhiên cho việc học tập và khởi sắc trong một thế giới phức tạp" , và
Chaitin "Chứng minh Darwin: Làm toán học sinh học" .

Cả hai cuốn sách đều nhìn vào sự tiến hóa thông qua lăng kính thuật toán , với phần đầu tiên tập trung vào cách thức tiến hóa, học tập và trí thông minh có thể được thể hiện trong khuôn khổ PAC của Machine Learning . Cuốn sách thứ hai, xem xét cách xây dựng một mô hình đồ chơi đổi mới tiến hóa bằng lý thuyết thông tin thuật toán. Mặc dù các cuốn sách chỉ liên kết lỏng lẻo với sinh học , nhưng chúng trình bày khoa học máy tính theo cách pop-sci tiêu chuẩn và cho thấy nó liên quan đến các chủ đề phổ biến hơn trong pop-sci, như tiến hóa.

— Nữ hoàng Kaznatcheev
nguồn

1

đánh giá mới của NYT về Valiant

— vzn

6

Lần đầu tiên tôi thấy hứng thú với TCS sau khi đọc các tác phẩm của Scott Aaronson; một trong những người trước đó là Ai có thể đặt tên cho số lớn hơn? , có một cảm giác khoa học pop cho nó

Một cuốn khác rất hay tôi đọc sau này là Tại sao các nhà triết học nên quan tâm đến sự phức tạp tính toán ; Mặc dù được viết theo phong cách hàn lâm nhưng tôi sẽ nói đó là "khoa học phổ biến" ở chỗ khán giả của nó bao gồm các nhà triết học không có kinh nghiệm trước đó với TCS.

— cung hoàng đạo
nguồn

6

IMHO, tôi muốn giới thiệu những cuốn sách "phổ biến" này:

Bất kỳ cuốn sách nào của James Gleick - Chaos , The Information
Lửa trong thung lũng , vì một tài khoản của lịch sử PC sớm
Sách của Steven Levy : Tuyệt vời điên rồ, trong Plex , tin tặc , v.v.

Và ông chủ, mặc dù có một số ngày:

Linh hồn của một cỗ máy mới của Tracy Kidder

— efutch
nguồn

đã nghĩ đến việc thêm bản thân Kidder ref [nổi tiếng, có ảnh hưởng và thích nó] nhưng đã quyết định chống lại nó dựa trên những khán giả khắt khe ở đây. thật thú vị khi lưu ý một loại thay đổi trong những gì tạo nên TCS theo thời gian dựa trên những tiến bộ trong lý thuyết. Soul of New Machine xuất bản năm 1981 có lẽ đã gần hơn rất nhiều khi được coi là TCS tiên tiến vào thời điểm đưa ra cách thức các bộ vi xử lý tương đối mới. ngày nay, thiết kế CPU, ít như vậy, nhiều prosaic / "ứng dụng" hơn. do đó, có một khía cạnh "chuyển các mục tiêu theo lạm phát phức tạp theo thời gian / phức tạp" sang TCS mà tham chiếu tiết lộ phần nào.

— vzn

Có - Thông tin của Gleick rất tuyệt vời!

— nealmcb

5

Câu trả lời rõ ràng sẽ là cuốn sách Chiếc vé vàng của Lance Fortnow nhưng tôi không thể nói gì thêm về nó, vì tôi chưa đọc nó. (Nếu ai đó đã đọc nó và muốn nói thêm, vui lòng để lại câu trả lời riêng và tôi sẽ xóa câu này.)

— David Richerby
nguồn

1

Sự hiểu biết của tôi về "truyền cảm hứng" là những cuốn sách nên có trước sự phát triển của TCS.

— Yixin Cao

4

Sự giải thích đó dẫn đến một câu hỏi cực kỳ hẹp. Tại sao người ta mong đợi một cuốn sách khoa học phổ biến từ bên ngoài TCS đã truyền cảm hứng cho TCS theo nghĩa đó?

— David Richerby

5

Tôi thích:

Charles Petzold: The Turing chú thích , về cơ bản là một hướng dẫn thông qua bài báo chuyên đề của Turing và một bộ ghi chú giải thích mọi thứ.

Tôi cũng thích:

Douglas Hofstadter: Metamagical Themas , theo tôi thì thú vị hơn GEB (theo một số nhà bình luận khác - không quá khó để đạt được :)), đây là một bộ sưu tập các chuyên mục của ông trong Khoa học Mỹ, phổ biến nhiều ý tưởng thú vị, Mặc dù không phải tất cả liên quan đến CS, rõ ràng.

Là một cuốn sách phổ biến về CS, nhiều người có vẻ thích:

AK Dewdney: Omnibus Turing mới , mặc dù tôi chưa có cơ hội đọc nó.

— László Kozma
nguồn

2

Tôi đã được truyền cảm hứng từ Một loại khoa học mới của Stephen Wolfram . Nếu tôi hiểu chính xác, một trong những chủ đề chính của cuốn sách là trong khi công cụ chính trong khoa học từng là toán học (đặc biệt là các hệ phương trình vi phân từng phần), công cụ chính sẽ sớm là khoa học máy tính (cụ thể là tự động hóa tế bào ).

Chỉnh sửa : Nó đã được chỉ ra trong các ý kiến dưới đây rằng cuốn sách đang gây tranh cãi. Tôi trích dẫn một đánh giá của Scott Aaronson:

[W] là cuốn sách thận trọng hơn trong tuyên bố của mình và sẵn sàng thừa nhận công việc trước đây, độc giả có thể dễ dàng hơn để đánh giá những gì nó cung cấp: một quan điểm dựa trên tế bào tự động về các ý tưởng hiện có trong khoa học.

— Joel Reyes Noche
nguồn

2

Bạn có biết rằng Wolfram là một chút "gây tranh cãi" giữa các nhà khoa học máy tính?

— Marcos Villagra

6

Tôi sẽ để lại câu trả lời, vì nếu cuốn sách truyền cảm hứng cho mọi người tìm hiểu thêm về TCS, v.v. thì tôi nghĩ rằng điều đó có gây tranh cãi hay không (bằng cách tương tự, hãy nghĩ về việc có bao nhiêu cuốn sách gây tranh cãi nhưng vẫn còn gây tranh cãi về sự tiến hóa ... ). Xem đánh giá của Aaronson cho một số yêu cầu kỹ thuật: arxiv.org/abs/quant-ph/0206089 . (Nếu bạn vẫn không thoải mái với việc giữ nó, bạn có thể giữ câu trả lời nhưng thêm một lưu ý rằng một số người xem nó là gây tranh cãi.)

— Joshua Grochow

14

Nghiên cứu của imho wolframs rất độc đáo, tiên phong, đáng giá và có ảnh hưởng - tôi cảm thấy hoàn toàn ngược lại, trên tất cả các tính. Wolfram nhận tín dụng, bỏ qua và hoặc sa thải công việc trước đây của người khác; ông nhấn mạnh những điểm tầm thường trong khi bỏ lỡ những điểm lớn hơn; khái quát của ông đối với khoa học truyền thống nhanh chóng bị bác bỏ vì rõ ràng là sai. Cuốn sách của ông lẽ ra phải được mang tên Khoa học mới (Loại) .

— Jeffε

4

Tôi nghĩ rằng đây là một câu trả lời hoàn toàn tốt. Nếu Joel nói rằng nó đã truyền cảm hứng cho anh ta, thì không có câu hỏi nào. Joel, tôi nghĩ bạn cũng có thể thêm một chút hồi tưởng, nếu bạn có thể, về cách bạn nghĩ về cuốn sách một khi bạn trở thành một nhà khoa học.

— Vijay D

3

Cảm ơn các ý kiến. @VijayD, là một kỹ sư điện, tôi bắt đầu quan tâm đến sự ngẫu nhiên. Tôi phát hiện ra một chuỗi nhị phân vô hạn không lặp lại, và qua NKS tôi đã phát hiện ra rằng nó đã được biết đến như là chuỗi Thue-Morse. Do đó, NKS dẫn tôi đến lĩnh vực nghiên cứu được gọi là tổ hợp từ.

— Joel Reyes Noche

2

Cuốn sách Cuộc phiêu lưu thuật toán của Hromkovič là một nỗ lực hiếm hoi để giải thích một số ý tưởng thực sự chủ đạo của khoa học máy tính lý thuyết cho nhiều đối tượng.

— 042
nguồn

0

có rất nhiều tài liệu tham khảo như vậy, chúng dường như đang tăng lên, vì một số người đã lưu ý rằng chúng ta dường như đang ở giữa / sống qua thời kỳ hoàng kim của các thuật toán. một số giới thiệu tập trung vào thuật toán mới hơn [do đó không được biết đến nhiều) không được liệt kê cho đến nay có thể thú vị, một số được viết bởi các nhà nghiên cứu / nhà khoa học / chuyên gia của TCS (Cormen, Valiant, Davis), một số khác bởi các nhà văn popsci:

Ngoài ra, các chủ đề thú vị khác từ tin tức / tiêu đề với sự chồng chéo mạnh mẽ giữa TCS và các bài viết / sách khoa học phổ biến:

Tính toán lượng tử
giao dịch tần số cao ("HFT"). đây là sự pha trộn mạnh mẽ giữa lý thuyết và ứng dụng và sử dụng các kỹ thuật học máy, cơ sở dữ liệu, thống kê và toán học tiên tiến. [có thể đặt tên cho một số giới thiệu về điều này nhưng nghi ngờ khán giả này sẽ không coi nó là "đủ" vì vậy sẽ giữ lại ngay bây giờ.]
mật mã
tin sinh học
v.v.

— vzn
nguồn

1

Sách của Aaronson và Valiant đã được đề cập trong câu trả lời của riêng họ. Bạn đã đọc tất cả những cuốn sách này? Nếu không, tại sao bạn lại giới thiệu họ? Ngoài ra, bạn có thể giải thích những gì tin sinh học có liên quan đến khoa học máy tính lý thuyết? Tôi sẽ tranh luận rằng không có nhiều sự chồng chéo. Tương tự với HFT, mặc dù có một số kết nối .

— Artem Kaznatcheev

đã không trích dẫn các giới thiệu về HFT hoặc tin sinh học hoặc các chủ đề khác dự đoán sự phản đối xuất phát từ quan điểm hẹp hơn về ranh giới TCS (mà imho có thể khá hạn chế ở đây & những người khác đã đồng ý ). không hoàn toàn đồng ý với tất cả blog của bạn [được xây dựng trong bình luận ở đó] nhưng nghĩ rằng bạn đã đưa ra một chủ đề đáng giá cho các câu hỏi khác của trang web, ví dụ như tin sinh học, v.v. cũng có thể trong meta. xem thêm tin sinh học

— vzn

phụ lục, một giới thiệu gọn gàng / thú vị / gần đây Hiểu về tính toán của Stewart / O'Reilly, bao gồm các TM, hoàn thành TM, v.v ... bằng cách sử dụng Ruby

— vzn

xem thêm Suy nghĩ phức tạp: Khoa học phức tạp và Mô hình tính toán của nhà xuất bản Downey / O'Reilly. bao gồm các CA, đồ thị [thế giới nhỏ], fractals, v.v. Mã Python. chịu ảnh hưởng của Wolframs NKS.

— vzn

λ

$\lambda$