Quali sono i libri di scienza popolari che ispirano TCS?

24

C'è una reputazione che nell'informatica non abbiamo libri di scienze popolari. Ovviamente non è proprio vero!

(Con lo stesso spirito di elenco di Cosa libri dovrebbero tutti di leggere? , Quali documenti devono tutti leggere? , Che video dovrebbero guardare tutti? E ispirato da favorito popolare libro di matematica )

Quali sono i libri o le risorse scientifiche popolari che ispirano la teoria CS?

Si prega di avere una descrizione del perché il libro sarebbe bello.

big-list books

— 82%
fonte

1

Cosa intendi con "popolare"? "popolare" tra i ricercatori / community TCS? (qualcosa come il libro: Michael Garey e David S. Johnson, Computer e intrattabilità: una guida alla teoria della completezza NP)? O popolare tra la gente comune (in questo caso penso che sia improbabile che sia una "risorsa che ispira" una teoria CS).

— Marzio De Biasi,

2

@MarzioDeBiasi en.wikipedia.org/wiki/Popular_science

— Sasho Nikolov

4

Penso che la domanda dovrebbe essere wiki della comunità.

— Boris Bukh,

2

Penso che non siano tecniche , facilmente accessibili sono le buone parole chiave qui.

— Subhayan,

2

Brian Hayes è uno scrittore / divulgatore pluripremiato / premiato di argomenti (T) CS (esp intersecando con la matematica) nella sua rubrica Computing Science for American Scientist, la maggior parte dei quali sono disponibili online , ma gli elementi focalizzati sul TCS no compilato in un libro (ancora?). blogging su "bit-player" .

— vzn,

20

Conosco molti teorici informatici la cui prima ispirazione è venuta dalla lettura di Godel, Escher, Bach

Sta diventando un po 'datato a questo punto, ma è ancora una lettura eccellente.

— Aaron Roth
fonte

1

Decisamente vero.

— Giorgio Camerani,

8

Si ma. Quando ero uno studente laureato, una delle facoltà di AI locali mi ha detto il suo segreto per selezionare buoni dottorandi dal pool di candidati. Se la dichiarazione di intenti di un richiedente menzionava Gödel, Escher, Bach , li respingeva.

— Jeffε

5

"saluta Goedel come il più grande logico di tutti i tempi, monta le assurdità della numerazione di Goedel su uno spillo e rendilo una sorta di super-puzzle. Questo seppellimento sotto i fiori è caratteristico di quel monumento di volgarità", Goedel, Escher, Bach "" - Jean Yves Girard

— Vijay D

3

Penso in questo caso, come in molti casi con i libri di scienza popolari che agli esperti non piace, l'autore non è un esperto del settore e si prende la libertà di interpretare e presentare i risultati in un modo che un esperto del settore non avrebbe mai fatto.

— Vijay D,

4

Ho letto GEB prima di conoscere qualsiasi cstheory e l'ho trovato stimolante. A lungo termine, tuttavia, l'unica cosa reale che ho imparato è come scrivere in un modo che catturi l'immaginazione popolare. Tuttavia, questa è una lezione molto importante. Di recente ho letto uno degli altri libri di Hofstadter (I Am a Strange Loop) ed è stato travolto da quanto sia povera la sua borsa di studio (mai riconoscendo i filosofi precedenti quando rubava palesemente idee da loro). Mi ha rattristato sapere che uno dei modi più semplici per seguire una setta è farlo. Non rileggerei mai GEB, poiché rovinerebbe la mia esperienza precedente.

— Artem Kaznatcheev

14

Dopo aver chiarito il significato (poco chiaro per me) di "scienza popolare" (grazie Sasho :-), propongo:

Titolo: Modi vincenti per i tuoi giochi matematici (4 volumi)

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

Descrizione: può essere considerato un compendio di informazioni sui giochi matematici (vengono analizzate tonnellate di giochi: giochi con monete e carta e matita, Soma, Cubo di Rubik, puzzle di fili e fili meccanici, puzzle a blocchi scorrevoli, quadrati magici, Vita). È abbastanza facile accontentare qualsiasi appassionato di matematica ricreativa o semplicemente chiunque sia interessato ai giochi e a come giocarli bene; ma penso che sia stata anche una fonte di ispirazione per molti risultati più profondi nella teoria dei giochi combinatori .

appendice

Non è un libro, ma penso che la rubrica "Giochi matematici e attività ricreative" di Martin Gardner per Scientific American debba essere citata.

Risorsa: la colonna "Giochi matematici e attività ricreative" per Scientific American

Autore: Martin Gardner

Descrizione: per 25 dei suoi 95 anni, Martin Gardner ha scritto "Giochi matematici e attività ricreative", una rubrica mensile per la rivista Scientific American. Queste colonne hanno ispirato centinaia di migliaia di lettori a scavare più a fondo nel vasto mondo della matematica. Ha anche dato un contributo significativo alla magia, alla filosofia, alla pseudoscienza di debunking e alla letteratura per bambini. Molti libri di Martin Gardner sono raccolte di estratti informativi della sua rubrica Scientific American (ad es. Musica frattale, Hypercards e altro ...: Ricreazioni matematiche da Scientific American Magazine, Wheels, Life and Other Mathematical Amusements, ecc. Ecc.).

