หนังสือวิทยาศาสตร์ยอดนิยมอะไรบ้างที่เป็นแรงบันดาลใจให้ TCS?


24

มีชื่อเสียงว่าในวิทยาศาสตร์คอมพิวเตอร์เราไม่มีหนังสือวิทยาศาสตร์ยอดนิยม แน่นอนว่าไม่จริงเลย!

(ในจิตวิญญาณเดียวกันของรายการของสิ่งที่หนังสือควรอ่านทุกคน? , สิ่งที่เอกสารทุกคนควรอ่าน? , สิ่งที่ควรดูวิดีโอทุกคนได้อย่างไรและแรงบันดาลใจจากหนังสือคณิตศาสตร์ที่นิยมชื่นชอบ )

หนังสือหรือแหล่งข้อมูลวิทยาศาสตร์ยอดนิยมอะไรบ้างที่เป็นแรงบันดาลใจให้ CS Theory

กรุณามีคำอธิบายเกี่ยวกับสาเหตุที่หนังสือเล่มนี้ดี


1
คุณหมายถึงอะไรกับ "ยอดนิยม"? "ได้รับความนิยม" ในหมู่นักสำรวจ / ชุมชนของ TCS หรือไม่? (บางอย่างเช่นหนังสือ: Michael Garey และ David S. Johnson, คอมพิวเตอร์และ Intractability: คู่มือสำหรับทฤษฎีความสมบูรณ์แบบ NP)? หรือเป็นที่นิยมในหมู่คนทั่วไป (ในกรณีนี้ฉันคิดว่ามันไม่น่าจะเป็น "ทรัพยากรที่เป็นแรงบันดาลใจ" ทฤษฎี CS)
Marzio De Biasi


4
ฉันคิดว่าคำถามควรเป็นชุมชนวิกิ
Boris Bukh

2
ผมคิดว่าไม่ใช่ทางด้านเทคนิค , เข้าถึงได้อย่างง่ายดายเป็นคำหลักที่ดีที่นี่
Subhayan

2
Brian Hayesเป็นนักเขียน / ผู้ได้รับรางวัลยอดเยี่ยมจาก (T) หัวข้อที่เกี่ยวข้องกับ CS (โดยเฉพาะกับคณิตศาสตร์) ในคอลัมน์ Computing Science for American Scientist magazine ซึ่งส่วนใหญ่มีออนไลน์แต่องค์ประกอบที่เน้น TCS ไม่ใช่ เรียบเรียงเป็นหนังสือ (หรือยัง) บล็อกที่"บิตผู้เล่น"
vzn

คำตอบ:


20

ฉันรู้ว่านักวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีหลายคนมีแรงบันดาลใจมาจากการอ่านGodel, Escher, Bach

มันกลายเป็นวันที่บิต ณ จุดนี้ แต่ก็ยังคงเป็นอ่านที่ยอดเยี่ยม


1
จริงแน่นอน
Giorgio Camerani

8
ใช่ แต่ ย้อนกลับไปตอนที่ฉันเป็นนักศึกษาบัณฑิตหนึ่งในคณะ AI ท้องถิ่นบอกความลับของเขาในการเลือกนักศึกษาปริญญาเอกที่ดีจากกลุ่มผู้สมัคร หากคำแถลงจุดประสงค์ของผู้สมัครกล่าวถึงGödel, Escher, Bachเขาปฏิเสธพวกเขา
Jeff

5
"สวัสดี Goedel ในฐานะนักตรรกวิทยาที่ยิ่งใหญ่ที่สุดตลอดกาลวางความไร้สาระของ Goedel ไว้บนพินและทำให้มันเป็นปริศนาสุดวิเศษ - ฝัง - ใต้ดอกไม้นี้เป็นลักษณะของอนุสาวรีย์แห่งความหยาบคาย" Goedel, Escher โสด "" - Jean Yves Girard
Vijay D

