Quais são os livros científicos populares que inspiram o TCS?

Há uma reputação de que, na ciência da computação, não temos livros populares de ciência. Claro que isso não é verdade!

(No mesmo espírito da lista de que os livros devem Todo mundo Read? , Que documentos devem todos ler? , O que vídeos deve relógio todos? E inspirado a partir Favorita livro de matemática populares )

Quais são os livros ou recursos científicos populares que inspiram a Teoria da CS?

Por favor, tenha uma descrição sobre por que o livro seria legal.

Conheço muitos cientistas da computação teóricos cuja primeira inspiração veio da leitura de Godel, Escher, Bach

Está se tornando um pouco datado neste momento, mas ainda é uma excelente leitura.

Depois de esclarecer o significado (obscuro para mim) de "ciência popular" (obrigado Sasho :-), proponho:

Título: Vencendo maneiras de suas peças matemáticas (4 volumes)

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

Descrição: pode ser considerado um compêndio de informações sobre jogos matemáticos (são analisados ​​muitos jogos: jogos de moedas e papel e lápis, Soma, Cubo de Rubik, quebra-cabeças mecânicos de fios e cordas, quebra-cabeças de blocos deslizantes, quadrados mágicos, Life). É fácil o suficiente para agradar qualquer fã de matemática recreativa ou simplesmente qualquer pessoa interessada em jogos e como jogá-los bem; mas acho que também foi uma fonte de inspiração para muitos resultados mais profundos na teoria combinatória dos jogos .

Termo aditivo

Não é um livro, mas acho que deve ser citada a coluna 'Jogos e Recreações' de Martin Gardner para a Scientific American .

Recurso: A coluna 'Jogos e Recriações Matemáticas' da Scientific American

Autor: Martin Gardner

Descrição: durante 25 de seus 95 anos, Martin Gardner escreveu 'Mathematics Games and Recreations', uma coluna mensal da revista Scientific American. Essas colunas inspiraram centenas de milhares de leitores a mergulhar mais profundamente no grande mundo da matemática. Ele também fez contribuições significativas para magia, filosofia, desmascarar pseudociência e literatura infantil. Muitos livros de Martin Gardner são coleções de extratos informativos de sua coluna da Scientific American (por exemplo: Música Fractal, Mais ... cartões: Mais ...: recriações matemáticas da Scientific American Magazine, Wheels, Life e outros divertimentos matemáticos, etc.).

Computação quântica de Scott Aaronson desde Demócrito . Este livro é uma excelente introdução à ciência da computação teórica e à computação quântica para leigos, além de iniciar estudantes de ciência da computação teórica. Ao contrário de outros livros de ciências pop, este livro também é rigoroso.

Na interseção da biologia evolutiva e da ciência da computação teórica, existem dois livros recentes.

• Valiant, "provavelmente aproximadamente correto: os algoritmos da natureza para aprender e prosperar em um mundo complexo" , e

• Chaitin, "Proving Darwin: Making Biology Matemático" .

Ambos os livros analisam a evolução através das lentes algorítmicas , com o primeiro concentrando-se em como evolução, aprendizado e inteligência podem ser expressos na estrutura PAC do Machine Learning . O segundo livro, mostra como construir um modelo de brinquedo da inovação evolutiva usando a teoria algorítmica da informação. Embora os livros estejam apenas vagamente conectados à biologia , eles apresentam a ciência da computação de uma maneira pop-sci padrão e mostram como ela se relacionava com tópicos mais comuns na pop-sci, como a evolução.

Eu me interessei pela TCS depois de ler os escritos de Scott Aaronson; um dos anteriores era Quem pode nomear o número maior? , que tem uma sensação de ciência pop

Outro muito bom que li depois é Por que os filósofos devem se preocupar com a complexidade computacional ; embora escrito em estilo acadêmico, eu diria que é "ciência popular", pois seu público inclui filósofos que não têm experiência anterior com o TCS.

IMHO, eu recomendaria estes livros "populares":

