TCS'ye ilham veren popüler bilim kitapları nelerdir?


24

Bilgisayar bilimlerinde popüler bilim kitaplarımızın olmadığı bir ün vardır. Elbette bu doğru değil!

(Listesinin aynı ruhla neler Kitaplar Meli Herkes okuyun? , Kağıtları herkesin okumalısınız Ne? , Videolar herkes izle? Gerekenler ve ilham Favori popüler matematik kitabı )

CS Teorisine ilham veren popüler bilim kitapları veya kaynakları nelerdir?

Lütfen kitabın neden iyi olacağı hakkında bir açıklama yapın.


1
"Popüler" ile ne demek istiyorsun? TCS araştırmacısı / topluluğu arasında "popüler" mi? (kitap gibi bir şey: Michael Garey ve David S. Johnson, Bilgisayarlar ve Yönetilebilirlik: NP-Tamamlanma Teorisi Rehberi)? Veya sıradan insanlar arasında popüler (bu durumda, bir CS teorisine ilham veren bir kaynak olmasının mümkün olmadığını düşünüyorum).
Marzio De Biasi 13:13


4
Bence soru topluluk wiki olmalı.
Boris Bukh

2
Teknik olmayan , kolay erişilebilir , burada iyi anahtar kelimeler olduğunu düşünüyorum .
Subhayan

2
Brian Hayes , çoğu olan American Scientist dergisinde, onun sütununda Bilgisayar Bilimi (T) CS-ilgili konulara (özellikle matematik ile kesişen) seçkin / ödüllü yazar / yaygınlaşmasında olan çevrimiçi mevcut , fakat elemanlarını değil TCS odaklı Bir kitapta derlendi (henüz?). "bit oynatıcı" da blog yazıyor .
13'te

Yanıtlar:


20

İlk ilham kaynağı Godel, Escher, Bach okumaktan gelen birçok teorik bilgisayar bilimcisini tanırım.

Bu noktada biraz tarihli olmakla birlikte, hala mükemmel bir okuma.


1
Kesinlikle doğru.
Giorgio Camerani

8
Evet ama. Lisansüstü öğrenciyken, yerel AI fakültelerinden biri bana başvuru havuzundan iyi doktora öğrencileri seçmenin sırrını anlattı. Bir başvuranın amaç beyanı Gödel, Escher, Bach'tan bahsetmişse , reddetti.
Jeffε

5
Goedel, Escher, “Goedel'i tüm zamanların en iyi logisti olarak selamla, Goedel numaralandırmasının saçmalıklarını bir iğneye monte et ve bir çeşit süper-bulmaca yap.” Bach "" - Jean Yves Girard
Vijay D

3
Bu durumda, uzmanların beğenmediği popüler bilim kitaplarının olduğu pek çok vakada olduğu gibi yazarın bu alanda uzman olmadığını ve sonuçları alandaki bir uzmanın asla olmayacağı şekilde yorumlama ve sunma özgürlüğünü aldığını düşünüyorum.
Vijay D

4
Herhangi bir cstheory öğrenmeden önce GEB'yi okudum ve ilham verici buldum. Uzun vadede, ondan öğrendiğim tek gerçek şey, popüler hayal gücünü yakalayacak şekilde nasıl yazılacağı. Ancak, bu çok önemli bir derstir. Kısa bir süre önce Hofstadter'ın diğer kitaplarından birini (Ben Garip Bir Döngüdüm) okudum ve bursunun ne kadar fakir olduğuna şaşkınlık duydum (daha önce filozofları onlardan fikirlerini çaldığında asla kabul etmiyordum). Bir tarikatın en kolay yollarından birinin bunu yapmak olduğunu bilmek beni üzdü. GEB'yi asla tekrar okumam çünkü daha önceki tecrübelerimi mahveder.
Artem Kaznatcheev

14

"Popüler bilimin" (benim için belirsiz olan) anlamını açıkladıktan sonra (teşekkürler Sasho :-) Önerim:

Eser: Matematiksel Oyunlarınız için Kazanma Yolları (4 cilt)

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

