Jakie książki popularnonaukowe inspirują TCS?

Istnieje reputacja, że ​​w informatyce nie mamy książek popularnonaukowych. Oczywiście to nie do końca prawda!

(W tym samym duchu listy Co Książki każdy powinien przeczytać? , Jakie dokumenty powinien każdy przeczytać? , Co każdy powinien oglądać filmy? A zainspirowana Ulubiony popularnej książce matematyka )

Jakie książki popularnonaukowe lub zasoby inspirują teorię CS?

Proszę opisać, dlaczego książka byłaby ładna.

Znam wielu teoretycznych informatyków, których pierwszą inspiracją była lektura Godel, Escher, Bach

W tym momencie staje się nieco przestarzały, ale nadal jest świetną lekturą.

Po wyjaśnieniu (niejasnego dla mnie) znaczenia „nauki popularnej” (podziękowania dla Sasho :-) Proponuję:

Tytuł: Zwycięskie sposoby na twoje matematyczne sztuki (4 tomy)

Autorzy: Elwyn R. Berlekamp, ​​John H. Conway, Richard K. Guy

Opis: może być uważany za kompendium informacji o grach matematycznych (analizuje się mnóstwo gier: gry na monety i papier i ołówek, Soma, Kostka Rubika, puzzle z drutu i sznurka, puzzle z przesuwanymi klockami, magiczne kwadraty, Życie). Łatwo jest zadowolić każdego fana matematyki rekreacyjnej lub po prostu każdego, kto interesuje się grami i jak nimi dobrze grać; ale myślę, że było to również źródłem inspiracji dla wielu głębszych wyników w kombinatorycznej teorii gier .

Uzupełnienie

To nie jest książka, ale myślę, że należy zacytować kolumnę Martina Gardnera „Gry matematyczne i rekreacja” dla Scientific American .

Zasób: kolumna „Gry matematyczne i rekreacja” dla Scientific American

Autor: Martin Gardner

Opis: przez 25 z 95 lat Martin Gardner napisał „Matematyczne gry i rekreacje”, miesięcznik dla magazynu Scientific American. Te kolumny zainspirowały setki tysięcy czytelników do głębszego zagłębienia się w wielki świat matematyki. Wniósł także znaczący wkład w magię, filozofię, obalanie pseudonauki i literaturę dziecięcą. Wiele książek Martina Gardnera jest zbiorem pouczających fragmentów z jego kolumny Scientific American (np. Fractal Music, Hypercards and More ...: Mathematical Recreation from Scientific American Magazine, Wheels, Life and Other Mathematical Amusements, ecc. Ecc.).

Scott Aaronson's Quantum Computing Since Democritus . Ta książka jest doskonałym wstępem do informatyki teoretycznej i obliczeń kwantowych dla laika, a także dla początkujących studentów informatyki teoretycznej. W przeciwieństwie do innych książek pop-science ta książka jest również rygorystyczna.

Na styku biologii ewolucyjnej i informatyki teoretycznej znajdują się dwie ostatnie książki.

• „Prawdopodobnie w przybliżeniu poprawne: Algorytmy natury do uczenia się i prosperowania w złożonym świecie” Valianta oraz

• Chaitin's „Proving Darwin: Making Biology Mathematical” .

Obie książki patrzą na ewolucję poprzez soczewkę algorytmiczną , przy czym pierwsza koncentruje się na tym, jak ewolucja, uczenie się i inteligencja mogą być wyrażone w ramach PAC w ramach uczenia maszynowego . Druga książka poświęcona jest budowaniu zabawkowego modelu innowacji ewolucyjnych przy użyciu algorytmicznej teorii informacji. Chociaż książki są tylko luźno związane z biologią , przedstawiają informatykę w standardowy pop-sci i pokazują, w jaki sposób odnosi się do bardziej popularnych tematów w pop-sci, takich jak ewolucja.

Po raz pierwszy zainteresowałem się TCS po przeczytaniu pism Scotta Aaronsona; jednym z wcześniejszych było Who Can Name the Bigger Number? , który ma pop-science

Kolejnym bardzo dobrym, który przeczytałem później, jest pytanie, dlaczego filozofowie powinni dbać o złożoność obliczeniową ; chociaż napisane w stylu akademickim, powiedziałbym, że jest to „nauka popularna”, ponieważ jej odbiorcami są filozofowie, którzy nie mieli wcześniejszego doświadczenia z TCS.

IMHO poleciłbym te „popularne” książki:

1. Każda książka Jamesa Gleicka - Chaos , The Information
2. Fire in the Valley , dla historii wczesnej wersji PC
3. Książki Stevena Levy : Insanely Great, In the Plex , Hackers itp.

I wielki mistrz, choć nieco przestarzały:

Dusza nowej maszyny autorstwa Tracy Kidder

Oczywistą odpowiedzią byłaby książka Lance'a Fortnowa Złoty bilet, ale nie mogę nic więcej o tym powiedzieć, ponieważ sam jej nie przeczytałem. (Jeśli ktoś to przeczytał i chce powiedzieć więcej, proszę zostawić osobną odpowiedź, a ja ją usunę).

Lubiłam:

Charles Petzold: Annotated Turing , który jest zasadniczo przewodnikiem po zasadniczym artykule Turinga i zestawie notatek wyjaśniających różne rzeczy.

Lubiłem też:

Douglas Hofstadter: The Metamagical Themas , moim zdaniem bardziej interesujący niż GEB (który - zdaniem niektórych innych komentatorów - nie jest zbyt trudny do osiągnięcia :)), to zbiór jego artykułów w Scientific American, popularyzujących wiele interesujących pomysłów, chociaż oczywiście nie wszystkie związane z CS.

Jako właściwa popularna książka CS, wiele osób lubi:

AK Dewdney: Nowy Omnibus Turinga , chociaż nie miałem okazji go przeczytać.

Zainspirowało mnie A New Kind of Science Stephena Wolframa . Jeśli dobrze rozumiem, jednym z głównych tematów książki jest to, że podczas gdy głównym narzędziem w nauce była matematyka (w szczególności układy równań różniczkowych cząstkowych), głównym narzędziem wkrótce będzie informatyka (w szczególności automaty komórkowe ).

Edycja : W komentarzach wskazano, że książka jest kontrowersyjna. Cytuję recenzję Scotta Aaronsona:

Gdyby książka była bardziej ostrożna w swoich twierdzeniach i chętniejsza do uznania wcześniejszych prac, czytelnikom łatwiej byłoby ocenić, co ona oferuje: oparte na automatach komórkowych spojrzenie na istniejące idee w nauce.

Książka „ Przygody algorytmiczne” Hromkoviča jest rzadką próbą wyjaśnienia szerokiej publiczności niektórych naprawdę popularnych idei teoretycznych informatyki.

istnieje wiele takich odniesień, wydaje się, że ich liczba rośnie, jak niektórzy zauważyli, że wydajemy się być w środku / żyjemy dzięki Złotej Erze algorytmów. niektóre nowsze referencje skupione na algorytmach [stąd nie są tak dobrze znane], które nie są do tej pory wymienione, co może być interesujące, niektóre napisane przez naukowców / naukowców / ekspertów TCS (Cormen, Valiant, Davis), inne przez pisarzy popsci:

• Dziewięć algorytmów, które zmieniły przyszłość: genialne pomysły, które napędzają dzisiejsze komputery MacCormick
• Zautomatyzuj to: w jaki sposób algorytmy rządziły naszym światem Steiner
• Nadejście algorytmu: 300-letnia podróż od pomysłu do komputera berlińskiego
• Algorytmy Odblokowane Cormen
• Prawdopodobnie w przybliżeniu poprawne: naturalne algorytmy uczenia się i prosperowania w złożonym mężu świata
• Out of the Minds: The Lives and Discoveries of 15 Great Computer Scientist Sasha / Lazere
• Engines of Logic: Mathematicians and the Origin of the Computer Davis

inne interesujące tematy z wiadomości / nagłówków z dużym nakładaniem się TCS i pisania / książek popularnonaukowych:

• obliczenia kwantowe
  • Obliczenia kwantowe od Demokryta Aaronsona
  • The Feynman Processor: Quantum Entanglement and the Computing Revolution Milburn
  • UMYSŁY, MASZYNY I WIELOSTRONNE: PYTANIE NA KOMPUTER KWANCYJNY Brown
• transakcje o wysokiej częstotliwości („HFT”). jest to silna mieszanka teorii z zastosowaną i wykorzystuje zaawansowane techniki uczenia maszynowego, analizy danych, statystyki i matematyki. [może wymienić niektóre referencje na ten temat, ale podejrzewam, że odbiorcy nie uznają tego za „czysty” wystarczająco, więc na razie się powstrzymają.]
• kryptografia
• bioinformatyka
• itp!