3
ฉันคิดว่าในกรณีนี้เนื่องจากในหลาย ๆ กรณีที่มีหนังสือวิทยาศาสตร์ยอดนิยมที่ผู้เชี่ยวชาญไม่ชอบผู้เขียนไม่ใช่ผู้เชี่ยวชาญในสาขานี้และใช้เสรีภาพในการตีความและนำเสนอผลลัพธ์ในแบบที่ผู้เชี่ยวชาญในสาขาไม่เคยทำ
วีเจย์ D

4
ฉันอ่าน GEB ก่อนที่ฉันจะรู้ว่าโรงใด ๆ และพบว่ามันเป็นแรงบันดาลใจ แต่ในระยะยาวสิ่งเดียวที่ฉันเรียนรู้จากมันคือการเขียนในแบบที่ดึงดูดจินตนาการยอดนิยม อย่างไรก็ตามนี่เป็นบทเรียนที่สำคัญมาก ฉันเพิ่งอ่านหนึ่งในหนังสืออื่น ๆ ของ Hofstadter (I Am a Strange Loop) และถูกครอบงำด้วยความยากจนของทุนการศึกษาของเขาคือ (ไม่เคยยอมรับนักปรัชญาก่อนหน้านี้เมื่อเขาขโมยความคิดจากพวกเขาโจ๋งครึ่ม) มันทำให้ฉันเศร้าที่รู้ว่าวิธีที่ง่ายที่สุดวิธีหนึ่งในการติดตามลัทธิคือทำสิ่งนี้ ฉันจะไม่อ่านซ้ำ GEB เพราะจะทำลายประสบการณ์ก่อนหน้านี้ของฉัน
Artem Kaznatcheev

14

หลังจากชี้แจงความหมาย (ไม่ชัดเจนสำหรับฉัน) ของ "วิทยาศาสตร์ยอดนิยม" (ขอบคุณ Sasho :-) ฉันเสนอ:

หัวข้อ:วิธีการชนะสำหรับการเล่นคณิตศาสตร์ของคุณ (4 เล่ม)

ผู้เขียน: Elwyn R. Berlekamp, ​​John H. Conway, Richard K. Guy

คำอธิบาย:มันสามารถนำมาพิจารณาเป็นบทสรุปของข้อมูลเกี่ยวกับเกมทางคณิตศาสตร์ (มีการวิเคราะห์เกมเป็นจำนวนมาก: เกมเหรียญและกระดาษและดินสอ Soma Cube ของรูบิคลวดเชิงกลและสตริงปริศนาตัวต่อบล็อกสี่เหลี่ยมมายากลชีวิต) มันง่ายพอที่จะทำให้แฟน ๆ ชื่นชอบคณิตศาสตร์ด้านนันทนาการหรือใครก็ตามที่สนใจในเกมและวิธีการเล่นให้ดี แต่ผมคิดว่ามันก็ยังได้รับแหล่งที่มาของแรงบันดาลใจเพื่อให้ได้ผลลัพธ์ลึกจำนวนมากในทฤษฎีเกม combinatorial

ภาคผนวก

มันไม่ใช่หนังสือ แต่ฉันคิดว่าคอลัมน์ 'Mathematical Games and Recreations' ของ Martin Gardner สำหรับ Scientific American ต้องได้รับการอ้างถึง

ทรัพยากร: คอลัมน์ 'เกมคณิตศาสตร์และการพักผ่อนหย่อนใจ' สำหรับ Scientific American

ผู้แต่ง: Martin Gardner