Açıklama: matematiksel oyunlar hakkındaki bilgilerin bir özeti olarak düşünülebilir (tonlarca oyun analiz edilir: madeni para ve kağıt-kalem oyunları, Soma, Rubik Küpü, mekanik tel ve telli bulmacalar, kayan bloklu bulmacalar, sihirli kareler, Yaşam). Herhangi bir eğlence matematiği hayranını ya da sadece oyunlarla ilgilenen herkesi ve onları nasıl iyi oynayacağını memnun etmek yeterince kolaydır; ama aynı zamanda kombinatoryal oyun teorisindeki daha derin sonuçlar için bir ilham kaynağı olduğunu düşünüyorum .

ek

Bu bir kitap değil, ama bence Martin Gardner'in Scientific American için 'Matematiksel Oyunlar ve Rekreasyonlar' sütununa atıf yapılması gerekiyor .

Kaynak: Scientific American için 'Matematiksel Oyunlar ve Rekreasyonlar' sütunu

Yazar: Martin Gardner

Açıklama: 95 yılın 25 yılında Martin Gardner, Scientific American dergisinin aylık bir sütunu olan 'Matematiksel Oyunlar ve Rekreasyonlar' yazdı. Bu sütunlar yüz binlerce okurun büyük matematik dünyasına daha derinden dalması için ilham verdi. Ayrıca sihir, felsefe, aldatmaca sahte bilim ve çocuk edebiyatına önemli katkılarda bulundu. Martin Gardner'in kitaplarının çoğu, Scientific American sütunundan (örneğin Fraktal Music, Hypercards ve daha fazlası ...: Scientific American Magazine'den Matematiksel Rekreasyonlar, Tekerlekler, Yaşam ve Diğer Matematiksel Eğlence, ecc.


Sadece Martin Gardner için oy verildi. İlk defa kariyerimi etkileyen Matematiksel Oyunlardan RSA'yı öğrendim.
nealmcb

11

Scott Aaronson'un Demokrit'ten Beri Kuantum Hesaplaması . Bu kitap, teorik bilgisayar bilimi ve öğrencilere teorik bilgisayar bilimi öğrencilerinin yanı sıra, meslekten olmayan insanlar için kuantum hesaplama konusunda mükemmel bir giriş niteliğindedir. Diğer pop bilim kitaplarının aksine, bu kitap da oldukça titiz.


7

Evrimsel biyoloji ve teorik bilgisayar biliminin kesişme noktasında iki yeni kitap var.

  • Valiant'ın "Muhtemelen Yaklaşık Doğru: Doğa'nın Karmaşık Bir Dünyada Öğrenme ve Başarılı Olma Algoritmaları" ve

  • Chaitin'in "Darwin'i Kanıtlamak: Biyolojiyi Matematiksel Yapmak" .

Her iki kitap da, evrim, öğrenme ve zekanın Makine Öğrenimi'nin PAC çerçevesinde nasıl ifade edilebileceğine odaklanan ilk bakışta algoritmik lens aracılığıyla evrime bakar . İkinci kitap, algoritmik bilgi teorisini kullanarak evrimsel inovasyonun oyuncak modelinin nasıl oluşturulduğuna bakar. Her ne kadar kitaplar sadece biyolojiyle gevşek bir şekilde bağlantılı olsalar da, bilgisayar bilimlerini standart bir pop-up yöntemle sunarlar ve pop-bilimdeki evrim gibi daha yaygın konularla nasıl ilişkili olduğunu gösterirler.



6

İlk önce Scott Aaronson'un yazılarını okuduktan sonra TCS ile ilgilenmeye başladım; öncekilerden biri Büyük Sayıyı Kim Adlandı? Bir pop-bilim var hissediyorum ki,

Daha sonra okuduğum bir diğer çok iyi yazı ise, filozofların neden hesaplama karmaşıklığına dikkat etmeleri gerektiğidir ; akademik bir tarzda yazılmış olmasına rağmen, izleyicisinin TCS ile daha önce hiç tecrübesi olmayan filozofları içerdiği için "popüler bilim" olduğunu söyleyebilirim.


6