1. Qualquer livro de James Gleick - Chaos , The Information
2. Fire in the Valley , por um relato da história inicial do PC
3. Livros por Steven Levy : Insanely Great, In the Plex , Hackers , etc.

E o grão-mestre, embora um pouco datado:

A alma de uma nova máquina por Tracy Kidder

A resposta óbvia seria o livro de Lance Fortnow, The Golden Ticket, mas não posso dizer mais nada sobre isso, pois eu mesmo não o li. (Se alguém leu e quer dizer mais, deixe uma resposta separada e eu a excluirei.)

Eu gostei:

Charles Petzold: The Annotated Turing , que é essencialmente um guia do artigo seminal de Turing e um conjunto de notas explicando as coisas.

Eu também gostei:

Douglas Hofstadter: Metamagical Themas , na minha opinião, mais interessante que o GEB (que é - segundo alguns dos outros comentaristas - não é muito difícil de conseguir :)), esta é uma coleção de suas colunas na Scientific American, popularizando muitas idéias interessantes, embora nem todos relacionados à CS, obviamente.

Como um livro popular de CS, muitas pessoas parecem gostar:

AK Dewdney: O novo ônibus de Turing , embora eu não tenha tido a chance de lê-lo.

Eu fui inspirado por Um Novo Tipo de Ciência, de Stephen Wolfram . Se bem entendi, um dos principais temas do livro é que, enquanto a principal ferramenta da ciência costumava ser a matemática (em particular, sistemas de equações diferenciais parciais), a principal ferramenta em breve será a ciência da computação (em particular os autômatos celulares )

Edit : Foi apontado nos comentários abaixo que o livro é controverso. Cito uma revisão de Scott Aaronson:

[Se o livro fosse mais cauteloso em suas reivindicações e mais disposto a reconhecer trabalhos anteriores, provavelmente seria mais fácil para os leitores avaliar o que ele oferece: uma perspectiva baseada em autômatos celulares sobre as idéias existentes na ciência.

O livro Algorithmic Adventures, de Hromkovič, é uma rara tentativa de explicar algumas idéias realmente importantes da ciência da computação teórica para um grande público.

existem muitas referências, elas parecem estar aumentando, como alguns observaram que parecemos estar no meio / vivendo uma era de ouro de algoritmos. algumas referências mais recentes focadas em algoritmos [portanto não tão conhecidas] não listadas até o momento que possam ser interessantes, algumas escritas por pesquisadores / cientistas / especialistas da TCS (Cormen, Valiant, Davis), outras por escritores de popsci:

• Nove algoritmos que mudaram o futuro: as idéias engenhosas que impulsionam os computadores atuais MacCormick
• Automatize isto: Como os algoritmos vieram para governar nosso guia mundial
• O advento do algoritmo: a jornada de 300 anos de uma idéia ao computador Berlinski
• Algoritmos desbloqueados Cormen
• Provavelmente aproximadamente correto: os algoritmos da natureza para aprender e prosperar em um mundo complexo e valente
• Fora de suas mentes: as vidas e descobertas de 15 grandes cientistas da computação Sasha / Lazere
• Motores de lógica: matemáticos e a origem do computador Davis

Além disso, outros tópicos interessantes de notícias / manchetes com uma forte sobreposição entre TCS e livros / textos científicos populares:

• Computação quântica
  • Computação quântica desde Democritus Aaronson
  • O processador de Feynman: emaranhamento quântico e a revolução da computação Milburn
  • MENTES, MÁQUINAS E MULTIVERSOS: A QUESTÃO DO COMPUTADOR QUANTUM Brown
• negociação de alta frequência ("HFT"). Essa é uma forte mistura entre teoria e aplicada e usa técnicas avançadas de aprendizado de máquina, datamining, estatística e matemática. [pode citar alguns árbitros sobre isso, mas suspeitar que esse público não o considerará "puro" o suficiente, por isso vai adiar por enquanto.]
• criptografia
• bioinformática
• etc!