คำอธิบาย:สำหรับ 25 จาก 95 ปีของเขามาร์ตินการ์ดเนอร์เขียน 'Mathematical Games and Recreations' ซึ่งเป็นคอลัมน์รายเดือนสำหรับนิตยสาร Scientific American คอลัมน์เหล่านี้เป็นแรงบันดาลใจให้ผู้อ่านหลายแสนคนอ่านลึกลงไปในโลกคณิตศาสตร์ เขายังได้มีส่วนร่วมสำคัญในเวทมนตร์, ปรัชญา, pseudoscience debunking และวรรณกรรมเด็ก หนังสือของ Martin Gardner หลายเล่มเป็นคอลเลกชันของสารสกัดข้อมูลจากคอลัมน์ Scientific American (เช่น Fractal Music, Hypercards และ More ... : Recreations ทางคณิตศาสตร์จากนิตยสาร American Scientific, ล้อ, ชีวิตและคณิตศาสตร์อื่น ๆ , ecc. ecc.)


โหวตให้กับ Martin Gardner เท่านั้น ครั้งแรกที่ฉันได้เรียนรู้เกี่ยวกับ RSA จากเกมคณิตศาสตร์ซึ่งมีอิทธิพลต่ออาชีพการงานของฉันตั้งแต่นั้นมา
nealmcb

11

การคำนวณควอนตัมของสกอตต์ Aaronson ตั้งแต่เดโมแครต หนังสือเล่มนี้เป็นการแนะนำที่ยอดเยี่ยมเกี่ยวกับวิทยาการคอมพิวเตอร์เชิงทฤษฎีและการคำนวณควอนตัมสำหรับคนธรรมดาเช่นเดียวกับการเริ่มต้นนักเรียนวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี แตกต่างจากหนังสือวิทยาศาสตร์ป๊อปเล่มอื่น ๆ หนังสือเล่มนี้เข้มงวดเช่นกัน


7

ที่จุดตัดของชีววิทยาวิวัฒนาการและวิทยาการคอมพิวเตอร์เชิงทฤษฎีมีหนังสือสองเล่มล่าสุดอยู่

  • Valiant's "อาจถูกต้องโดยประมาณ: อัลกอริทึมของธรรมชาติสำหรับการเรียนรู้และความเจริญรุ่งเรืองในโลกที่ซับซ้อน"และ

  • Chaitin ของ"พิสูจน์ดาร์วิน: การทำชีววิทยาคณิตศาสตร์"

หนังสือทั้งสองเล่มดูวิวัฒนาการผ่านเลนส์อัลกอริทึมที่มีคนแรกที่มุ่งเน้นเกี่ยวกับวิธีการวิวัฒนาการการเรียนรู้และสติปัญญาสามารถทั้งหมดแสดงในPAC-กรอบการทำงานของเครื่องการเรียนรู้ หนังสือเล่มที่สองดูที่วิธีการสร้างแบบจำลองของเล่นของนวัตกรรมวิวัฒนาการโดยใช้ทฤษฎีข้อมูลอัลกอริทึม แม้ว่าหนังสือจะเชื่อมต่อกับชีววิทยาอย่างหลวม ๆ แต่พวกเขาก็นำเสนอวิทยาการคอมพิวเตอร์ในแบบป๊อป - ไซและแสดงให้เห็นว่ามันเกี่ยวข้องกับหัวข้อทั่วไปในป๊อป - นิยายวิทยาศาสตร์เหมือนกับวิวัฒนาการ


1
บทวิจารณ์ NYT ที่สดใหม่ของValiant
vzn

6

ก่อนอื่นฉันสนใจ TCS หลังจากอ่านงานเขียนของ Scott Aaronson; อย่างใดอย่างหนึ่งก่อนหน้านี้คือใครสามารถตั้งชื่อหมายเลขที่ใหญ่กว่า ซึ่งมีความรู้สึกแบบป๊อปศาสตร์

อีกคนหนึ่งที่ดีมากผมอ่านในภายหลังคือทำไมนักปรัชญาควรดูแลเกี่ยวกับการคำนวณความซับซ้อน ; แม้ว่าจะเขียนในรูปแบบทางวิชาการฉันจะบอกว่ามันเป็น "วิทยาศาสตร์ยอดนิยม" ในที่ผู้ชมรวมถึงนักปรัชญาที่ไม่เคยมีประสบการณ์มาก่อนกับ TCS


