¿Cuáles son los libros de ciencia populares que inspiran TCS?

24

Existe la reputación de que, en informática, no tenemos libros de ciencias populares. ¡Por supuesto que eso no es realmente cierto!

(En el mismo espíritu de la lista de los libros que debería todo el mundo Leer? , ¿Qué documentos deben leer todo el mundo? , ¿Qué videos deben reloj todo el mundo? E inspirado a partir de los favoritos libro de matemáticas )

¿Cuáles son los libros o recursos de ciencia populares que inspiran la teoría CS?

Tenga una descripción de por qué el libro sería bueno.

big-list books

— Subhayan
fuente

1

¿Qué quieres decir con "popular"? "popular" entre los investigadores / comunidad de TCS? (algo así como el libro: Michael Garey y David S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness)? O popular entre la gente común (en este caso, creo que es poco probable que sea un "recurso que inspire" una teoría de CS).

— Marzio De Biasi

2

@MarzioDeBiasi en.wikipedia.org/wiki/Popular_science

— Sasho Nikolov

44

Creo que la pregunta debería ser wiki comunitaria.

— Boris Bukh

2

Creo que no técnicas , de fácil acceso son las buenas palabras clave aquí.

— Subhayan

2

Brian Hayes es un destacado / galardonado escritor / divulgador de temas relacionados con (T) CS (especialmente que se cruzan con las matemáticas) en su columna Computing Science para la revista American Scientist, la mayoría de los cuales están disponibles en línea , pero los elementos centrados en TCS no compilado en un libro (¿todavía?). blogueando en "bit-player" .

— vzn

20

Conozco a muchos científicos informáticos teóricos cuya primera inspiración vino de la lectura de Godel, Escher, Bach.

Se está volviendo un poco anticuado en este punto, pero sigue siendo una lectura excelente.

— Aaron Roth
fuente

1

Definitivamente cierto.

— Giorgio Camerani

8

Si pero. Cuando era un estudiante graduado, uno de los profesores locales de IA me contó su secreto para seleccionar buenos estudiantes de doctorado del grupo de solicitantes. Si la declaración de propósito de un solicitante mencionó a Gödel, Escher, Bach , los rechazó.

— Jeffε

55

"elogie a Goedel como el mejor lógico de todos los tiempos, monte los absurdos de la numeración de Goedel en un alfiler y conviértalo en una especie de súper rompecabezas. Este enterramiento debajo de las flores es característico de ese monumento de la vulgaridad", Goedel, Escher, Llevar una vida de soltero"." - Jean Yves Girard

— Vijay D

3

Creo que en este caso, como en muchos casos con libros de ciencias populares que no les gustan a los expertos, el autor no es un experto en el campo y se toma la libertad de interpretar y presentar los resultados de una manera que un experto en el campo nunca lo haría.

— Vijay D

44

Leí GEB antes de conocer cualquier teoría, y me pareció inspiradora. A la larga, sin embargo, lo único que aprendí de ella es cómo escribir de una manera que capture la imaginación popular. Sin embargo, esta es una lección muy importante. Recientemente leí uno de los otros libros de Hofstadter (I Am a Strange Loop) y me sentí abrumado por lo pobre que es su erudición (nunca reconoció a filósofos anteriores cuando les roba descaradamente ideas). Me entristeció saber que una de las formas más fáciles de seguir una secta es hacer esto. Nunca volvería a leer GEB, ya que arruinaría mi experiencia anterior.

— Artem Kaznatcheev

14

Después de aclarar el significado (poco claro para mí) de "ciencia popular" (gracias Sasho :-), propongo:

Título: Formas ganadoras para sus juegos matemáticos (4 volúmenes)

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

Descripción: se puede considerar un compendio de información sobre juegos matemáticos (se analizan toneladas de juegos: juegos de monedas y papel y lápiz, Soma, Cubo de Rubik, rompecabezas de cuerdas y alambres mecánicos, rompecabezas de bloques deslizantes, cuadrados mágicos, Vida). Es bastante fácil complacer a cualquier fanático de las matemáticas recreativas o simplemente a cualquiera que esté interesado en los juegos y en cómo jugarlos bien; pero creo que también ha sido una fuente de inspiración para muchos resultados más profundos en la teoría de juegos combinatorios .

Apéndice

No es un libro, pero creo que debe citarse la columna 'Juegos matemáticos y recreaciones' de Martin Gardner para Scientific American .

Recurso: La columna 'Juegos matemáticos y recreaciones' para Scientific American

Autor: Martin Gardner

