Quels sont les livres scientifiques populaires qui inspirent le TCS?


24

Il y a une réputation, qu'en informatique, nous n'avons pas de livres de science populaire. Bien sûr, ce n'est pas vraiment vrai!

(Dans le même esprit de la liste des livres que tout le monde devrait savoir? , Quels papiers devraient tous lire? , Quelles vidéos doivent surveiller de tout le monde? Et inspiré du livre préféré mathématiques populaires )

Quels sont les livres ou ressources scientifiques populaires qui inspirent CS Theory?

S'il vous plaît avoir une description des raisons pour lesquelles le livre serait bien.


1
Que voulez-vous dire par «populaire»? «populaire» parmi les chercheurs / la communauté TCS? (quelque chose comme le livre: Michael Garey et David S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness)? Ou populaire parmi les gens du commun (dans ce cas, je pense qu'il est peu probable que ce soit une "ressource qui inspire" une théorie CS).
Marzio De Biasi


4
Je pense que la question devrait être wiki communautaire.
Boris Bukh,

2
Je pense que non technique , facilement accessible sont les bons mots clés ici.
Subhayan

2
Brian Hayes est un écrivain / vulgarisateur exceptionnel / primé de sujets liés à (T) CS (en particulier ceux qui se recoupent avec les mathématiques) dans sa chronique Computing Science pour le magazine American Scientist, dont la plupart sont disponibles en ligne , mais les éléments axés sur le TCS ne sont pas compilé dans un livre (encore?). bloguer sur "bit-player" .
vzn

Réponses:


20

Je connais de nombreux informaticiens théoriques dont la première inspiration est venue de la lecture de Godel, Escher, Bach

Cela devient un peu daté à ce stade, mais c'est toujours une excellente lecture.


1
Définitivement vrai.
Giorgio Camerani

8
Oui mais. À l'époque où j'étais étudiant diplômé, l'un des professeurs locaux d'IA m'a dit son secret pour sélectionner de bons doctorants dans le bassin de candidats. Si la déclaration d'intention d'un requérant mentionnait Gödel, Escher, Bach , il les rejetait.
Jeffε

5
"Saluez Goedel comme le plus grand logicien de tous les temps, montez les absurdités de la numérotation de Goedel sur une épingle et faites-en une sorte de super-puzzle. Cet enfouissement sous les fleurs est caractéristique de ce monument de la vulgarité", Goedel, Escher, Bach "." - Jean Yves Girard
Vijay D

3
Je pense que dans ce cas, comme dans de nombreux cas avec des livres de science populaire que les experts n'aiment pas, l'auteur n'est pas un expert dans le domaine et prend la liberté d'interpréter et de présenter des résultats d'une manière qu'un expert dans le domaine ne le ferait jamais.
Vijay D

4
J'ai lu GEB avant de connaître une théorie et je l'ai trouvé inspirant. À long terme, cependant, la seule vraie chose que j'en ai apprise est de savoir comment écrire d'une manière qui capture l'imagination populaire. Cependant, c'est une leçon très importante. J'ai récemment lu l'un des autres livres de Hofstadter (I Am a Strange Loop) et j'ai été submergé par la médiocrité de ses études (sans jamais reconnaître les philosophes antérieurs quand il leur vole ouvertement des idées). Cela m'a rendu triste de savoir que l'un des moyens les plus faciles de suivre un culte est de le faire. Je ne relirais jamais GEB, car cela ruinerait mon expérience antérieure.
Artem Kaznatcheev

14

Après avoir clarifié le sens (pas clair pour moi) de "science populaire" (merci Sasho :-) je propose:

Titre: Gagner des moyens pour vos jeux mathématiques (4 volumes)

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

Description: il peut être considéré comme un recueil d'informations sur les jeux mathématiques (des tonnes de jeux sont analysés: jeux de pièces de monnaie et de papier et de crayon, Soma, Rubik's Cube, casse-têtes mécaniques à fil et à cordes, casse-tête à blocs coulissants, carrés magiques, Life). Il est assez facile de plaire à tout amateur de mathématiques récréatives ou simplement à toute personne intéressée par les jeux et comment bien les jouer; mais je pense que cela a également été une source d'inspiration pour de nombreux résultats plus profonds dans la théorie des jeux combinatoires .

Addenda

Ce n'est pas un livre, mais je pense que la colonne «Jeux et loisirs mathématiques» de Martin Gardner pour Scientific American doit être citée.

Ressource: La colonne «Jeux et loisirs mathématiques» pour Scientific American

Auteur: Martin Gardner