6

IMHO ฉันขอแนะนำหนังสือ "ยอดนิยม" เหล่านี้:

  1. หนังสือเล่มใดโดยJames Gleick - Chaos , The Information
  2. Fire in the Valleyสำหรับบัญชีของประวัติศาสตร์พีซีในช่วงต้น
  3. หนังสือโดยสตีเว่นประกาศ : เมามันที่ดีในเพล็กซ์ , แฮกเกอร์ฯลฯ

และปรมาจารย์แก่นสาร

วิญญาณของเครื่องจักรใหม่โดย Tracy Kidder


กำลังคิดที่จะเพิ่ม Kidder อ้างอิงตัวเอง [โด่งดังมีอิทธิพล & ชอบ] แต่ตัดสินใจว่ามันขึ้นอยู่กับผู้ชมที่เข้มงวดที่นี่ มันน่าสนใจที่จะสังเกตเห็นการเปลี่ยนแปลงในสิ่งที่ก่อให้เกิด TCS เมื่อเวลาผ่านไปตามความก้าวหน้าทางทฤษฎี Soul of New Machine ที่ตีพิมพ์ในปี 1981 อาจใกล้เคียงกับการได้รับการยกย่องว่าเป็น TCS ที่ทันสมัยในเวลานั้น วันนี้การออกแบบซีพียูน้อยกว่ามาก / "ใช้" มากขึ้น ดังนั้นจึงมี "การย้ายเสาประตูเมื่อเวลาผ่านไป / อัตราเงินเฟ้อที่ซับซ้อน" ไปยัง TCS ที่อ้างอิงค่อนข้างเปิดเผย
vzn

ใช่ - ข้อมูลของ Gleick นั้นยอดเยี่ยมมาก!
nealmcb

5

คำตอบที่ชัดเจนคือหนังสือของThe Lance Fortnow แต่ฉันไม่สามารถพูดอะไรได้มากกว่านี้เพราะฉันไม่ได้อ่านด้วยตัวเอง (ถ้ามีคนอ่านและต้องการพูดมากกว่านี้โปรดทิ้งคำตอบแยกไว้และฉันจะลบอันนี้)


1
ความเข้าใจของฉันเกี่ยวกับ "สร้างแรงบันดาลใจ" คือหนังสือควรนำมาซึ่งการพัฒนาของ TCS
Yixin Cao

4
การตีความนั้นนำไปสู่คำถามที่แคบมาก ทำไมคนเราคาดหวังว่าหนังสือวิทยาศาสตร์ยอดนิยมจากนอก TCS จะเป็นแรงบันดาลใจให้กับ TCS ในแง่นั้น
David Richerby

5

ฉันชอบ:

Charles Petzold: The Annotated Turingซึ่งเป็นแนวทางหลักผ่านกระดาษเชื้อของทัวริงและชุดของบันทึกอธิบายสิ่งต่าง ๆ

ฉันชอบ:

Douglas Hofstadter: Metamagical Themasในความคิดของฉันน่าสนใจกว่า GEB (ซึ่ง - ตามที่ผู้แสดงความคิดเห็นคนอื่น - ไม่ยากเกินไปที่จะบรรลุ :)) นี่เป็นคอลเลกชันของคอลัมน์ของเขาใน Scientific American ที่นิยมแนวคิดที่น่าสนใจมากมาย แม้ว่าจะไม่เกี่ยวข้องกับ CS ทั้งหมดอย่างชัดเจน

ในฐานะที่เป็นหนังสือยอดนิยม CS ที่เหมาะสมคนจำนวนมากดูเหมือนจะชอบ:

AK ดิวนีย์: รถโดยสารทัวริงใหม่แม้ว่าฉันจะไม่มีโอกาสได้อ่าน


2

