15 · The Computational Universe
15 · เอกภพเชิงคำนวณ
This is Part II's closing hearing: computation, having examined every other branch of philosophy, finally asks whether reality itself will take the stand — and here the two courts run out of ground to stand on separately.
ภาค II ปิดท้ายด้วยการไต่สวนนี้: การคำนวณไต่สวนทุกสาขาของปรัชญามาจนครบ จึงหันมาถามว่าความจริงเองจะขึ้นให้การหรือไม่ — และตรงนี้เอง สองศาลหมดพื้นให้ยืนแยกจากกัน
Is reality itself on the witness stand?
ตัวเอกภพเองขึ้นนั่งเป็นพยานหรือไม่
On 2 June 2016, at Recode's Code Conference, Elon Musk told the audience there was "a one in billions chance we're in base reality," reasoning that video games had gone from Pong to photorealism in forty years, so a sufficiently advanced civilization would run simulations indistinguishable from the world we take for granted. The claim traces to Nick Bostrom's 2003 paper "Are You Living in a Computer Simulation?" — but Bostrom's actual argument is not that claim. It is a trilemma: at least one of the following is true — almost all civilizations go extinct before they can run high-fidelity ancestor simulations; those that survive are almost universally uninterested in running them; or we are almost certainly in one (Bostrom, Philosophical Quarterly 53, no. 211, 2003: 243–255). Bostrom assigns no precise probability to the third branch and warns explicitly against overconfidence in any of the three. A careful philosophical argument, built to be cross-examined by philosophy, was cross-examined instead by a technology conference, and lost precision in the exchange. That collapse — trilemma into slogan — is itself worth entering as evidence before the argument proper begins.
วันที่ 2 มิถุนายน 2016 ที่งาน Code Conference ของ Recode Elon Musk บอกผู้ฟังว่ามี "โอกาสหนึ่งในพันล้านที่เราอยู่ในความจริงฐาน" (a one in billions chance we're in base reality) เหตุผลของเขาคือวิดีโอเกมเดินจาก Pong ไปถึงภาพสมจริงระดับภาพถ่ายได้ภายในสี่สิบปี อารยธรรมที่ก้าวหน้าพอจึงรันการจำลองที่แยกไม่ออกจากโลกที่เราถือเป็นเรื่องปกติได้ ต้นทางของข้อกล่าวอ้างนี้คือเปเปอร์ปี 2003 ของ Nick Bostrom เรื่อง "Are You Living in a Computer Simulation?" — แต่สิ่งที่ Bostrom เขียนไว้ไม่ใช่ข้อกล่าวอ้างนั้น เขาเขียน trilemma: อย่างน้อยหนึ่งในสามข้อต่อไปนี้เป็นจริง — อารยธรรมเกือบทั้งหมดสูญพันธุ์ก่อนจะรันการจำลองบรรพบุรุษที่ละเอียดสมจริงได้ อารยธรรมที่รอดมาแทบทั้งหมดไม่สนใจจะรันมัน หรือเราแทบจะแน่นอนว่าอยู่ในการจำลองอันหนึ่งอยู่แล้ว (Bostrom, Philosophical Quarterly 53, no. 211, 2003: 243–255) Bostrom ไม่ระบุความน่าจะเป็นที่แม่นยำให้ข้อที่สาม และเตือนตรงๆ ไม่ให้มั่นใจเกินไปกับข้อใดในสามข้อ ข้อโต้แย้งเชิงปรัชญาที่รอบคอบ สร้างมาให้ปรัชญาซักค้าน กลับถูกงานประชุมด้านเทคโนโลยีซักค้านแทน และความแม่นยำหายไปในการแลกเปลี่ยนนั้น การพังจาก trilemma เหลือสโลแกน คือหลักฐานที่ควรนำเข้าแฟ้มเสียก่อน ก่อนข้อโต้แย้งตัวจริงจะเริ่ม
Stated as Bostrom wrote it, the argument is a disjunction reached by elimination, hedged at every step: it does not say what we are, only that one of three things must be. Held to that standard, it is a piece of careful anthropic reasoning about future computing capacity — not a metaphysics, and not proof of anything about the world we are actually in.
ตามตัวอักษรที่ Bostrom เขียนไว้ ข้อโต้แย้งนี้ไม่ได้บอกว่าเราเป็นอะไร บอกแค่ว่าหนึ่งในสามอย่างต้องเป็นจริง มันคือ disjunction ที่ได้มาจากการตัดตัวเลือกออกทีละข้อ และกันตัวไว้ทุกขั้น เมื่อยึดมาตรฐานนั้น มันคือการให้เหตุผลแบบ anthropic ที่รอบคอบเรื่องศักยภาพการคำนวณในอนาคต — ไม่ใช่อภิปรัชญา และไม่พิสูจน์อะไรเกี่ยวกับโลกที่เราอยู่จริงๆ
The proposal that physical law is itself computation runs from Konrad Zuse's Rechnender Raum (1969; translated Calculating Space, MIT, 1970), which modeled space as a cellular automaton computing its own next state, through Edward Fredkin's Finite Nature hypothesis — that space, time, and every physical quantity are ultimately discrete and finite — to Seth Lloyd's Programming the Universe (2006), which treats every particle collision as a bit-flip, and to the Wolfram Physics Project, launched 14 April 2020, which models space as an evolving hypergraph from which physical law emerges. The skepticism deserves equal floor, not a footnote. Sabine Hossenfelder has argued that no one has shown how a discrete algorithm reproduces the continuous symmetries of general relativity, and that searches for a preferred discretization scale have found nothing (Hossenfelder, "The Simulation Hypothesis Is Pseudoscience," Backreaction, February 2021). Scott Aaronson makes the sharper point: the hypothesis's problem is not that it has been shown false, but that essentially no observation could count against it — a defect prior to any question of truth ("Because you asked: the Simulation Hypothesis has not been falsified; remains unfalsifiable," Shtetl-Optimized, 3 October 2017).
ข้อเสนอที่ว่ากฎฟิสิกส์เองก็คือการคำนวณ มีสายยาว เริ่มที่ Rechnender Raum ของ Konrad Zuse (1969; แปลเป็น Calculating Space, MIT, 1970) ที่จำลองอวกาศเป็นเซลลูลาร์ออโตมาตา (cellular automaton) คำนวณสถานะถัดไปของตัวเอง ต่อด้วยสมมติฐาน Finite Nature ของ Edward Fredkin — อวกาศ เวลา และปริมาณทางฟิสิกส์ทุกอย่างท้ายที่สุดแล้วไม่ต่อเนื่องและมีจำกัด — แล้วถึง Programming the Universe (2006) ของ Seth Lloyd ที่มองการชนกันของอนุภาคทุกครั้งเป็นการพลิกบิตหนึ่งบิต และถึง Wolfram Physics Project ที่เปิดตัววันที่ 14 เมษายน 2020 ซึ่งจำลองอวกาศเป็นไฮเปอร์กราฟที่วิวัฒน์ไปเรื่อยๆ แล้วให้กฎฟิสิกส์ผุดขึ้นมาจากมัน ฝ่ายที่สงสัยต้องได้พื้นเท่ากัน ไม่ใช่แค่เชิงอรรถ Sabine Hossenfelder โต้ว่ายังไม่มีใครแสดงได้ว่าอัลกอริทึมไม่ต่อเนื่องจะให้สมมาตรต่อเนื่องของทฤษฎีสัมพัทธภาพทั่วไปออกมาได้อย่างไร และการค้นหาสเกลการแยกไม่ต่อเนื่องที่เหมาะสมก็ไม่พบอะไรเลย (Hossenfelder, "The Simulation Hypothesis Is Pseudoscience," Backreaction, February 2021) Scott Aaronson ชี้จุดที่คมกว่านั้น: ปัญหาของสมมติฐานนี้ไม่ใช่ว่ามันถูกแสดงว่าเป็นเท็จ แต่แทบไม่มีการสังเกตใดนับเป็นหลักฐานค้านมันได้เลย — ข้อบกพร่องที่มาก่อนคำถามเรื่องจริงเท็จด้วยซ้ำ ("Because you asked: the Simulation Hypothesis has not been falsified; remains unfalsifiable," Shtetl-Optimized, 3 October 2017)
John Conway's Game of Life, publicized by Martin Gardner in Scientific American in October 1970, runs on three rules and produces gliders, oscillators, and — decades later — a complete computer built from its own pieces. Rule 110, one of 256 possible elementary one-dimensional automata, was conjectured universal by Stephen Wolfram in 1985 and proved so by Matthew Cook, who worked out the proof while bound by a nondisclosure agreement with Wolfram Research that delayed its publication roughly a decade ("Universality in Elementary Cellular Automata," Complex Systems 15, no. 1, 2004: 1–40). Both cases make the same point without metaphor: full computational power, and the unpredictability that comes with it, can hide inside a rule simple enough to state in one sentence.
กฎสามข้อพอแล้วสำหรับสร้างคอมพิวเตอร์ทั้งเครื่อง Game of Life ของ John Conway ที่ Martin Gardner เผยแพร่ใน Scientific American เมื่อเดือนตุลาคม 1970 รันด้วยกฎแค่สามข้อ และให้ glider, oscillator และ — หลายสิบปีต่อมา — คอมพิวเตอร์สมบูรณ์แบบที่ประกอบขึ้นจากชิ้นส่วนของมันเอง Rule 110 หนึ่งใน 256 elementary one-dimensional automata ที่เป็นไปได้ Stephen Wolfram คาดการณ์ไว้ในปี 1985 ว่าเป็น universal และ Matthew Cook พิสูจน์ได้จริง เขาคิดบทพิสูจน์ขึ้นระหว่างถูกผูกด้วยสัญญาไม่เปิดเผยข้อมูลกับ Wolfram Research สัญญานั้นถ่วงการตีพิมพ์ไว้ราวหนึ่งทศวรรษ ("Universality in Elementary Cellular Automata," Complex Systems 15, no. 1, 2004: 1–40) ทั้งสองกรณีบอกเรื่องเดียวกันโดยไม่ต้องใช้อุปมา: พลังการคำนวณเต็มรูปแบบ พร้อมความคาดเดาไม่ได้ที่ติดมาด้วย ซ่อนอยู่ในกฎที่พูดจบได้ในประโยคเดียว
Every "random" number a computer produces is the deterministic output of an algorithm seeded by some prior state; it looks unpredictable only because the algorithm is opaque to whoever is asking. This restages compatibilism's oldest move as engineering. Hobbes and Hume, the classical compatibilists, held that freedom never meant uncaused — it meant acting from one's own will, unconstrained by external force — so a fully determined pseudo-random generator and a fully determined human can both exhibit exactly the unpredictability-to-an-observer that ordinary judgments of freedom actually track. If physical law itself turns out to be the deterministic output of a cellular automaton, that does not resolve the question; it removes the last place to hide from having to answer it.
ตัวเลข "สุ่ม" ทุกตัวที่คอมพิวเตอร์ผลิตออกมา คือผลลัพธ์ที่ดีเทอร์มินิสติกของอัลกอริทึมที่ตั้งค่าเริ่มต้นจากสถานะก่อนหน้าบางอย่าง มันดูคาดเดาไม่ได้เพราะอัลกอริทึมนั้นทึบต่อคนที่กำลังถาม เท่ากับเอาท่าเก่าแก่ที่สุดของประนีประนอมนิยม (compatibilism) มาเล่นใหม่ในรูปวิศวกรรม Hobbes และ Hume สอง compatibilist คลาสสิก ยืนยันว่าเสรีภาพไม่เคยแปลว่า ไม่มีเหตุ — มันแปลว่าการกระทำจากเจตจำนงของตัวเอง โดยไม่ถูกบังคับจากแรงภายนอก ตัวสุ่มเทียมที่ถูกกำหนดไว้เต็มรูปแบบกับมนุษย์ที่ถูกกำหนดไว้เต็มรูปแบบ จึงแสดงความคาดเดาไม่ได้-ต่อผู้สังเกตแบบเดียวกันเป๊ะๆ กับที่การตัดสินเรื่องเสรีภาพตามปกติใช้วัดกันอยู่จริง ถ้ากฎฟิสิกส์เองกลายเป็นผลลัพธ์ดีเทอร์มินิสติกของ cellular automaton ตัวหนึ่ง คำถามนี้ก็ยังไม่ถูกแก้ ที่หายไปคือที่หลบสุดท้ายจากการต้องตอบมัน
Every principle above runs the same shape, and the shape is the turn this book keeps making: a computational claim meets a question philosophy has held open for centuries, and neither side gets the last word. Bostrom's trilemma stays open; Hossenfelder's objection stays unanswered; compatibilism stays contested. That is not this method failing to reach a verdict. It is what an honest cross-examination looks like when the witness is reality itself, and the trial is still open when the file closes.
ทุกหลักการข้างต้นเดินตามรูปเดียวกัน และรูปนั้นคือลีลาที่หนังสือเล่มนี้ทำซ้ำอยู่เสมอ: ข้อกล่าวอ้างเชิงคำนวณมาเจอคำถามที่ปรัชญาเปิดค้างไว้หลายศตวรรษ แล้วไม่มีฝ่ายไหนได้คำพูดสุดท้าย trilemma ของ Bostrom ยังเปิดอยู่ ข้อคัดค้านของ Hossenfelder ยังไม่มีคำตอบ compatibilism ยังถูกโต้แย้งอยู่ นั่นไม่ใช่วิธีการนี้ล้มเหลวที่จะไปถึงคำตัดสิน แต่คือหน้าตาของการซักค้านที่ซื่อตรง เมื่อพยานคือความจริงเองล้วนๆ และคดียังไม่จบตอนที่แฟ้มถูกปิดลง
The people, briefly. Bostrom, a Swedish-born philosopher at Oxford, wrote the 2003 paper after first circulating it in 2001. Zuse, better known for building one of the first working programmable computers in the 1930s and 1940s, turned to digital physics afterward. Fredkin worked the idea for decades until his death in 2023. Lloyd is a mechanical-engineering professor at MIT and an architect of quantum computing. Wolfram, having built Mathematica, launched his physics project as an open, crowd-participation effort in 2020. Hossenfelder is a German theoretical physicist known for public skepticism toward untestable claims dressed as physics. Conway devised Life in 1970; Cook proved Rule 110 universal and then spent years fighting to publish it.
ผู้คน โดยย่อ Bostrom นักปรัชญาเชื้อสายสวีเดนที่ Oxford เขียนเปเปอร์ปี 2003 หลังส่งฉบับร่างออกครั้งแรกในปี 2001 Zuse เป็นที่รู้จักมากกว่าจากการสร้างคอมพิวเตอร์ตั้งโปรแกรมได้เครื่องแรกๆ ที่ใช้งานได้จริงในทศวรรษ 1930 และ 1940 แล้วหันมาทางฟิสิกส์เชิงดิจิทัล (digital physics) ทีหลัง Fredkin ทำงานกับไอเดียนี้หลายทศวรรษจนเสียชีวิตในปี 2023 Lloyd เป็นศาสตราจารย์ด้านวิศวกรรมเครื่องกลที่ MIT และเป็นหนึ่งในสถาปนิกของ quantum computing Wolfram สร้าง Mathematica มาก่อน แล้วเปิดโครงการฟิสิกส์ของเขาในปี 2020 เป็นงานเปิดให้คนทั่วไปเข้าร่วม Hossenfelder เป็นนักฟิสิกส์ทฤษฎีชาวเยอรมัน รู้จักกันจากการตั้งข้อสงสัยต่อสาธารณะกับข้อกล่าวอ้างที่พิสูจน์ไม่ได้แต่แต่งตัวเป็นฟิสิกส์ Conway คิด Life ขึ้นในปี 1970 Cook พิสูจน์ว่า Rule 110 เป็น universal แล้วใช้เวลาหลายปีต่อสู้เพื่อให้ได้ตีพิมพ์
Connections
เชื่อมโยง
Chapter 02's question — are objects in a simulated world real — is this chapter's necessary predecessor. Chapter 09's Church–Turing thesis sets the limit on what "computing the universe" could even mean. Chapter 11's audit of Shannon's bracket, and Wheeler's it-from-bit, is where the speculation in this chapter meets its own foundations. Chapter 10's question of what is reachable, not merely true, asks whether any simulator could compute reality at the resolution reality displays.
บทนี้ต้องอาศัยคำถามของบทที่ 02 เป็นพื้นมาก่อน — วัตถุในโลกจำลองเป็นของจริงหรือไม่ ข้อตั้ง Church–Turing ของบทที่ 09 ขีดเส้นว่า "การคำนวณเอกภพ" จะแปลว่าอะไรได้บ้างตั้งแต่ต้น การตรวจสอบวงเล็บของ Shannon ในบทที่ 11 กับ it from bit (สสารจากบิต) ของ Wheeler คือจุดที่การคาดเดาในบทนี้ไปเจอรากฐานของตัวเอง ส่วนคำถามของบทที่ 10 เรื่องสิ่งที่ไปถึงได้ ไม่ใช่แค่สิ่งที่เป็นจริง ถามว่าตัวจำลองใดจะคำนวณความจริงที่ความละเอียดเท่าที่ความจริงแสดงออกมาได้หรือไม่
Open questions
คำถามที่ยังเปิดอยู่
If no experiment could ever distinguish a simulated universe from a "base" one, has the argument stopped being the kind of claim philosophy or physics can adjudicate at all? Does proving Rule 110 universal make Wolfram's hypergraph more likely to be physics, or only more likely to be capable of it, pending some independent reason to believe the update rule? And is compatibilism actually answering the free-will question, or quietly redefining "free" until the harder version of the question can no longer be asked?
ถ้าไม่มีการทดลองใดแยกเอกภพจำลองออกจากเอกภพ "ฐาน" ได้เลย ข้อโต้แย้งนี้ยังเป็นข้อกล่าวอ้างชนิดที่ปรัชญาหรือฟิสิกส์ตัดสินได้อยู่หรือไม่ การพิสูจน์ว่า Rule 110 เป็น universal ทำให้ไฮเปอร์กราฟของ Wolfram มีโอกาสเป็นฟิสิกส์มากขึ้นจริงหรือ หรือแค่มีโอกาสมีศักยภาพจะเป็นได้มากขึ้น โดยยังรอเหตุผลอิสระบางอย่างที่จะเชื่อกฎการอัปเดตนั้น และ compatibilism ตอบคำถามเรื่องเจตจำนงเสรี (free will) อยู่จริง หรือแค่นิยาม "free" ใหม่เงียบๆ จนคำถามเวอร์ชันที่ยากกว่าถามไม่ได้อีก
Go deeper
อ่านต่อ
- Seth Lloyd, Programming the Universe: A Quantum Computer Scientist Takes On the Cosmos, Knopf, 2006.
- Nick Bostrom, "Are You Living in a Computer Simulation?", Philosophical Quarterly 53, no. 211 (2003): 243–255 — simulation-argument.com/simulation.pdf; Matthew Cook, "Universality in Elementary Cellular Automata," Complex Systems 15, no. 1 (2004): 1–40.
- Computer Simulations in Science, Stanford Encyclopedia of Philosophy.
- Seth Lloyd, Programming the Universe: A Quantum Computer Scientist Takes On the Cosmos, Knopf, 2006.
- Nick Bostrom, "Are You Living in a Computer Simulation?", Philosophical Quarterly 53, no. 211 (2003): 243–255 — simulation-argument.com/simulation.pdf; Matthew Cook, "Universality in Elementary Cellular Automata," Complex Systems 15, no. 1 (2004): 1–40.
- Computer Simulations in Science, Stanford Encyclopedia of Philosophy.