Description: pendant 25 de ses 95 ans, Martin Gardner a écrit «Mathematical Games and Recreations», une chronique mensuelle pour le magazine Scientific American. Ces chroniques ont inspiré des centaines de milliers de lecteurs à approfondir le vaste monde des mathématiques. Il a également apporté une contribution importante à la magie, à la philosophie, à la démystification de la pseudoscience et à la littérature pour enfants. De nombreux livres de Martin Gardner sont des recueils d'extraits informatifs de sa chronique Scientific American (par exemple, Fractal Music, Hypercards and More ...: Mathematical Recreations from Scientific American Magazine, Wheels, Life and Other Mathematical Amusements, ecc. Ecc.).


Vote juste pour Martin Gardner. J'ai d'abord découvert le RSA à partir de Mathematical Games, qui a influencé ma carrière depuis lors.
nealmcb

11

L'informatique quantique de Scott Aaronson depuis Démocrite . Ce livre est une excellente introduction à l'informatique théorique et à l'informatique quantique pour les profanes ainsi que pour les étudiants débutants en informatique théorique. Contrairement à d'autres livres de science-fiction, ce livre est également rigoureux.


7

À l'intersection de la biologie évolutive et de l'informatique théorique, il y a deux livres récents.

  • Valiant "Probablement approximativement correct: les algorithmes de la nature pour apprendre et prospérer dans un monde complexe" , et

  • "Proving Darwin: Making Biology Mathematical" de Chaitin .

Les deux livres examinent l'évolution à travers la lentille algorithmique , le premier se concentrant sur la façon dont l'évolution, l'apprentissage et l'intelligence peuvent tous être exprimés dans le cadre PAC du Machine Learning . Le deuxième livre examine comment construire un modèle jouet d'innovation évolutive en utilisant la théorie de l'information algorithmique. Bien que les livres ne soient que vaguement liés à la biologie , ils présentent l'informatique d'une manière pop-sci standard et montrent comment elle est liée à des sujets plus courants en pop-sci, comme l'évolution.


1
nouvelle revue NYT de Valiant
vzn

6

J'ai commencé à m'intéresser au TCS après avoir lu les écrits de Scott Aaronson; l'un des précédents était Qui peut nommer le plus grand nombre? , qui a un côté pop-science

Un autre très bon que j'ai lu plus tard est pourquoi les philosophes devraient se soucier de la complexité informatique ; bien qu'écrite dans un style académique, je dirais que c'est de la "science populaire" dans la mesure où son public comprend des philosophes qui n'ont aucune expérience préalable du TCS.


6

À mon humble avis, je recommanderais ces livres "populaires":

  1. N'importe quel livre de James Gleick - Chaos , The Information
  2. Fire in the Valley , pour un compte rendu des débuts de l'histoire du PC
  3. Livres de Steven Levy : Insanely Great, In the Plex , Hackers , etc.

Et le grand maître, quoique un peu daté:

L'âme d'une nouvelle machine par Tracy Kidder


pensait à ajouter moi-même la référence Kidder [célèbre, influente, & like it] mais a décidé de ne pas le faire en fonction du public rigoureux ici. il est intéressant de noter une sorte de changement dans ce qui constitue le TCS au fil du temps sur la base des progrès de la théorie. Soul of New Machine, publié en 1981, était probablement beaucoup plus proche d'être considéré comme un TCS de pointe à l'époque, étant donné la relative relative microprocesseur. aujourd'hui, la conception du CPU, moins, beaucoup plus prosaïque / "appliquée". par conséquent, il y a un aspect "déplacement des poteaux de but dans le temps / inflation de complexité" vers TCS que cette référence révèle quelque peu.
vzn

Oui - L'information de Gleick est excellente!
nealmcb

5

La réponse évidente serait le livre de Lance Fortnow The Golden Ticket, mais je ne peux pas en dire plus, car je ne l'ai pas lu moi-même. (Si quelqu'un l'a lu et veut en dire plus, veuillez laisser une réponse séparée et je supprimerai celle-ci.)


1
Ma compréhension de «inspirer» est que les livres doivent être antérieurs au développement de TCS.
Yixin Cao

4
Cette interprétation conduit à une question extrêmement étroite. Pourquoi s'attendrait-on à ce qu'un livre scientifique populaire de l'extérieur du TCS ait inspiré le TCS dans ce sens?
David Richerby

5

J'ai aimé:

Charles Petzold: The Annotated Turing , qui est essentiellement un guide à travers le papier séminal de Turing et un ensemble de notes expliquant les choses.

J'ai aimé aussi:

Douglas Hofstadter: Metamagical Themas , à mon avis plus intéressant que GEB (qui est - selon certains des autres commentateurs - pas trop difficile à réaliser :)), ceci est une collection de ses colonnes dans Scientific American, popularisant de nombreuses idées intéressantes, bien que pas tous liés à CS, évidemment.

En tant que véritable livre populaire CS, beaucoup de gens semblent aimer:

AK Dewdney: Le nouveau Turing Omnibus , même si je n'ai pas eu la chance de le lire.


