09 · สุนทรียะของคำตอบ
เส้นทางที่สั้นที่สุด — ประวัติศาสตร์ของศิลปะและศาสตร์แห่งการแก้ปัญหา
บทพิสูจน์ของ Euclid เล่าสองรอบ
จำนวนเฉพาะไม่มีวันหมด Euclid พิสูจน์ไว้ราว 300 ปีก่อนคริสตกาล และบทพิสูจน์ยาวราวสี่บรรทัด ตัวจำนวนเฉพาะเอง — 2, 3, 5, 7, 11 ไล่ต่อไปเรื่อยๆ — บางลงเมื่อตัวเลขใหญ่ขึ้น จึงชวนให้ถามว่ามันจะหมดไหม Euclid ตอบว่าไม่ วิธีของเขาคือสมมติว่ามัน*หมด*จริง — มีจำนวนเฉพาะที่ใหญ่ที่สุด และมีรายการครบถ้วนของจำนวนเฉพาะทุกตัวที่มีอยู่: $p_1, p_2, \ldots, p_n$ คูณทั้งหมดเข้าด้วยกัน แล้วบวกหนึ่ง จำนวนที่ได้หารด้วย $p_1$ ไม่ลงตัว (เหลือเศษ 1) หารด้วย $p_2$ ก็ไม่ลงตัว หารด้วยจำนวนเฉพาะตัวไหนในรายการก็ไม่ลงตัว ทุกการหารเหลือเศษหนึ่งพอดี จำนวนใหม่นี้จึงต้องเป็นจำนวนเฉพาะเสียเอง หรือไม่ก็หารลงตัวด้วยจำนวนเฉพาะที่ไม่อยู่ในรายการ ทางไหนก็ตาม รายการนั้นไม่ครบ ขัดแย้ง จำนวนเฉพาะหมดไม่ได้
ข้อโต้แย้งนั้นไม่ต้องคำนวณจำนวนเฉพาะจริงเพิ่มแม้แต่ตัวเดียวจากที่รู้อยู่แล้ว ไม่ต้องใช้เครื่องมือใดเลย — ไม่มีแคลคูลัส ไม่มีสัญกรณ์ชั้นสูง ไม่มีอะไรที่คิดขึ้นหลังยุคของ Euclid เอง แต่มันปิดคำถามเรื่อง*อนันต์*ได้ ด้วยเลขคณิตที่เด็กสิบสองขวบหัวดีคนหนึ่งมีอยู่แล้ว G. H. Hardy นักทฤษฎีจำนวนแห่ง Cambridge ยกบทพิสูจน์นี้เป็นตัวอย่างที่ใกล้แบบในอุดมคติที่สุดของสิ่งที่นักคณิตศาสตร์เรียกว่าความงาม และในหนังสือปี 1940 ของเขา A Mathematician's Apology เขาพยายามระบุให้ชัดว่าความงามนั้นประกอบด้วยอะไร คำตอบของ Hardy: บทพิสูจน์ที่งามผสม "ความคาดไม่ถึงในระดับสูงมาก เข้ากับความจำเป็นที่หลีกเลี่ยงไม่ได้และความประหยัด" ("a very high degree of unexpectedness, combined with inevitability and economy") และสองตัวอย่างที่ Hardy เลือกมาอธิบายประเด็นนี้ ก็คือจำนวนเฉพาะของ Euclid กับความเป็นจำนวนอตรรกยะของรากที่สองของ 2 (Hardy, A Mathematician's Apology, 1940, quoted in "A Mathematician's Apology," Plus Magazine, University of Cambridge, 2016) ความคาดไม่ถึง: ผลลัพธ์ต้องทำให้ประหลาดใจ บทพิสูจน์ที่ย่ำไปสู่ตอนจบอย่างเห็นชัดตั้งแต่ต้น ไม่ให้ประจุทางสุนทรียะใดๆ เลย ความจำเป็นที่หลีกเลี่ยงไม่ได้: พอเห็นแล้ว ข้อโต้แย้งต้องรู้สึกราวกับไปทางอื่นไม่ได้ ความประหลาดใจกับความจำเป็นไม่หักล้างกัน — แปลกดี — แต่ทบกัน ความประหยัด: ไม่มีอะไรในบทพิสูจน์เสียเปล่า เอา "บวกหนึ่ง" ของ Euclid ออก ข้อโต้แย้งทั้งก้อนก็พัง บทพิสูจน์ยาวเท่ากับไอเดียพอดี ไม่ยาวกว่านั้น
สามคำนี้ทำงานเป็นชุดเดียว ความคาดไม่ถึงบอกว่าบทพิสูจน์บีบความประหลาดใจต่อบรรทัดได้มากกว่าที่ใครมีสิทธิ์คาดหวัง ความประหยัดบอกว่ามันทำสิ่งนี้ด้วยจำนวนบรรทัดน้อยที่สุดเท่าที่เป็นไปได้ ความจำเป็นที่หลีกเลี่ยงไม่ได้บอกว่าการบีบอัด (compression) นั้น เมื่อสำเร็จแล้ว ไม่ให้ความรู้สึกว่าฉลาด แต่ให้ความรู้สึกว่า*ถูกต้อง* — ราวกับสี่บรรทัดนั้นคือขนาดจริงของข้อเท็จจริงมาตลอด และทุกคนก่อน Euclid แค่แบกมันไว้ในกล่องที่ใหญ่เกินตัว ข้อเสนอของบทนี้ตรงไปตรงมา: ความรู้สึกนี้ไม่ใช่เครื่องประดับที่วางทับความเข้าใจ มันคือสัญญาณจริง จากกลไกจริง ที่จุดขึ้นเมื่อรูปแบบการแทนปัญหา (representation) เพิ่งสั้นลงอย่างฮวบฮาบ บทนี้จะเถียงข้อเสนอนั้นผ่านคณิตศาสตร์ จิตวิทยา และประสาทวิทยา ผลที่ตามมาคือประสบการณ์ของความงามในคำตอบ — ในความหมายที่แม่นยำที่บทนี้จะทำให้เป็นจริงตามตัวอักษร — ก็คือเส้นทางที่สั้นที่สุดกำลังมาถึง และถูก*รับรู้*ว่าเป็นเช่นนั้นจากข้างใน
คัมภีร์ (The Book)
Paul Erdős มีชื่อเรียกส่วนตัวสำหรับความรู้สึกนี้ นักทฤษฎีจำนวนชาวฮังการีผู้ร่อนเร่คนนี้ตีพิมพ์บทความมากกว่านักคณิตศาสตร์คนใดในประวัติศาสตร์ และแทบไม่มีข้าวของเป็นของตัวเอง เขาเรียกมันว่า "คัมภีร์" (the Book) — หนังสือในจินตนาการที่พระเจ้าเก็บรักษาไว้ บรรจุบทพิสูจน์ที่สง่างามที่สุดเพียงหนึ่งเดียวของทุกทฤษฎีบทที่เป็นจริง ไม่ว่านักคณิตศาสตร์จะยอมใช้บทพิสูจน์ที่ด้อยกว่ากี่ฉบับระหว่างทางก็ตาม Erdős ประกาศตัวเป็นผู้ไม่เชื่อในพระเจ้า มุกนี้ — ถ้าจะเรียกว่ามุก — จึงคมทั้งสองทาง ในปาฐกถาปี 1985 Erdős บอกผู้ฟังตรงๆ ว่า "คุณไม่จำเป็นต้องเชื่อในพระเจ้า แต่คุณควรเชื่อใน The Book" ("You don't have to believe in God, but you should believe in The Book") Joel Spencer ผู้ร่วมงานของเขาเก็บคำบอกเล่านี้ไว้ในบันทึกอาลัยของ AMS (Spencer, ใน "Paul Erdős (1913–1996)," Notices of the AMS, 1998) คำชมสูงสุดของเขาต่องานคณิตศาสตร์ชิ้นหนึ่ง คือบอกว่ามัน "มาจาก The Book ตรงๆ"
Proofs from THE BOOK ออกมาในปี 1998 ช้าเกินกว่าที่ Erdős จะได้ถือมันไว้ในมือ นักคณิตศาสตร์ Martin Aigner กับ Günter Ziegler เริ่มรวบรวมรายการที่เข้าข่ายตั้งแต่ปี 1994 สองปีก่อน Erdős เสียชีวิต — โดยได้ความช่วยเหลืออย่างกระตือรือร้นจาก Erdős เอง — เพื่อทำเล่มนั้นให้เกิดขึ้นจริงบนโลก (Wikipedia, "Proofs from THE BOOK") สิ่งที่สะดุดตาในเล่มนี้ไม่ใช่ว่ามันมีคณิตศาสตร์ยากๆ — บทพิสูจน์ทุกฉบับในห้องสมุดคณิตศาสตร์ทุกแห่งก็คือคณิตศาสตร์ยากๆ ทั้งนั้น — แต่คือมันวางบทพิสูจน์ หลายฉบับ ของทฤษฎีบทเดียวกันเรียงเคียงกัน ครั้งแล้วครั้งเล่า ให้ผู้อ่านดูความต่างระหว่าง "บทพิสูจน์ฉบับหนึ่ง" กับ "บทพิสูจน์ฉบับ The Book" ของข้อเท็จจริงเดียวกัน บทเปิดพิสูจน์ความไม่รู้จบของจำนวนเฉพาะไว้สี่แบบแยกกัน และของ Euclid เป็นหนึ่งในนั้น อีกสามแบบไม่ได้ผิด ประเด็นคือข้อโต้แย้งที่ถูกต้องบางอันบีบความจริงได้แน่นกว่าอันอื่น และตาที่ฝึกมาแล้วจัดอันดับพวกมันได้ แม้ทุกอันจะเป็นบทพิสูจน์ที่สมบูรณ์และใช้ได้จริงในทางเทคนิค
ปลายสุดของการบีบอัดนี้มีแนวทางหนึ่งตั้งอยู่ทั้งแนว: บทพิสูจน์ที่ไม่ใช้คำ (proof without words) แผนภาพที่สถาปนาข้อเท็จจริงทางคณิตศาสตร์โดยไม่มีข้อโต้แย้งประกอบเลยแม้แต่น้อย เพราะภาพ*คือ*ข้อโต้แย้ง (Wikipedia, "Proof without words") ตัวอย่างที่เก่าที่สุดและถูกพิมพ์ซ้ำมากที่สุดคือบทพิสูจน์ทฤษฎีบทพีทาโกรัสด้วยการตัดแบ่ง สาวกลับไปถึงตำราจีนโบราณ Zhou Bi Suan Jing ได้ มันไม่ต้องใช้สัญลักษณ์ ไม่ต้องใช้ประโยคสักประโยค: สี่เหลี่ยมจัตุรัสถูกตัดและจัดเรียงใหม่ แล้วสายตาก็ให้บทพิสูจน์ที่สัญกรณ์รูปนัยต้องใช้ทั้งย่อหน้าเพื่อกล่าวออกมา นี่คือความประหยัดของ Hardy ที่ถูกดันไปถึงขีดจำกัดทางตรรกะ — เส้นทางที่สั้นที่สุดเท่าที่เป็นไปได้คือเส้นทางที่ไม่ต้องเดินด้วยซ้ำ แค่ชำเลืองมองก็พอ
มีดโกนอ็อกคัม สร้างใหม่ด้วยบิต
ความสั้นเดินคู่กับความจริง — นักตรรกวิทยายุคกลางเดาข้อนี้ไว้นานก่อนที่ทฤษฎีสารสนเทศจะมีอยู่ มีดโกนอ็อกคัมของ William of Ockham — เลือกคำอธิบายที่ต้องการสมมติฐานใหม่น้อยที่สุด — มักถูกเล่าเป็นกฎสามัญสำนึกว่าด้วยความมัธยัสถ์ ในศตวรรษที่ยี่สิบ มันได้โครงกระดูกทางคณิตศาสตร์ Andrey Kolmogorov และ Ray Solomonoff กับ Gregory Chaitin ซึ่งทำงานอย่างเป็นอิสระต่อกัน นิยาม ความซับซ้อนโคลโมโกรอฟ ของสายข้อมูลหนึ่งว่าคือความยาวของโปรแกรมคอมพิวเตอร์ที่สั้นที่สุดที่พิมพ์มันออกมาแล้วหยุด สายที่มีโครงสร้างจริง — เลขหลักของพาย ลวดลายที่ซ้ำ ประโยคที่ถูกไวยากรณ์ — ผลิตได้ด้วยโปรแกรมสั้นๆ เพราะโครงสร้างนั้นเอง*คือ*คำสั่งบีบอัด สายที่เป็นสัญญาณรบกวนล้วนๆ ทำให้สั้นลงไม่ได้เลย โปรแกรมที่สั้นที่สุดที่สร้างมันขึ้นมาใหม่ได้ก็คือตัวสายนั้นเอง คำต่อคำ ความซับซ้อนในความหมายทางเทคนิคนี้จึงคือความบีบไม่ลง และความเรียบง่ายคือด้านตรงข้าม: ช่องว่างระหว่างขนาดดิบของสิ่งหนึ่ง กับขนาดของคำอธิบายที่จริงและสั้นที่สุดของมัน (ภาพรวมที่ Wikipedia, "Kolmogorov complexity")
ความซับซ้อนโคลโมโกรอฟขึ้นชื่อว่าคำนวณไม่ได้ในกรณีทั่วไป — ไม่มีอัลกอริทึมใดรับรองได้ว่าโปรแกรมที่ให้มานั้นสั้นที่สุดเท่าที่เป็นไปได้จริง — Jorma Rissanen จึงเสนอญาติที่ใช้งานได้จริงไว้ในปี 1978: หลักการ ความยาวคำอธิบายน้อยที่สุด (MDL) มันเลือกจากบรรดาแบบจำลองที่คุณมีให้ใช้จริง ตัวที่เข้ารหัสทั้งแบบจำลองเองและข้อมูลที่มันอธิบายด้วยจำนวนบิตรวมน้อยที่สุด (Wikipedia, "Minimum description length"; Grünwald, "A Tutorial Introduction to the Minimum Description Length Principle," 2004) MDL คือมีดโกนอ็อกคัมที่ติดหน่วยวัดมาด้วย: คำอธิบายหนึ่งดีกว่า ไม่ใช่เพียงเพราะมัน "เรียบง่ายกว่า" ในความรู้สึกลางๆ แต่เพราะแสดงให้เห็นได้ว่ามันใช้บิตน้อยกว่าในการกล่าวออกมา และข้อความที่สั้นกว่าที่ยังอธิบายทุกอย่างที่สังเกตได้ครบ ก็คือการบีบอัดความจริงชุดเดียวกันที่เหนือกว่าในเชิงรูปนัย นี่คือกลไกที่เปลี่ยนคำว่า "ความประหยัด" ของ Hardy จากคำชมเชิงวรรณกรรมเป็นปริมาณที่โดยหลักการแล้ววัดได้ และมันยื่นข้อเสนอหลักของบทนี้ออกมาทื่อๆ: บทพิสูจน์ที่สง่างามกับโปรแกรมสั้นๆ คือวัตถุชนิดเดียวกัน ตัดสินด้วยเกณฑ์เดียวกัน ในสัญกรณ์สองแบบ
แรงขับให้บีบอัด
ระบบประสาทของมนุษย์ติดตามความสั้นของคำอธิบายอยู่ตลอดเวลา — นั่นคือข้อเสนอที่นักวิทยาการคอมพิวเตอร์ Jürgen Schmidhuber ใช้เวลาส่วนใหญ่ในอาชีพเถียง คำถามที่นำมาถึงตรงนี้ตรงไปตรงมา: ถ้าความสั้นของคำอธิบายคือสิ่งที่นักคณิตศาสตร์ตอบสนองเวลาเรียกบทพิสูจน์ว่างาม ทำไมระบบประสาทถึงต้องเสียแรงติดตามสิ่งนี้ตั้งแต่แรก Schmidhuber ตอบว่าความงามเป็นเพียงหนึ่งในประสบการณ์ประจำวันหลายอย่างที่สร้างขึ้นบนสัญญาณพื้นฐานอันเดียวกัน ในบทความชุดหนึ่งที่เริ่มกลางทศวรรษ 2000 เขาเสนอว่าผู้สังเกตที่มีทรัพยากรการคำนวณจำกัดกำลังรันเครื่องบีบอัดภายในกับกระแสประสาทสัมผัสของตัวเองอยู่ทุกขณะ — พยายามทำนายว่าอะไรจะมาต่อโดยใช้กลไกภายในให้น้อยที่สุด — และความงามเชิงอัตวิสัยคือประสบการณ์ที่เครื่องบีบอัดนั้นจู่ๆ ก็ดีขึ้น: ลวดลายที่ผู้สังเกตยังไม่เคยสังเกตเห็น ยุบตัวลงเป็นคำอธิบายภายในที่สั้นกว่าเป็นครั้งแรก (Schmidhuber, "Simple Algorithmic Principles of Discovery, Subjective Beauty, Selective Attention, Curiosity and Creativity," 2007; Schmidhuber, "Driven by Compression Progress," 2008)
ตามคำอธิบายนี้ ความอยากรู้ คือแรงขับให้ออกไปหาข้อมูลที่มีโอกาสสูงสุดที่จะทำให้การบีบอัดคืบหน้าต่อ — ไม่ใช่ข้อมูลที่เข้าใจไปแล้ว ไม่ใช่ข้อมูลที่วุ่นวายจนไม่มีวันบีบลงได้ แต่คือข้อมูลที่อยู่ตรงแนวหน้าของแบบจำลองปัจจุบันของผู้สังเกตพอดี ความสร้างสรรค์ คือการผลิตข้อมูลใหม่ขึ้นมาอย่างจงใจ — บทพิสูจน์ งานศิลปะ มุกตลก — ที่ออกแบบมาเพื่อยื่นแรงกระตุกจากการบีบอัดแบบเดียวกันนั้นให้อีกจิตหนึ่งโดยเฉพาะ ทฤษฎีของ Schmidhuber ตั้งใจให้รวมเป็นหนึ่ง: กลไกเดียวอธิบายว่าทำไมทารกจึงจ้องเหตุการณ์ที่น่าประหลาดใจปานกลางนานกว่าเหตุการณ์ที่ทายได้หมดหรือสุ่มไปทั้งหมด ทำไมมุกจบถึงตลกก็ต่อเมื่อกรอบส่วนเกินของท่อนตั้งดีดเข้าที่เป็นการอ่านที่สั้นกว่า และทำไมชีพจรของนักคณิตศาสตร์เต้นเร็วขึ้นจนเห็นได้เมื่อเจอบทพิสูจน์สี่บรรทัดของทฤษฎีบทเก่า ทฤษฎีนี้เป็นสมมติฐาน ไม่ใช่ฉันทามติที่ลงตัวแล้ว และมันยังไม่ได้ล้มคำอธิบายเก่าที่มองความสุขทางสุนทรียะเป็นเรื่องทางสังคมล้วนหรือทางประสาทสัมผัสล้วน แต่มันให้คำทำนายที่คมและพิสูจน์ผิดได้ และเข้ากับแกนของหนังสือเล่มนี้พอดี: สิ่งที่รู้สึกว่างามคือสิ่งที่สั้นลง ไม่ใช่สิ่งที่เรียบง่ายอย่างเป็นภาววิสัยในความหมายสัมบูรณ์ใดๆ ความงามอยู่ที่การหล่นลง ไม่ใช่ที่ปลายทาง
ปรมาจารย์หมากรุกไม่ได้เห็นตัวหมาก
การบีบอัดเกิดในหัวคนด้วย ไม่ใช่แค่กับบทพิสูจน์บนกระดาษ จิตที่ผ่านการฝึกสร้างมันขึ้นภายในตัวเอง และการสาธิตที่สะอาดที่สุดอันหนึ่งของเรื่องนี้มาจากกระดานหมากรุก ไม่ใช่กระดานดำ
แกรนด์มาสเตอร์จำตำแหน่งหมากรุกได้เกือบสมบูรณ์แบบ — แต่เฉพาะเมื่อตำแหน่งนั้นมาจากเกมจริง ในทศวรรษ 1940 Adriaan de Groot นักจิตวิทยาและปรมาจารย์หมากรุกชาวดัตช์ ให้ผู้เล่นฝีมือดีดูตำแหน่งกลางเกมจริงไม่กี่วินาที แล้วขอให้สร้างมันขึ้นใหม่จากความจำ แกรนด์มาสเตอร์ทำได้เกือบสมบูรณ์แบบ ผู้เล่นระดับสโมสรทำได้แย่กว่ามาก — เรื่องเล่ามาตรฐานเรื่องความเชี่ยวชาญ ไม่มีอะไรน่าแปลกใจ ก้าวถัดไปของ de Groot ต่างหากที่สำคัญ: เมื่อตำแหน่งบนกระดานไม่ใช่เกมที่เป็นไปได้เลย แต่เป็นตัวหมากที่วางกระจายแบบสุ่ม ความได้เปรียบของแกรนด์มาสเตอร์แทบหายไปหมด พวกเขาสร้างกระดานสุ่มขึ้นใหม่ได้ดีกว่ามือใหม่เพียงนิดเดียว (สรุปไว้ใน Wikipedia, "Adriaan de Groot") สิ่งที่ปรมาจารย์มีและมือสมัครเล่นไม่มี จึงไม่ใช่ความจำที่ใหญ่กว่าสำหรับช่องและตัวหมากโดยทั่วไป มันคือบางอย่างที่ทำงานได้เฉพาะกับหมากรุก*จริง*เท่านั้น
ปรากฏการณ์นี้ได้ชื่อในปี 1973: การรวบเป็นก้อน (chunking) William Chase กับ Herbert Simon — Simon คนเดียวกับที่รูปนัยว่าด้วยพื้นที่ปัญหา (problem space) ของเขาพาดผ่านหนังสือเล่มนี้ทั้งเล่ม — รันการทดลองของ de Groot ซ้ำด้วยตัวควบคุมสมัยใหม่ และตั้งชื่อนั้นให้มัน ในทางปฏิบัติ chunk คือกลุ่มตัวหมากที่สายตาผู้เล่นจับรวมและจำเป็นหน่วยเดียว แทนที่จะเป็นชิ้นแยกๆ Chase กับ Simon ประเมินว่าปรมาจารย์หมากรุกคนหนึ่งพก chunk แบบนี้ไว้ในความจำระยะยาวราวห้าหมื่นถึงหนึ่งแสนก้อน แต่ละก้อนคือลวดลายที่บีบอัดและติดป้ายไว้ล่วงหน้า — "นี่คือรูปบิชอปแบบ fianchetto" "นี่คือ rook-lift มาตรฐาน" — สร้างจากการคลุกคลีกับเกมจริงหลายปี (Chase & Simon, "Perception in Chess," Cognitive Psychology, 1973) ปรมาจารย์ไม่ได้รับรู้ตัวหมากสามสิบสองตัวแยกกันบนกระดานจริง เขารับรู้ chunk ราวห้าหรือหกก้อน แต่ละก้อนพ่วงประวัติที่บีบอัดไว้แล้วว่าอะไรมักเกิดขึ้นต่อจากนี้ ลอกสถิติของเกมจริงออก — สุ่มตำแหน่งเสีย — chunk ทุกก้อนก็ไร้ประโยชน์ทันที เพราะ chunk คือการบีบอัดของ*โดเมนเฉพาะที่มีโครงสร้างนี้* ไม่ใช่ของกระดานหมากรุกในเชิงนามธรรม ความเชี่ยวชาญ ตามหลักฐานชุดนี้ จึงไม่ใช่กำลังประมวลผลดิบที่เหนือกว่า มันคือห้องสมุดส่วนตัวของคำอธิบายที่สั้นที่สุด สร้างขึ้นด้วยวิธีช้าๆ และทำให้จิตของผู้เชี่ยวชาญทำกับปัญหาที่คุ้นเคยได้แบบเดียวกับที่บทพิสูจน์ของ Euclid ทำกับความไม่รู้จบของจำนวนเฉพาะเป๊ะๆ: แทนการค้นหา (search) ที่ยาวและเปลืองแรง ด้วยการอ่านที่บีบอัดมาแล้วและเกิดขึ้นแทบทันที
จังหวะ "อ๋อ" ในเครื่องสแกน
ขณะที่ representation ดีดเข้าสู่รูปที่สั้นกว่า มันทิ้งร่องรอยให้เครื่องจักรตรวจจับได้หรือเปล่า — นี่คือคำถามถัดไป ถ้าความงามคือความคืบหน้าของการบีบอัด และความเชี่ยวชาญคือการรับรู้ที่ถูกบีบอัดแล้ว ช่วงเวลาที่การบีบอัด*เกิดขึ้น*จริงๆ ก็ควรมีร่องรอย ปี 2004 นักประสาทวิทยาศาสตร์เชิงปัญญา Mark Jung-Beeman กับ John Kounios พร้อมผู้ร่วมงานอีกหลายคน ออกไปตามหาร่องรอยนั้น
สมองรู้คำตอบก่อนเจ้าของมัน ผู้เข้าร่วมการทดลองของพวกเขาแก้โจทย์ compound remote associates — คำสามคำ (เช่น pine, crab, sauce) ที่มีคำที่สี่เชื่อมร่วมกันอยู่ (apple) — ขณะติดหมวก EEG หรืออยู่ในเครื่องสแกน fMRI หลังแก้ได้แต่ละข้อ ผู้เข้าร่วมรายงานว่าคำตอบมาแบบวิเคราะห์ทีละขั้น หรือมาเป็นการหยั่งเห็น (insight) อย่างฉับพลัน — แบบ "อ๋อ" ข้อมูล fMRI แสดงกิจกรรมที่พลุ่งขึ้นเฉพาะกับคำตอบแบบ insight ที่ anterior superior temporal gyrus ของสมองซีกขวา บริเวณที่รู้กันอยู่แล้วว่าเชื่อมโยงมโนทัศน์ที่อยู่ห่างกันและไม่ชัดเจน — พื้นที่เดียวกับที่สว่างขึ้นเวลาคนตีความอุปลักษณ์หรือจับมุกได้ ข้อมูล EEG มีความละเอียดทางเวลาสูงกว่ามาก จึงจับสิ่งที่เครื่องสแกนจับไม่ได้: คลื่นย่านแกมมาความถี่สูงพุ่งขึ้นฉับพลันในบริเวณสมองซีกขวาเดียวกันนั้น เริ่มราว 0.3 วินาที*ก่อน*ที่ผู้เข้าร่วมจะรู้ตัวว่าได้คำตอบ และในรอยพับอีกชั้นหนึ่ง ราว 1.5 วินาทีก่อนการพุ่งของแกมมานั้น คลื่นอัลฟาเหนือคอร์เทกซ์การมองเห็นกระโดดขึ้น ราวกับสมองหรี่ภาพที่ไหลเข้ามาของตัวเองลงชั่วครู่ เพื่อให้ insight โผล่ขึ้นมาโดยไม่ถูกรบกวน (Jung-Beeman, Bowden, Haberman, Frymiare, Arambel-Liu, Greenblatt, Reber & Kounios, "Neural Activity When People Solve Verbal Problems with Insight," PLoS Biology, 2004)
Kounios กับ Beeman ใช้ทศวรรษถัดมาทำซ้ำและต่อยอดผลการค้นพบนี้ และในปี 2015 ตีพิมพ์บทสังเคราะห์ฉบับตลาด The Eureka Factor ข้อเสนอของเล่มนั้น: ลายเซ็นทางประสาทนี้คือสหสัมพันธ์ที่แท้จริงและวัดได้ของ insight แบบเกสตัลท์ (Gestalt) ที่หนังสือเล่มนี้พบในบทที่ 03 — ลิงชิมแปนซีของ Köhler เทียนของ Duncker — ตอนนี้มองเห็นได้บนเครื่องมือ ไม่ใช่อนุมานจากพฤติกรรมอย่างเดียว (Kounios & Beeman, The Eureka Factor: Aha Moments, Creative Insight, and the Brain, 2015) อ่านคู่กับ Hardy, Erdős และ Schmidhuber ภาพก็เต็มขึ้นมาเอง ความรู้สึก "อ๋อ" การหล่นลงฉับพลันของความยาวที่ปรากฏของคำตอบ และการพลุ่งของกิจกรรมสมองที่เฉพาะเจาะจง ระบุตำแหน่งได้ ประทับเวลาได้ — ทั้งสามดูเหมือนบรรยายเหตุการณ์เดียวกันจากสามมุมมอง: มุมสำรวจภายใน มุมสารสนเทศ และมุมสรีรวิทยา เส้นทางที่สั้นที่สุด เมื่อมาถึง ไม่ได้ถูกคำนวณเฉยๆ มันถูก*ประกาศ* ด้วยกลไกที่วิวัฒน์ขึ้นมาเพื่อให้รางวัลจิตที่หาเส้นทางนั้นเจอ
เมื่อความงามโกหก
ตัวตรวจจับความงามถูกหลอกได้ ด้วย representation ที่สั้น สมมาตร และผิด เครื่องมือที่จุดขึ้นอย่างน่าเชื่อถือไม่ใช่สิ่งเดียวกับเครื่องมือที่จุดขึ้นเฉพาะตอนที่ควรจุด และนี่คือครึ่งที่ซื่อสัตย์ของบทนี้
กรณีที่มีบันทึกชัดที่สุดอยู่ในฟิสิกส์ ไม่ใช่คณิตศาสตร์ ตลอดช่วงหลังของศตวรรษที่ยี่สิบ นักฟิสิกส์อนุภาคเชิงทฤษฎีสร้างและนิยมแบบจำลองต่างๆ — สมมาตรยิ่งยวด (supersymmetry) ทฤษฎีรวมแรงใหญ่ ส่วนขยายของ Standard Model ที่เสนอกันหลายแบบ — โดยใช้ความสง่างามทางคณิตศาสตร์ของมันเป็นน้ำหนักหลัก: สมมาตรที่เพิ่มเข้ามา "ความเป็นธรรมชาติ" (การไม่มีการปรับจูนละเอียดอย่างไม่น่าเชื่อระหว่างตัวเลขที่ไม่เกี่ยวกัน) และการรวมแรงที่ดูไม่เกี่ยวกันเข้าด้วยกันอย่างน่าพอใจ นักฟิสิกส์ Sabine Hossenfelder เถียงในหนังสือปี 2018 ของเธอ Lost in Math: How Beauty Leads Physics Astray โดยอิงการสัมภาษณ์นักวิจัยอาวุโสในสาขาอย่างยืดยาว ว่าตัวกรองทางสุนทรียะนี้แข็งตัวจนเกือบเป็นของแทนหลักฐานไปแล้วในตอนนั้น ทฤษฎีถูกไล่ตามและได้ทุนต่อเนื่องหลายทศวรรษโดยไม่มีการยืนยันจากการทดลองใดๆ ค้ำไว้ด้วยความงามเชิงรูปแบบของมันเป็นหลัก ขณะที่สาขาผ่านสิ่งที่เธอและคนอื่นบรรยายว่าเป็นภาวะแล้งฟิสิกส์มูลฐานใหม่ที่ได้รับการยืนยัน ยาวนานหลายทศวรรษ (Hossenfelder, Lost in Math: How Beauty Leads Physics Astray, 2018; บทวิจารณ์ใน Butterfield, "Lost in Math? A Review," 2019) Hossenfelder ไม่ได้อ้างว่าทฤษฎีที่สง่างามทุกทฤษฎีเป็นเท็จ และหนังสือเล่มนี้จะไม่ขยายข้อเสนอของเธอเป็นคำตัดสินต่อ string theory หรือ supersymmetry ข้อถกเถียงภายในฟิสิกส์ยังเป็นข้อพิพาทจริงในหมู่นักวิจัยที่ทำงานอยู่ และเรื่องนั้นควรพูดออกมาตรงๆ มากกว่ากลบให้เรียบ สิ่งที่หนังสือของเธอบันทึกไว้อย่างระมัดระวังคือ*ความเสี่ยงของกระบวนการ*: ชุมชนที่ฝึกสมาชิกของตัวเองรุ่นแล้วรุ่นเล่าให้ถือว่าการบีบอัดชนิดหนึ่ง — สมมาตร ความเป็นธรรมชาติ การรวมแรง — เป็นหลักฐานในตัวมันเอง โดยไม่ขึ้นกับการสังเกตใดที่มายืนยัน
นี่คือด้านเงาของทุกอย่างที่เหลือในบทนี้ chunking ทำงานได้เพราะหมากรุกเป็นโดเมนที่มีโครงสร้างและเสถียร การบีบอัดในอดีตทำนายการบีบอัดในอนาคตได้อย่างเชื่อถือได้ พอโครงสร้างของโดเมนถูกถอดออก มันล้มทันที อย่างที่ de Groot แสดงให้เห็น กับดักเดียวกันนี้จับจิต ไม่ใช่แค่การรับรู้: นักแก้ปัญหาที่ได้รางวัลอย่างถูกต้องมาแล้วพันครั้งจากการสังเกตว่าปัญหาสั้นลง อาจถูกหลอกในครั้งที่พันหนึ่งด้วย representation ที่แค่*ดู*สั้นกว่า — เรื่องเล่าที่สง่างามยืนแทนเรื่องที่จริง สมการที่เรียบร้อยยืนแทนผลที่ได้รับการยืนยัน การปิดก่อนกำหนด — ความรู้สึกว่า "ต้องใช่แน่ๆ" มาถึงก่อนที่จะได้ตรวจสอบจริง — คือขั้นการตรวจสอบของ Wallas ที่ถูกข้ามไป เพราะการสว่างวาบ (illumination) รู้สึกน่าเชื่อเกินกว่าจะต้องการมัน คลื่นแกมมาที่พุ่งในผู้เข้าร่วมการทดลองของ Jung-Beeman กับ Kounios จุดขึ้นเพื่อ*ความรู้สึก*ของ insight มันไม่ได้บอกอะไรเลยว่าคำประสมที่ผู้เข้าร่วมเหล่านั้นลงเอยด้วยถูกต้องหรือไม่ ความงาม ในทุกกรณีที่บทนี้ตรวจดู คือตัวตรวจจับการบีบอัด — จริง วัดได้ และคุ้มค่าที่จะสร้างเครื่องมือขึ้นมาศึกษา มันไม่เคยถูกสร้างมาให้ตรวจจับความจริงด้วย และสองอย่างนี้แค่เดินทางไปด้วยกัน*โดยส่วนใหญ่*เท่านั้น
เครื่องมือวัด ที่ปรับเทียบแล้ว
หลักฐานแปดสายที่เป็นอิสระต่อกันบรรจบที่กลไกเดียว: ความรู้สึกถึงความสง่างามคือสิ่งที่รู้สึกได้จากข้างใน เมื่อ representation ของปัญหาเพิ่งสั้นลงอย่างฮวบฮาบ ดึงเส้นด้ายของบทนี้มารวมเป็นเกลียวเดียวแล้วจะเห็นทั้งแปด: ความประหยัดของ Hardy, The Book ของ Erdős, บทพิสูจน์ที่ไม่ใช้คำ, ความซับซ้อนโคลโมโกรอฟ, MDL, ความคืบหน้าของการบีบอัดของ Schmidhuber, แกรนด์มาสเตอร์ที่รวบเป็นก้อนของ de Groot และคลื่นแกมมาที่พุ่งในเครื่องสแกนของ Jung-Beeman กับ Kounios นั่นไม่ใช่อุปลักษณ์ที่ยืมจากสุนทรียศาสตร์มาประดับบทที่ว่าด้วยคณิตศาสตร์ มันใกล้เคียงกับด้านกลับมากกว่า — สุนทรียศาสตร์ ในระดับที่หนังสือเล่มนี้สนใจ คือเครื่องมือทางเทคนิคที่สมองวิวัฒน์ขึ้นมาเพื่อติดตามปริมาณเดียวกับที่หนังสือเล่มนี้เถียงมาตั้งแต่บทที่ 00 เป๊ะๆ: ไม่ใช่ว่าเส้นทางมีอยู่หรือไม่ แต่ว่ามันทำให้สั้นได้แค่ไหน นักฟิสิกส์ของ Hossenfelder คือหลักฐานว่าเครื่องมือนี้ก็เหมือนเครื่องมือทุกชิ้น มันเคลื่อน และต้องปรับเทียบกับโลกภายนอกตัวมันเอง
การปรับเทียบนั้นไม่ใช่คำเรียกร้องให้เลิกไว้ใจความรู้สึก มันเรียกร้องให้ใช้ความรู้สึกแบบที่นักวิทยาศาสตร์ทำงานคนไหนก็ใช้เครื่องมือที่ไวแต่ไม่สมบูรณ์แบบ: เป็นจุดเริ่มของการสืบสวน ไม่ใช่ข้อสรุปของมัน
ท่าประจำบท
Move 09 — ถือความงามเป็นหลักฐาน แล้วตรวจสอบ
ความรู้สึกฉับพลันว่าปัญหาง่ายลงคือข้อมูล ไม่ใช่ประกาศนียบัตร มันบอกว่าเครื่องบีบอัดภายในเพิ่งเจอบางอย่าง — ยังไม่ได้บอกว่าบางอย่างนั้นจริง
- บันทึกช่วงเวลานั้น อย่าแค่เสพมัน เมื่อ representation ดีดสั้นลง — การเทียบเคียงคลิกเข้าที่ บทพิสูจน์ยุบเหลือสามบรรทัด ระบบที่รกรุงรังจู่ๆ ดูสมมาตร — จดสิ่งที่เปลี่ยนไปก่อนความรู้สึกจะจางหาย นักคณิตศาสตร์ของ Hadamard (บทที่ 03) บรรยายการบ่มความคิด (incubation) ของตัวเองได้ละเอียดหลายสิบปีให้หลัง ก็เพราะพวกเขาติดนิสัยจับมันไว้เท่านั้น
- ถามให้เจาะจงว่าอะไรถูกบีบอัด คำอธิบายของ Schmidhuber ทำนายว่าความงามแปรผันตาม*การหล่นลง*ของความยาวคำอธิบาย ไม่ใช่ตามความสง่างามสัมบูรณ์ของรูปสุดท้าย เรียกชื่อการหล่นลงนั้นให้ได้ — เรื่องยาวเรื่องไหนที่เรื่องสั้นนี้เข้าไปแทนที่ — แล้วข้อกล่าวอ้างจะกลายเป็นสิ่งที่ตรวจได้ แทนที่จะเป็นแค่สิ่งที่รู้สึก
- รันการตรวจสอบเป็นขั้นแยกต่างหาก และเป็นปฏิปักษ์ ขั้นที่สี่ของ Wallas กับคำเตือนของ Hossenfelder คือคำสั่งเดียวกันจากสองศตวรรษและสองสาขา: การสว่างวาบกับการตรวจสอบเป็นการกระทำคนละอย่าง ทำด้วยท่าทีทางความคิดคนละแบบ และการกระโดดจากอย่างแรกไปสู่ความเชื่อเลย คือวิธีที่คำตอบผิดอันสง่างามรอดชีวิตมาได้
- ไม่ไว้ใจความสง่างามให้เร็วที่สุดเมื่อมันได้มาโดยไม่ได้จ่าย chunk ของแกรนด์มาสเตอร์คือการบีบอัดที่ซื้อมาด้วยเกมจริงหลายพันเกม; ทฤษฎีที่งามซึ่งไม่เคยถูกทดสอบกับการสังเกตใหม่แม้แต่ครั้งเดียวยังไม่ได้จ่ายราคานั้น ยิ่งความสง่างามชิ้นหนึ่งผ่านการตรวจสอบมาน้อยเท่าไร มันยิ่งเป็นหนี้การตรวจสอบมากขึ้นเท่านั้นก่อนจะได้รับความไว้ใจ
ต่อไป — บทที่ 10 · นักแก้ปัญหาแห่งอนาคต: เครื่องมือวัดการบีบอัดที่บทนี้วัดไว้ในกะโหลกมนุษย์ กำลังถูกสร้างเข้าไปในเครื่องจักรที่ค้นหาพื้นที่ซึ่งไม่มีจิตมนุษย์ใดวิวัฒน์มาเพื่อบีบอัดมัน อะไรเหลือไว้ให้สัมผัสทางสุนทรียะทำ เมื่อการค้นหาเองไม่ต้องการมันอีกต่อไป
บทถัดไป · 11 / 1210 · นักแก้ปัญหาแห่งอนาคต