Descripción: durante 25 de sus 95 años, Martin Gardner escribió 'Mathematical Games and Recreations', una columna mensual para la revista Scientific American. Estas columnas han inspirado a cientos de miles de lectores a profundizar en el gran mundo de las matemáticas. También ha realizado importantes contribuciones a la magia, la filosofía, la desacreditación de la pseudociencia y la literatura infantil. Muchos libros de Martin Gardner son colecciones de extractos informativos de su columna de Scientific American (por ejemplo, Fractal Music, Hypercards and More ...: Mathematical Recreations de Scientific American Magazine, Wheels, Life and Other Mathematical Amusements, ecc. Ecc.).

— Marzio De Biasi
fuente

Votado solo por Martin Gardner. La primera vez que aprendí sobre RSA fue en Mathematical Games, que ha influido en mi carrera desde entonces.

— nealmcb

11

La computación cuántica de Scott Aaronson desde Demócrito . Este libro es una excelente introducción a la informática teórica y la computación cuántica para principiantes, así como para los estudiantes principiantes de informática teórica. A diferencia de otros libros de ciencia pop, este libro también es riguroso.

— usuario774025
fuente

7

En la intersección de la biología evolutiva y la informática teórica hay dos libros recientes.

Valiant "Probablemente aproximadamente correcto: Algoritmos de la naturaleza para aprender y prosperar en un mundo complejo" , y
"Proving Darwin: haciendo que la biología sea matemática" de Chaitin .

Ambos libros analizan la evolución a través de la lente algorítmica , y el primero se concentra en cómo la evolución, el aprendizaje y la inteligencia se pueden expresar en el marco PAC de Machine Learning . El segundo libro analiza cómo construir un modelo de juguete de innovación evolutiva utilizando la teoría de la información algorítmica. Aunque los libros solo están conectados libremente con la biología , presentan la informática de una manera pop-ciencia estándar y muestran cómo se relaciona con temas más comunes en la ciencia pop, como la evolución.

— Artem Kaznatcheev
fuente

1

nueva revisión de NYT de Valiant

— vzn

6

Primero me interesé en TCS después de leer los escritos de Scott Aaronson; uno de los primeros fue ¿Quién puede nombrar el número más grande? , que tiene una sensación de ciencia pop

Otra muy buena que leí más adelante es Por qué los filósofos deberían preocuparse por la complejidad computacional ; Aunque escrito en un estilo académico, diría que es "ciencia popular", ya que su audiencia incluye filósofos que no tienen experiencia previa con TCS.

— zodíaco
fuente

6

En mi humilde opinión, recomendaría estos libros "populares":

Cualquier libro de James Gleick - Caos , la información
Fire in the Valley , para una cuenta del historial de PC temprano
Libros de Steven Levy : Insanely Great, In the Plex , Hackers , etc.

Y el gran maestro, aunque algo anticuado:

El alma de una nueva máquina de Tracy Kidder

— efutch
fuente

estaba pensando en agregar la referencia Kidder a mí mismo [famosa, influyente y me gusta], pero decidí no hacerlo en base a la audiencia rigurosa aquí. Es interesante notar un tipo de cambio en lo que constituye el TCS a lo largo del tiempo basado en los avances teóricos. Soul of New Machine, publicado en 1981, probablemente estaba mucho más cerca de ser considerado como TCS de vanguardia en ese momento dado lo relativamente nuevos que eran los microprocesadores. hoy, diseño de CPU, menos aún, mucho más prosaico / "aplicado". por lo tanto, hay un aspecto de "mover las metas a lo largo del tiempo / inflación compleja" a TCS que esa referencia revela algo.

— vzn

Sí, la información de Gleick es excelente.

— nealmcb

5

La respuesta obvia sería el libro The Golden Ticket de Lance Fortnow, pero no puedo decir nada más al respecto, ya que no lo he leído yo mismo. (Si alguien lo ha leído y quiere decir más, deje una respuesta por separado y la eliminaré).

— David Richerby
fuente

1

Mi entendimiento sobre "inspirar" es que los libros deben ser anteriores al desarrollo de TCS.

— Yixin Cao

44

Esa interpretación lleva a una pregunta extremadamente estrecha. ¿Por qué uno esperaría que un libro de ciencia popular fuera de TCS haya inspirado a TCS en ese sentido?

— David Richerby

5

Me gustó:

Charles Petzold: The Annotated Turing , que es esencialmente una guía a través del artículo seminal de Turing y un conjunto de notas que explican las cosas.

También me gustó:

Douglas Hofstadter: Metamagical Themas , en mi opinión, más interesante que GEB (que, según algunos de los comentaristas, no es demasiado difícil de lograr :)), esta es una colección de sus columnas en Scientific American, que populariza muchas ideas interesantes, aunque no todo está relacionado con CS, obviamente.

Como un libro popular de CS, a muchas personas parece gustarles:

AK Dewdney: The New Turing Omnibus , aunque no he tenido la oportunidad de leerlo.

— László Kozma
fuente

2