IMHO, bu "popüler" kitapları tavsiye ederim:

  1. Tarafından herhangi bir kitap James Gleick'in - Chaos , Bilgi
  2. Erken PC geçmişi için Valley'de yangın
  3. Steven Levy tarafından Kitaplar : Delicesine Harika, Plekside , Hackerlar , vb.

Ve büyük usta, biraz tarihli olsa:

Tracy Kidder'den Yeni Bir Makinenin Ruhu


Kidder ref'i kendim [ünlü, etkili ve beğenmiş] olarak eklemeyi düşünüyordum, ancak buradaki sıkı izleyici kitlesine dayanarak buna karşı karar verdim. Teorideki ilerlemelere dayanarak zaman içinde TCS'yi oluşturan şeyde bir kayma olduğunu belirtmek ilginçtir. 1981'de yayınlanan New Machine'in Ruhu, nispeten yeni mikroişlemcilerin ne kadar görüldüğü göz önüne alındığında, TCS'nin son teknoloji olarak kabul edilmesine çok daha yakındı. Bugün, CPU tasarımı, daha az, çok daha prosaic / "uygulamalı". Bu nedenle, bir nevi açıkça ortaya koyan, "hedeflerin zaman / karmaşıklık enflasyonu boyunca hedef enflasyonu hareketini" TCS'ye taşıması.
saat

Evet - Gleick'in Bilgisi mükemmel!
nealmcb

5

Açık cevap Lance Fortnow'un Altın Bilet kitabı olacaktı ama kendim okumadığım için bu konuda daha fazla bir şey söyleyemem. (Biri okuduysa ve daha fazlasını söylemek istiyorsa, lütfen ayrı bir cevap bırakın, ben bunu sileceğim.)


1
“İlham” konusundaki anlayışım, kitapların TCS'nin gelişimini öngörmesi gerektiği yönünde.
Yixin Cao,

4
Bu yorum çok dar bir soruya yol açar. İnsan neden TCS dışından popüler bir bilim kitabının bu anlamda TCS'ye ilham vermesini beklesin ki?
David Richerby

5

Beğendim:

Charles Petzold: Temel olarak Turing'in dönem ödevi ve olayları açıklayan bir dizi not aracılığıyla bir rehber olan Annotated Turing .

Ben de begendim:

Douglas Hofstadter: Metamajik Temalar , bence GEB'den daha ilginç (ki bu - diğer yorum yapanların bazılarına göre - elde edilmesi çok zor değil :)), bu, Scientific American'daki birçok ilginç fikrini popülerleştiren sütunlarının bir koleksiyonudur. Tüm CS ile ilgili olmasa da, açıkça.

Uygun bir CS popüler kitabı olarak, birçok insanın sevdiği görünüyor:

AK Dewdney: Yeni Turing Omnibus , okuma şansım olmamasına rağmen.


2

Stephen Wolfram'ın Yeni Bir Bilim Türünden ilham aldım . Doğru anlarsam, kitabın ana temalarından biri, bilimdeki ana araç matematik (özellikle kısmi diferansiyel denklem sistemleri) iken, ana araç yakında bilgisayar bilimi (özellikle hücresel otomatlar) olacaktı. ).

Düzenleme : Aşağıdaki yorumlarda kitabın tartışmalı olduğu belirtilmiştir. Scott Aaronson'dan bir inceleme alıntı :

[W] kitap iddialarında daha temkinli ve önceki çalışmaları kabul etmek konusunda daha istekliyse, okuyucular için neler sunduğunu değerlendirmek daha kolay olurdu: bilimde mevcut fikirlere hücresel-otomat tabanlı bir bakış açısı.


2
Wolfram'ın bilgisayar bilimcileri arasında biraz "tartışmalı" olduğunun farkında mısın?
Marcos Villagra

6
Sanki kitap insanlara TCS hakkında daha fazla bilgi edinme konusunda ilham veriyormuş gibi cevap veririm. Daha sonra tartışmalı olup olmadığını (benzeterek, kaç tane ilham verici, ancak tartışmalı kitapların evrimle ilgili olduğunu düşünün) sayılır. ). Teknik iddiaların bazıları için Aaronson'un incelemesine bakın: arxiv.org/abs/quant-ph/0206089 . (Devam etmekten hala rahatsızlık duyuyorsanız, cevabı
saklayabilirsiniz