2

J'ai été inspiré par A New Kind of Science de Stephen Wolfram . Si je comprends bien, l'un des principaux thèmes du livre est que, alors que le principal outil de la science était les mathématiques (en particulier, les systèmes d'équations aux dérivées partielles), l'outil principal sera bientôt l'informatique (en particulier, les automates cellulaires ).

Edit : Il a été souligné dans les commentaires ci-dessous que le livre est controversé. Je cite une critique de Scott Aaronson:

[Si] le livre était plus prudent dans ses affirmations et plus disposé à reconnaître les travaux antérieurs, il serait probablement plus facile pour les lecteurs d'évaluer ce qu'il offre: une perspective basée sur un automate cellulaire sur les idées existantes en science.


2
Savez-vous que Wolfram est un peu "controversé" parmi les informaticiens?
Marcos Villagra

6
Je laisserais la réponse ouverte, comme si le livre inspirait les gens à en savoir plus sur TCS, etc., alors je pense que cela compte, qu'il soit ou non controversé (par analogie, pensez au nombre de livres inspirants mais controversés sur l'évolution ... ). Voir la revue d'Aaronson pour certaines des revendications techniques: arxiv.org/abs/quant-ph/0206089 . (Si vous n'êtes toujours pas à l'aise avec le fait de continuer, vous pouvez garder la réponse mais ajouter une note que certains considèrent comme controversée.)
Joshua Grochow

14
imho wolframs research est très original, pionnier, utile et influent - je ressens exactement le contraire, à tous points de vue. Wolfram prend le crédit pour, ignore et ou rejette le travail antérieur d'autres personnes; il met l'accent sur les points triviaux tout en en manquant de plus gros; ses généralisations à la science traditionnelle sont rapidement rejetées comme manifestement erronées. Son livre aurait dû être intitulé A New (Kind of) Science .
Jeffε

4
Je pense que c'est une très bonne réponse. Si Joel dit que cela l'a inspiré, alors cela ne fait aucun doute. Joel, je pense que vous pourriez aussi ajouter un peu plus d'une rétrospective, si vous le pouvez, de la façon dont vous pensez du livre une fois que vous êtes devenu un scientifique.
Vijay D

3
Merci pour les commentaires. @VijayD, en tant qu'ingénieur électricien, je me suis intéressé au hasard. J'ai découvert une séquence binaire infinie qui ne se répétait pas, et c'est grâce à NKS que j'ai découvert qu'elle était déjà connue sous le nom de séquence Thue-Morse. Ainsi, NKS m'a conduit dans le domaine d'étude connu sous le nom de combinatoire des mots.
Joel Reyes Noche

2

Le livre Algorithmic Adventures de Hromkovič est une rare tentative d'expliquer à un large public certaines idées vraiment dominantes de l'informatique théorique.


0

il existe de nombreuses références de ce type, elles semblent augmenter, comme certains l'ont noté, nous semblons être au milieu / vivre un âge d'or des algorithmes. certaines références plus récentes axées sur les algorithmes [donc pas si bien connues] non répertoriées jusqu'à présent qui peuvent être intéressantes, certaines écrites par des chercheurs / scientifiques / experts du TCS (Cormen, Valiant, Davis), d'autres par des écrivains popsci:

également, d'autres sujets intéressants des nouvelles / manchettes avec un fort chevauchement entre TCS et les écrits / livres de vulgarisation scientifique:


1
Les livres d' Aaronson et de Valiant ont déjà été mentionnés dans leurs propres réponses. As-tu lu tous ces livres? Sinon, pourquoi les recommandez-vous? Pouvez-vous également expliquer ce que la bioinformatique a à voir avec l'informatique théorique? Je dirais qu'il n'y a pas beaucoup de chevauchements. Il en va de même pour HFT, bien qu'il existe des connexions .
Artem Kaznatcheev

n'a pas cité de références sur le HFT ou la bioinformatique ou les autres sujets anticipant des objections provenant de vues plus étroites sur les frontières du TCS (qui à mon humble avis peuvent être assez restrictives ici et d' autres ont convenu ). Je n'étais pas exactement d'accord avec tout votre blog [développé dans un commentaire là-bas] mais pensez que vous avez soulevé un sujet intéressant pour d'autres questions sur le site, par exemple la bioinformatique, etc. éventuellement également dans la méta. voir aussi bioinformatique
vzn

addendum, une autre référence soignée / intéressante / récente Comprendre le calcul par Stewart / O'Reilly, couvre les MT, l'intégralité des MT, etc. en utilisant Ruby
vzn

voir également Think Complexity: Complexity Science and Computational Modeling par l'éditeur Downey / O'Reilly. couvre les autorités de certification, les graphes du [petit monde], les fractales, etc. Code Python. influencé par Wolframs NKS.
vzn

λ
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.