Me inspiré en A New Kind of Science de Stephen Wolfram . Si entiendo correctamente, uno de los temas principales del libro es que, si bien la herramienta principal en la ciencia solía ser la matemática (en particular, los sistemas de ecuaciones diferenciales parciales), la herramienta principal pronto será la informática (en particular, los autómatas celulares )

Editar : Se ha señalado en los comentarios a continuación que el libro es controvertido. Cito una reseña de Scott Aaronson:

[Si el libro fuera más cauteloso en sus afirmaciones y estuviera más dispuesto a reconocer trabajos anteriores, probablemente sería más fácil para los lectores evaluar lo que ofrece: una perspectiva basada en autómatas celulares sobre las ideas existentes en la ciencia.

— Joel Reyes Noche
fuente

2

¿Sabías que Wolfram es un poco "controvertido" entre los informáticos?

— Marcos Villagra

66

Dejaría la respuesta, como si el libro inspirara a la gente a aprender más sobre TCS, etc., entonces creo que eso cuenta, sea o no controvertido (por analogía, piense en cuántos libros inspiradores pero controvertidos hay sobre la evolución ... ) Consulte la revisión de Aaronson para conocer algunas de las afirmaciones técnicas: arxiv.org/abs/quant-ph/0206089 . (Si todavía se siente incómodo con seguir así, puede mantener la respuesta pero agregar una nota que algunos lo consideran controvertido)

— Joshua Grochow

14

La investigación de imho wolframs es muy original, pionera, valiosa e influyente . Creo que es todo lo contrario, en todos los sentidos. Wolfram se atribuye, ignora o descarta el trabajo previo de otras personas; él enfatiza puntos triviales mientras falta los más grandes; Sus generalizaciones a la ciencia tradicional son rápidamente descartadas como obviamente erróneas. Su libro debería haberse titulado Una nueva (clase de) ciencia .

— Jeffε

44

Creo que esta es una respuesta perfectamente buena. Si Joel dice que lo inspiró, entonces no hay duda de eso. Joel, creo que también podrías agregar un poco más de una retrospectiva, si puedes, de cómo piensas en el libro una vez que te conviertes en científico.

— Vijay D

3

Gracias por los comentarios. @VijayD, como ingeniero eléctrico, me interesé por la aleatoriedad. Descubrí una secuencia binaria infinita que no se repitió, y fue a través de NKS que descubrí que ya se conocía como la secuencia Thue-Morse. Por lo tanto, NKS me llevó al campo de estudio conocido como combinatoria en palabras.

— Joel Reyes Noche

2

El libro Algorithmic Adventures de Hromkovič es un raro intento de explicar algunas ideas realmente convencionales de la informática teórica a un público amplio.

— 042
fuente

0

Hay muchas referencias de este tipo, parecen estar aumentando, como algunos han notado que parece que estamos en medio de una era dorada de algoritmos. algunas referencias más nuevas centradas en algoritmos [por lo tanto, no tan conocidas] no figuran hasta ahora que pueden ser interesantes, algunas escritas por investigadores / científicos / expertos de TCS (Cormen, Valiant, Davis), otras por escritores de popsci:

también, otros temas interesantes de noticias / titulares con una fuerte superposición entre TCS y la escritura / libros de divulgación científica:

computación cuántica
comercio de alta frecuencia ("HFT"). Esta es una fuerte combinación entre teoría y aplicada, y utiliza técnicas avanzadas de aprendizaje automático, minería de datos, estadística y matemáticas. [Puede nombrar algunas referencias sobre esto, pero sospecha que esta audiencia no lo considerará lo suficientemente "puro", por lo que esperará por ahora.]
criptografía
bioinformática
etc!

— vzn
fuente

1

Los libros de Aaronson y Valiant ya han sido mencionados en sus propias respuestas. ¿Has leído todos estos libros? Si no es así, ¿por qué los recomienda? Además, ¿puede explicar qué tiene que ver la bioinformática con la informática teórica? Yo diría que no hay tanta superposición. Similar va para HFT, aunque hay algunas conexiones .

— Artem Kaznatcheev

no citó referencias sobre HFT o bioinformática o los otros temas que anticipan objeciones originadas desde puntos de vista más estrechos sobre los límites de TCS (que en mi opinión pueden ser bastante restrictivos aquí y otros han acordado ). no estaba exactamente de acuerdo con todo su blog [elaborado en el comentario allí] pero creo que ha planteado un tema que vale la pena para otras preguntas del sitio, por ejemplo, bioinformática, etc. posiblemente también en meta. ver también bioinformática

— vzn

Anexo, otra referencia ordenada / interesante / reciente El cómputo de comprensión por Stewart / O'Reilly, cubre TMs, completitud de TM, etc. usando Ruby

— vzn

vea también Think Complexity: Complexity Science and Computational Modeling por el editor Downey / O'Reilly. cubre CAs, gráficas [mundo pequeño], fractales, etc. Código Python. influenciado por Wolframs NKS.

— vzn

λ

$\lambda$