14
imho wolframs araştırması çok özgün, öncü, değerli ve etkilidir - her konuda tam tersini hissediyorum. Wolfram, başkalarının önceki çalışmalarını kabul eder, dikkate almaz ve reddeder; daha büyüklerini özlerken önemsiz noktaları vurgular; geleneksel bilime yaptığı genellemeler açıkça açıkça yanlış olduğu için reddedilir. Kitabında Yeni (Bir Tür) Bilim başlıklı olmalıydı .
Jeffε

4
Bence bu mükemmel bir cevap. Joel ona ilham verdiğini söylerse, bunu sorgulama yoktur. Joel, sanırım, bir bilimci olduktan sonra kitabı nasıl düşündüğünüzü düşünerek, biraz daha geriye bir bakış açısı ekleyebileceğinizi düşünüyorum.
Vijay D

3
Yorumlarınız için teşekkürler. @VijayD, bir elektrik mühendisi olarak rastgelelikle ilgilenmeye başladım. Tekrarlanmayan sonsuz bir ikili dizilim keşfettim ve NKS aracılığıyla zaten Thue-Morse dizisi olarak bilindiğini keşfettim. Böylece, NKS beni kelimeler üzerinde birleştirici olarak bilinen çalışma alanına yönlendirdi.
Joel Reyes Noche

2

Hromkovič'in Algoritmik Maceraları kitabı , teorik bilgisayar bilimi ile ilgili bazı temel fikirleri geniş bir izleyici kitlesine açıklamak için nadir bir girişimdir.


0

bu tür birçok referans var, bazıları artmış görünüyor, bazıları bizim de bir algoritmaların Altın Çağı'nın ortasında / yaşamında olduğumuzu belirtti. bazı daha yeni algoritma odaklı referanslar [bu yüzden çok iyi bilinmemektedir] şu ana kadar ilginç olabilir, bazıları TCS araştırmacıları / bilim adamları / uzmanları (Cormen, Valiant, Davis), bazıları ise popsci yazarları tarafından yazılmıştır:

ayrıca, TCS ile popüler bilim yazma / kitaplar arasında güçlü bir örtüşme olan haber / manşetlerden diğer ilginç konular:


1
Aaronson'un ve Valiant'ın kitaplarının kendi cevaplarında zaten bahsedilmiştir. Bütün bu kitapları okudun mu? Eğer değilse, o zaman neden onları öneriyorsunuz? Ayrıca, biyoinformatiğin teorik bilgisayar bilimi ile ne yapması gerektiğini açıklayabilir misiniz? Bu kadar örtüşme olmadığını savunuyorum . Bazı bağlantılar olmasına rağmen benzerliği HFT için de geçerli .
Artem Kaznatcheev

HFT ya da biyoinformatik ya da TCS sınırları hakkındaki daha dar görüşlerden kaynaklanan itirazları öngören diğer konulara değinmedi (buradakiler burada ve diğerlerinin de oldukça kısıtlayıcı olabileceği konusunda ). tüm blogunuzla tam olarak aynı fikirde değildi, [oradaki yorumda ayrıntılı olarak belirtilmişti], ancak muhtemelen meta olarak da biyoenformatik vb. gibi diğer site soruları için değerli bir konuyu gündeme getirdiğinizi düşünüyorum. ayrıca bakınız biyoinformatik
vzn 20:13

Zeyilname, bir başka temiz / ilginç / yeni referans Stewart / O'Reilly tarafından yapılan hesaplamanın anlaşılması Ruby
vzn 21:13

ayrıca bakınız Düşün Karmaşıklık: Karmaşıklık Bilimi ve Downey / O'Reilly yayıncısı tarafından Hesaplamalı Modelleme . CA'ları, [küçük dünya] grafiklerini, fraktallarını vb. kapsar. Python kodu. Wolframs NKS'den etkilenmiştir.
saat

λ
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.