ผมได้รับแรงบันดาลใจจากสตีเฟ่นวุลแฟรมของใหม่ชนิดของวิทยาศาสตร์ ถ้าฉันเข้าใจถูกต้องหนึ่งในประเด็นหลักของหนังสือคือในขณะที่เครื่องมือหลักทางวิทยาศาสตร์เคยเป็นคณิตศาสตร์ (โดยเฉพาะระบบสมการเชิงอนุพันธ์ย่อย) เครื่องมือหลักจะเป็นวิทยาการคอมพิวเตอร์ในไม่ช้า )

แก้ไข : มีการชี้ให้เห็นในความคิดเห็นด้านล่างว่าหนังสือเล่มนี้เป็นที่ถกเถียงกัน ฉันเสนอรีวิวโดย Scott Aaronson:

[W] เป็นหนังสือที่ระมัดระวังมากขึ้นในการอ้างสิทธิ์และเต็มใจที่จะยอมรับงานก่อนหน้านี้มากขึ้นมันอาจจะง่ายขึ้นสำหรับผู้อ่านที่จะประเมินสิ่งที่จะนำเสนอ: มุมมองที่ยึดตามหุ่นยนต์อัตโนมัติกับแนวคิดที่มีอยู่ในวิทยาศาสตร์


2
คุณทราบหรือไม่ว่า Wolfram นั้นค่อนข้าง "แย้ง" ในหมู่นักวิทยาศาสตร์คอมพิวเตอร์
Marcos Villagra

6
ฉันจะทิ้งคำตอบไว้ราวกับว่าหนังสือเล่มนี้เป็นแรงบันดาลใจให้ผู้คนเรียนรู้เพิ่มเติมเกี่ยวกับ TCS ฯลฯ จากนั้นฉันคิดว่าการนับนั้นไม่ว่าจะเป็นการโต้เถียงหรือไม่ (โดยการเปรียบเทียบลองคิดดูว่าหนังสือที่สร้างแรงบันดาลใจ ) ตรวจสอบดู Aaronson สำหรับบางส่วนของการเรียกร้องทางเทคนิค: arxiv.org/abs/quant-ph/0206089 (หากคุณยังรู้สึกไม่สะดวกใจที่จะรักษามันไว้คุณสามารถเก็บคำตอบไว้ได้ แต่เพิ่มหมายเหตุที่บางคนมองว่ามันเป็นข้อขัดแย้ง)
Joshua Grochow

14
การวิจัย Wolfgang imho นั้นมีความดั้งเดิมเป็นผู้บุกเบิกมีค่าและมีอิทธิพลมาก - ฉันรู้สึกว่ามันตรงกันข้ามในทุกประเด็น วุลแฟรมใช้เครดิตในการเพิกเฉยและห้ามงานก่อนหน้าของคนอื่น เขาเน้นจุดเล็ก ๆ น้อย ๆ ในขณะที่ขาดขนาดใหญ่ ภาพรวมของวิทยาศาสตร์แบบดั้งเดิมของเขาถูกไล่ออกอย่างรวดเร็วผิดอย่างชัดเจน หนังสือของเขาควรจะได้รับสิทธิใหม่ (ชนิดของ) วิทยาศาสตร์
Jeff

4
ฉันคิดว่านี่เป็นคำตอบที่ดีมาก ถ้าโจเอลบอกว่ามันเป็นแรงบันดาลใจให้เขาก็ไม่มีข้อสงสัย โจเอลฉันคิดว่าคุณสามารถเพิ่มย้อนหลังได้อีกเล็กน้อยถ้าคุณทำได้คุณคิดยังไงกับหนังสือเล่มนี้เมื่อคุณเป็นนักวิทยาศาสตร์
วีเจย์ D