— Marzio De Biasi
fonte

Eseguito l'upgrade solo per Martin Gardner. Ho imparato a conoscere RSA da Mathematical Games, che ha influenzato la mia carriera da allora.

— nealmcb,

11

Il calcolo quantistico di Scott Aaronson Since Democritus . Questo libro è un'eccellente introduzione all'informatica teorica e all'informatica quantistica per i non addetti ai lavori e agli studenti principianti di informatica teorica. A differenza di altri libri di scienza pop, anche questo libro è rigoroso.

— utente774025
fonte

7

All'incrocio tra biologia evolutiva e informatica teorica ci sono due libri recenti.

"Probabilmente approssimativamente corretto di Valiant : algoritmi della natura per l'apprendimento e la prosperità in un mondo complesso" , e
Chaingin "Proving Darwin: Making Biology Mathematical" .

Entrambi i libri guardano l'evoluzione attraverso l' obiettivo algoritmico , con il primo che si concentra su come evoluzione, apprendimento e intelligenza possano essere tutti espressi nel framework PAC di Machine Learning . Il secondo libro, spiega come costruire un modello giocattolo di innovazione evolutiva usando la teoria dell'informazione algoritmica. Sebbene i libri siano solo vagamente collegati alla biologia , presentano l'informatica in un modo pop-sci standard e mostrano come si collegasse ad argomenti più comuni nella pop-sci, come l'evoluzione.

— Artem Kaznatcheev
fonte

1

nuova recensione NYT di Valiant

— vzn,

6

Mi sono interessato per la prima volta a TCS dopo aver letto gli scritti di Scott Aaronson; uno dei primi era Chi può nominare il numero più grande? , che ha un'atmosfera pop-science

Un altro molto buono che ho letto più tardi è Perché i filosofi dovrebbero preoccuparsi della complessità computazionale ; sebbene scritto in uno stile accademico direi che è "scienza popolare" in quanto il suo pubblico include filosofi che non hanno precedenti esperienze con TCS.

— zodiaco
fonte

6

IMHO, consiglierei questi libri "popolari":

Qualsiasi libro di James Gleick - Chaos , The Information
Fire in the Valley , per un resoconto della storia dei primi PC
Libri di Steven Levy : Insanely Great, In the Plex , Hackers , ecc.

E il gran maestro, sebbene un po 'datato:

L'anima di una nuova macchina di Tracy Kidder

— 53%
fonte

Stavo pensando di aggiungere me stesso il riferimento Kidder [famoso, influente e simile], ma ho deciso di non farlo sulla base del rigoroso pubblico qui. è interessante notare una sorta di cambiamento in ciò che costituisce TCS nel tempo sulla base dei progressi della teoria. Soul of New Machine, pubblicato nel 1981, probabilmente era molto più vicino a essere considerato TCS all'avanguardia all'epoca, dato quanto fossero relativamente nuovi i microprocessori. oggi, il design della CPU, meno, molto più prosaico / "applicato". pertanto, esiste un aspetto "spostando i pali nel tempo / inflazione complessità" nel TCS che tale riferimento rivela in qualche modo.

— vzn

Sì - Le informazioni di Gleick sono eccellenti!

— nealmcb,

5

La risposta ovvia sarebbe il libro di Lance Fortnow, Il biglietto d'oro, ma non posso dire altro al riguardo, dato che non l'ho letto da solo. (Se qualcuno l'ha letto e vuole aggiungere altro, per favore lascia una risposta separata e la eliminerò.)

— David Richerby
fonte

1

La mia comprensione di "ispirare" è che i libri dovrebbero precedere lo sviluppo di TCS.

— Yixin Cao,

4

Questa interpretazione porta a una domanda estremamente ristretta. Perché ci si aspetterebbe che un famoso libro scientifico esterno a TCS abbia ispirato TCS in questo senso?

— David Richerby,

5

Mi è piaciuto:

Charles Petzold: The Annotated Turing , che è essenzialmente una guida attraverso il seminario di Turing e una serie di note che spiegano le cose.

Mi è anche piaciuto:

Douglas Hofstadter: The Metamagical Themas , secondo me più interessante di GEB (che - secondo alcuni degli altri commentatori - non è troppo difficile da realizzare :)), questa è una raccolta delle sue colonne in Scientific American, che diffonde molte idee interessanti, sebbene non tutti relativi a CS, ovviamente.

Come un vero libro popolare in CS, a molte persone sembra piacere:

AK Dewdney: The New Turing Omnibus , anche se non ho avuto la possibilità di leggerlo.

— László Kozma
fonte

2

Sono stato ispirato da A New Kind of Science di Stephen Wolfram . Se ho capito bene, uno dei temi principali del libro è che mentre lo strumento principale in scienza era una volta la matematica (in particolare, i sistemi di equazioni differenziali parziali), lo strumento principale sarà presto l'informatica (in particolare gli automi cellulari ).

Modifica : è stato sottolineato nei commenti qui sotto che il libro è controverso. Cito una recensione di Scott Aaronson:

Se il libro fosse più cauto nelle sue affermazioni e più disposto a riconoscere il lavoro precedente, sarebbe probabilmente più facile per i lettori valutare ciò che offre: una prospettiva basata sull'automa cellulare sulle idee esistenti nella scienza.

— Joel Reyes Noche
fonte

2

Sai che Wolfram è un po '"controverso" tra gli informatici?

— Marcos Villagra,

6

Lascerei la risposta, come se il libro ispirasse le persone a saperne di più su TCS ecc., Quindi penso che conta, indipendentemente dal fatto che sia controverso (per analogia, pensa a quanti libri ispiratori ma controversi ci sono sull'evoluzione ... ). Vedi la recensione di Aaronson per alcune delle affermazioni tecniche: arxiv.org/abs/quant-ph/0206089 . (Se ti senti ancora a disagio nel mantenerlo, potresti mantenere la risposta ma aggiungi una nota che alcuni la considerano controversa.)

— Joshua Grochow,

14

La ricerca di imho wolframs è molto originale, pioneristica, utile e influente - mi sento esattamente il contrario, sotto tutti gli aspetti. Wolfram si prende il merito, ignora e licenzia il lavoro precedente di altre persone; sottolinea i punti banali mentre manca quelli più grandi; le sue generalizzazioni alla scienza tradizionale vengono rapidamente liquidate come ovviamente sbagliate. Il suo libro avrebbe dovuto essere intitolato A New (Kind of) Science .

— Jeffε,

4

Penso che questa sia una risposta perfettamente valida. Se Joel dice che lo ha ispirato, allora non c'è dubbio. Joel, penso che potresti anche aggiungere un po 'più di una retrospettiva, se puoi, su come pensi al libro una volta diventato uno scienziato.

— Vijay D,

3

Grazie per i commenti @VijayD, come ingegnere elettrico, mi sono interessato alla casualità. Ho scoperto un'infinita sequenza binaria che non si è ripetuta, ed è stato attraverso NKS che ho scoperto che era già conosciuta come sequenza Thue-Morse. Pertanto, NKS mi ha portato nel campo di studio noto come combinatoria delle parole.

— Joel Reyes Noche,

2

Il libro Algorithmic Adventures di Hromkovič è un raro tentativo di spiegare ad un vasto pubblico alcune idee davvero mainstream dell'informatica teorica.

— 042
fonte

0

ci sono molti riferimenti di questo tipo, sembrano aumentare, come alcuni hanno notato che sembra che siamo nel mezzo / vivendo un'età d'oro degli algoritmi. alcuni refs incentrati sugli algoritmi più recenti [quindi non così noti] non elencati finora che potrebbero essere interessanti, alcuni scritti da ricercatori / scienziati / esperti del TCS (Cormen, Valiant, Davis), altri da scrittori popsci:

inoltre, altri argomenti interessanti da notizie / titoli con una forte sovrapposizione tra TCS e la scrittura / libri di scienza popolare:

computazione quantistica
negoziazione ad alta frequenza ("HFT"). questo è un forte mix tra teoria e applicazione e utilizza tecniche avanzate di machine learning, datamining, statistica e matematica. [può nominare alcuni riferimenti su questo, ma sospetta che questo pubblico non lo consideri abbastanza "puro", quindi per ora si terrà.]
crittografia
bioinformatica
eccetera!

— VZN
fonte

1

I libri di Aaronson e Valiant sono già stati citati nelle loro stesse risposte. Hai letto tutti questi libri? In caso contrario, perché li stai raccomandando? Inoltre, puoi spiegare cosa ha a che fare la bioinformatica con l'informatica teorica? Direi che non c'è molta sovrapposizione. Lo stesso vale per HFT, sebbene ci siano alcune connessioni .

— Artem Kaznatcheev

non ha citato riferimenti a HFT o bioinformatica o agli altri argomenti che anticipavano obiezioni provenienti da punti di vista più ristretti sui limiti del TCS (che imho può essere abbastanza restrittivo qui e altri hanno concordato ). non era esattamente d'accordo con tutto il tuo blog [elaborato nel commento lì] ma pensi di aver sollevato un argomento utile per altre domande sul sito, ad esempio bioinformatica, ecc., possibilmente anche in meta. vedi anche bioinformatica

— vzn

addendum, un altro riferimento pulito / interessante / recente Comprendere il calcolo di Stewart / O'Reilly, copre le TM, la completezza delle TM ecc. usando Ruby

— vzn

vedi anche Think Complexity: Complexity Science and Computational Modeling di Downey / O'Reilly editore. copre CA, grafici [piccoli mondi], frattali, ecc. Codice Python. influenzato da Wolframs NKS.

— vzn,

λ

$\lambda$