3
ขอบคุณสำหรับความคิดเห็น @VijayD ในฐานะวิศวกรไฟฟ้าฉันเริ่มสนใจการสุ่ม ฉันค้นพบลำดับอนันต์ไบนารีที่ไม่ซ้ำและผ่าน NKS ที่ฉันค้นพบว่ามันเป็นที่รู้จักกันแล้วว่าเป็นลำดับ Thue-Morse ดังนั้น NKS จึงพาฉันไปที่สาขาการศึกษาที่รู้จักกันในชื่อ combinatorics
Joel Reyes Noche

2

หนังสือAlgorithmic AdventuresโดยHromkovičเป็นความพยายามที่หายากในการอธิบายความคิดหลัก ๆ บางประการของวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีแก่ผู้ชมจำนวนมาก


0

มีการอ้างอิงหลายอย่างพวกเขาดูเหมือนจะเพิ่มขึ้นตามที่บางคนสังเกตว่าเราดูเหมือนจะอยู่ท่ามกลาง / อาศัยอยู่ในยุคทองของอัลกอริทึม บางคนอ้างถึงอัลกอริทึมที่ใหม่กว่า [ดังนั้นจึงไม่เป็นที่รู้จักกันดี] ยังไม่ปรากฏในรายการที่อาจน่าสนใจบางคนเขียนโดยนักวิจัย / นักวิทยาศาสตร์ / ผู้เชี่ยวชาญ TCS (Cormen, Valiant, Davis), คนอื่น ๆ โดยนักเขียน popsci:

นอกจากนี้หัวข้อที่น่าสนใจอื่น ๆ จากข่าว / หัวข้อข่าวที่มีการทับซ้อนกันระหว่าง TCS และการเขียน / หนังสือวิทยาศาสตร์ยอดนิยม


1
หนังสือของ AaronsonและValiantได้ถูกกล่าวถึงแล้วในคำตอบของตนเอง คุณอ่านหนังสือเหล่านี้ทั้งหมดหรือยัง ถ้าไม่เช่นนั้นทำไมคุณถึงแนะนำพวกเขา นอกจากนี้คุณสามารถอธิบายว่าชีวสารสนเทศศาสตร์เกี่ยวข้องกับวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีได้อย่างไร ฉันจะยืนยันว่ามีไม่ทับซ้อนกันมาก ที่คล้ายกันไปสำหรับ HFT แม้จะมีการเชื่อมต่อบาง
Artem Kaznatcheev

ไม่ได้กล่าวถึงใน refs HFT หรือชีวสารสนเทศหรือหัวข้ออื่น ๆ ที่คาดการณ์ไว้คัดค้านที่มาจากมุมมองที่แคบเพิ่มเติมเกี่ยวกับขอบเขต TCS (ซึ่ง IMHO จะค่อนข้างเข้มงวดที่นี่และคนอื่น ๆ ได้ตกลงกัน ) ไม่เห็นด้วยกับบล็อกทั้งหมดของคุณ [อธิบายเพิ่มเติมในความคิดเห็นที่นั่น] แต่คุณคิดว่าคุณได้สร้างหัวข้อที่คุ้มค่าสำหรับคำถามอื่น ๆ ของไซต์เช่นชีวสารสนเทศศาสตร์ ฯลฯ อาจอยู่ในเมตาดาต้าด้วย ดูชีวสารสนเทศศาสตร์ด้วย
vzn

ภาคผนวกการอ้างอิงที่เป็นระเบียบเรียบร้อย / น่าสนใจ / ล่าสุดการทำความเข้าใจการคำนวณโดย Stewart / O'Reilly ครอบคลุม TM, ความสมบูรณ์ของ TM และอื่น ๆ โดยใช้ Ruby
vzn

ดูเพิ่มเติมที่Think Complexity: วิทยาศาสตร์ความซับซ้อนและแบบจำลองการคำนวณโดยสำนักพิมพ์ Downey / O'Reilly ครอบคลุม CAs, [โลกเล็ก ๆ ] กราฟเศษส่วน ฯลฯ รหัส Python ได้รับอิทธิพลจาก Wolframs NKS
vzn

λ
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.