01 · วิธีชุดแรก
เส้นทางที่สั้นที่สุด — ประวัติศาสตร์ของศิลปะและศาสตร์แห่งการแก้ปัญหา
โต๊ะอาลักษณ์ ราว 1650 ปีก่อนคริสตกาล
ม้วนปาปิรุสที่เรารู้จักในชื่อ Rhind Mathematical Papyrus เกิดจากมือของอาลักษณ์ชื่อ Ahmes ผู้นั่งคลี่ม้วนยาวเกือบห้าเมตรออกบนตัก แล้วคัดลอกคณิตศาสตร์ที่เก่าแก่มาสองศตวรรษแล้วในวันที่เขาเริ่มลงมือ เขาบอกเราเองในบรรทัดเปิดของเอกสาร: เขาเขียนในปีที่สามสิบสามแห่งรัชกาลกษัตริย์ Hyksos พระนาม Apophis คัดจากตัวบทที่ย้อนไปถึงรัชสมัยของ Amenemhat III แห่งราชวงศ์ที่สิบสอง (British Museum; Wikipedia) อีกสามพันห้าร้อยปีต่อมา ม้วนนี้ตกไปอยู่ในมือทนายความชาวสก็อตชื่อ Alexander Henry Rhind ผู้ซื้อมันที่ Thebes ในปี 1858 ทุกวันนี้ชิ้นส่วนสองชิ้นที่ใหญ่ที่สุดอยู่ใน British Museum พ่อค้าของเก่าตัดมันเป็นสองซีกในช่วงใดช่วงหนึ่ง หวังขายแยกกัน (British Museum) Ahmes เองเรียกมันด้วยถ้อยคำเปิดของเขา ว่าเป็นอะไรที่ใกล้เคียงกับ "การคำนวณอันแม่นยำเพื่อสืบค้นสรรพสิ่ง และความรู้ในสรรพสิ่งทั้งปวง ในความลี้ลับ... ในความลับทั้งหมด"
ขนมปัง เบียร์ และเมล็ดข้าว กินความยาวส่วนใหญ่ของเอกสารที่อ้างตัวใหญ่ขนาดนั้น ม้วนนี้มีโจทย์ 84 ข้อ แก้ให้ดูทีละข้อ: แบ่งขนมปังให้คนกลุ่มหนึ่งอย่างไรให้ทุกคนได้ส่วนที่เป็นธรรม แปลงหน่วยตวงเมล็ดข้าวจากหน่วยหนึ่งเป็นอีกหน่วยอย่างไร หาความชันของหน้าพีระมิดจากความสูงและฐานอย่างไร (British Museum) ไม่มีข้อใดดูเหมือนคณิตศาสตร์ที่เราผูกไว้กับคำว่า "ทฤษฎีบท" ไม่มีบทพิสูจน์ ในความหมายที่ Euclid จะเรียกร้องในภายหลัง สิ่งที่มี ข้อแล้วข้อเล่า คือของที่มีค่าต่อประวัติศาสตร์ในหนังสือเล่มนี้แทบยิ่งกว่า: ขั้นตอนวิธี ที่เขียนไว้ ทำซ้ำได้ เดินให้ดูตั้งแต่ต้นจนจบ อาลักษณ์คนที่สอง — คนที่ไม่เคยพบ Ahmes และจะไม่มีวันพบผู้ตั้งโจทย์คนแรก — หยิบขึ้นมาทำตามได้ถูกต้อง
โจทย์ข้อ 24 แก้ด้วยการเดา จำนวนหนึ่ง บวกหนึ่งในเจ็ดของตัวมันเอง ได้ 19 จงหาจำนวนนั้น นักเรียนสมัยใหม่คว้าพีชคณิต: x + x/7 = 19 ฉะนั้น 8x/7 = 19 ฉะนั้น x = 133/8 Ahmes ไม่มีพีชคณิต — ไม่มีสัญลักษณ์แทนค่าที่ไม่รู้ ไม่มีสมการให้ย้ายข้าง กระดาษปาปิรุสจึงทำสิ่งที่แรกเห็นเหมือนโกง: มัน*เดา* ลอง 7 ดู เพราะหนึ่งในเจ็ดของ 7 เป็นจำนวนเต็มพอดี เจ็ดบวกหนึ่งในเจ็ดของเจ็ดได้แปด คำตอบต้องเป็น 19 ไม่ใช่ 8 — ค่าเดาจึงคลาดไปเป็นตัวประกอบ 19/8 คูณค่าเดาด้วยตัวประกอบเดียวกัน — 7 คูณ 19/8 — ค่าเดาก็กลายเป็นคำตอบที่ถูก: เขียนอย่างที่อาลักษณ์อียิปต์เขียนเศษส่วน คำตอบจริงคือ 16 บวกครึ่ง บวกหนึ่งในแปด ภายหลังวิธีนี้ได้ชื่อว่า วิธีวางค่าลอง (false position) — regula falsi ในภาษาละตินที่จะปลุกมันขึ้นใหม่อีกกว่าสองพันปีให้หลัง — ตรรกะของมันพึ่งข้อเท็จจริงเพียงข้อเดียว: สมการนี้เป็นเชิงเส้น ค่าเดาตั้งต้นให้ผลอะไรก็ตาม คำตอบสุดท้ายคลาดไปด้วย*สัดส่วน*เดียวกันทุกจุด การคูณแก้ครั้งเดียวจึงจบเรื่อง (Regula falsi, Wikipedia; MacTutor, Egyptian papyri)
สิ่งที่รอดข้ามสี่พันปีมาถึงเราคือวิธี ไม่ใช่เลข 16⅝ ไม่มีใคร "แก้หา x" ในความหมายของเรา Ahmes บีบอัดโจทย์ทั้งตระกูล — จำนวนใดก็ได้ บวกเศษส่วนใดก็ได้ของตัวมันเอง เท่ากับเป้าหมายใดก็ได้ — ให้เหลือลำดับท่าตายตัวชุดหนึ่ง: เดาค่าที่สะดวก วัดความคลาดเป็นอัตราส่วน แล้วปรับมาตราส่วน อัจฉริยภาพไม่ได้อยู่ที่โจทย์ข้อ 24 ลำพัง มันอยู่ที่โจทย์ข้อ 24 เขียนไว้ในฐานะวิธี แยกจากตัวเลขของมันได้ อาลักษณ์ที่ฝึกอยู่ห่างออกไปพันไมล์และร้อยปี เอาสามก้าวเดียวกันไปใช้กับกองอีกกอง เศษส่วนอีกตัว เป้าหมายอีกค่า แล้วเชื่อคำตอบได้ เส้นทางกลายเป็นของใช้ซ้ำได้
สองแม่น้ำ สองนิสัยทางความคิด
นักคณิตศาสตร์บาบิโลนเขียน*ขั้นตอนวิธี* ไม่ใช่แค่คำตอบ และรู้ตัวว่ากำลังทำอย่างนั้นชัดกว่าอียิปต์ด้วยซ้ำ พวกเขาอยู่ห่างออกไปทางตะวันออกไม่กี่ร้อยกิโลเมตร แทบไม่ติดต่อกับสำนักอาลักษณ์อียิปต์ และแก้โจทย์ที่ยากกว่า แผ่นดินเหนียวที่วันนี้ขึ้นทะเบียนไว้ในชื่อ YBC 7289 — แผ่นกลมเล็ก ถือมือเดียวได้ สลักขึ้นช่วงใดช่วงหนึ่งระหว่าง 1800 ถึง 1600 ปีก่อนคริสตกาล — แสดงรูปสี่เหลี่ยมจัตุรัสที่ลากเส้นทแยงมุมไว้ ข้างเส้นทแยงมุมเส้นหนึ่งมีตัวเลขฐานหกสิบ (sexagesimal) ที่คิดออกมาเป็นค่าประมาณของรากที่สองของสอง แม่นถึงราวหกตำแหน่งทศนิยม (YBC 7289, Wikipedia) แผ่นอื่นที่นักประวัติศาสตร์จัดกลุ่มไว้ใต้หัวข้อ "ตัวบทขั้นตอนวิธี" (procedure texts) ไปไกลกว่านั้น: มันวางขั้นตอนทั่วไปสำหรับแก้โจทย์ทั้งชั้นไว้เป็นคำสั่งร้อยแก้ว ไม่ใช่ตัวอย่างตัวเลขที่แก้ให้ดู — สิ่งที่วันนี้เราเรียกว่าสมการกำลังสอง ระบบสมการสองตัวแปร ปริมาตรการขุดคลอง — ตัวเลขในแต่ละโจทย์เป็นเพียงภาพประกอบ ไม่ใช่สาระ (MacTutor, Babylonian mathematics)
ความต่างระหว่างนิสัยอียิปต์กับบาบิโลนละเอียดอ่อน แต่สำคัญต่อข้อเสนอของหนังสือเล่มนี้ ตัวบทอียิปต์ รวมทั้ง Rhind papyrus อ่านแล้วเป็นตัวอย่างแก้ให้ดูแทบทั้งหมด: แก้โจทย์ขนมปัง*ข้อนี้* แล้วก็ข้อนั้น โจทย์ใหม่แต่ละข้อคือโอกาสให้ใช้เทคนิคตระกูลหนึ่ง ผู้เรียนต้องจับแบบแผนเอาเองจากกรณีนับสิบ ตัวบทขั้นตอนวิธีของบาบิโลนมักบอกขั้นตอน*ทั่วไป*ก่อน — "เอาอันนี้ ทำอย่างนั้น แล้วอย่างนี้" — แล้วต่อท้ายด้วยกรณีตัวเลขรูปธรรมกรณีเดียว เพื่อแสดงว่าคำสั่งนามธรรมนั้นเดินได้จริง มันคือความต่างระหว่างตำราอาหารที่โชว์แต่จานที่เสร็จแล้ว กับตำราที่หยุดจดเทคนิคการเคี่ยวไว้ครั้งหนึ่ง เพื่อชี้กลับไปที่มันได้แทนการสาธิตซ้ำทุกครั้ง ทั้งสองสาย "เขียนเส้นทางลงไว้" แต่แผ่นบาบิโลนก้าวไปอีกก้าว: เขียนเส้นทางในรูปที่ถอดออกจากตัวเลขเฉพาะที่บังเอิญเป็นต้นเหตุให้เขียน นั่นคือก้าวหนึ่งสู่สิ่งที่ผู้อ่านสมัยใหม่จำได้ว่าเป็นอัลกอริทึม คำนี้จะยังไม่มีอยู่ไปอีกสองพันห้าร้อยปี จนบัญญัติขึ้นจากชื่อนักคณิตศาสตร์เปอร์เซีย al-Khwarizmi (เรื่องของเขาอยู่ในบทที่ 05)
ความยากของปัญหาหดลงทันทีที่*ขั้นตอนการแก้*ของมัน ไม่ใช่แค่คำตอบ กลายเป็นวัตถุที่คนอื่นนอกจากผู้ค้นพบคนแรกหยิบมาส่อง วิจารณ์ และปรับปรุงได้ นี่คือกรณีแรกสุดที่มองเห็นได้ของแบบแผนที่จะกลับมาซ้ำในทุกช่วงถัดจากนี้ และนั่นคือเหตุที่มันสำคัญต่อข้อเสนอของหนังสือเล่มนี้ คำตอบข้อเดียวช่วยคนคนเดียวได้ครั้งเดียว วิธีที่เขียนไว้ช่วยทุกคน ตลอดไป กับทุกกรณีในอนาคตที่มีรูปทรงเดียวกัน — ขอเพียงมีใครสักคนยอมเขียนมันไว้ในฐานะวิธี ไม่ใช่เกร็ดเล่า
เครื่องจักรของ Euclid
ราว 300 ปีก่อนคริสตกาล ในเมือง Alexandria ที่เพิ่งก่อตั้ง หนังสือสิบสามเล่มถูกประกอบขึ้น และมันจะกลายเป็นตำราคณิตศาสตร์ที่พิมพ์ซ้ำมากที่สุดในประวัติศาสตร์: Elements (MacTutor, Euclid; Euclid's Elements, Wikipedia) ผู้ประกอบคือนักคณิตศาสตร์ที่แทบไม่มีเรื่องส่วนตัวใดรู้ได้อย่างเชื่อถือได้ — ไม่รู้บ้านเกิด ไม่รู้ปีเกิดปีตายที่แน่ชัด แทบไม่มีแม้ความมั่นใจว่า "Euclid" หมายถึงคนคนเดียวหรือหมายถึงสำนัก บานพับของบทนี้ไม่ใช่ทฤษฎีบทข้อใดข้อหนึ่งใน Elements — เรขาคณิตส่วนใหญ่ไม่ใช่ของใหม่ รวบรวมมาจากนักคณิตศาสตร์กรีกหลายรุ่นก่อนหน้า บทพิสูจน์ของแต่ละคนสูญหายไปเกือบหมด สิ่งที่ Euclid ทำ และไม่มีใครเคยทำในระดับนี้มาก่อน คือเปลี่ยนวิชาเรขาคณิตทั้งวิชาให้เป็น*เครื่องจักร*เครื่องเดียว ชัดแจ้ง ตรวจสอบได้ ผลิตความจริงใหม่ออกมาจากความจริงเก่า
เครื่องจักรนี้มีชิ้นส่วนขยับได้สามชิ้น และ Euclid แจงไว้ครบตามลำดับที่ต้นเล่ม I: บทนิยาม 23 ข้อของคำพื้นฐาน (จุด เส้น มุม...) ข้อตั้งห้าข้อ คือข้อสมมติตั้งต้นที่ไม่พิสูจน์และเฉพาะกับเรขาคณิต (ลากเส้นตรงระหว่างจุดสองจุดใดก็ได้ มุมฉากทุกมุมเท่ากันหมด และอื่นๆ) และ "ความคิดสามัญ" อีกห้าข้อ ไม่พิสูจน์เช่นกัน แต่กว้างพอจะใช้นอกเรขาคณิตได้ทั้งหมด (สิ่งที่เท่ากับสิ่งเดียวกัน ย่อมเท่ากันเอง) (Euclid's Elements, Wikipedia) ทุกอย่างที่ตามมา — ข้อเสนอทั้ง 465 ข้อตลอดสิบสามเล่ม — ต้องอนุมานจากจุดตั้งต้นเหล่านี้เท่านั้น ด้วยเครื่องมือการสร้าง (construction) ที่อนุญาตเพียงสองชิ้น (ไม้บรรทัดไร้ขีดกับวงเวียน) และการอนุมานเชิงตรรกะที่เคร่งครัด ข้อเสนอใดจะลักลอบเอาข้อเท็จจริงที่ "ดูจริงอยู่แล้ว" จากรูปวาดเข้ามาไม่ได้ มันต้องสาวกลับทีละขั้นไปถึงข้อตั้ง บทนิยามเปิดเรื่องยังอ่านได้ทุกวันนี้เกือบตรงตามที่ Euclid เขียน ในตัวบทภาษากรีกที่เก็บรักษาและศึกษากันอยู่ในคลังดิจิทัลอย่าง Perseus Project (Perseus, Euclid's Elements, Book I)
Ahmes เขียนขั้นตอนวิธีหนึ่งชุดต่อโจทย์หนึ่งข้อ Euclid เขียน*กฎสำหรับสร้างและตรวจขั้นตอนวิธีใดก็ตาม*ภายในทั้งวิชา นี่คือผลตอบแทนของการเขียนวิธีลงไว้ ผลักไปจนสุดทางตรรกะของมัน พอสัจพจน์และท่าที่อนุญาตตรึงแน่และเปิดเผยต่อสาธารณะแล้ว ข้ออ้างหนึ่งก็ไม่ได้ "จริงเพราะนักเรขาคณิตที่คนนับถือบอกว่าจริง" อีกต่อไป มันจริงก็ต่อเมื่อมีโซ่ของการสร้างและการอนุมานเส้นหนึ่งที่เจาะจง สาวตามได้ ทำซ้ำได้ เชื่อมมันกลับไปหาข้อตั้งห้าข้อกับความคิดสามัญห้าข้อ ผู้อ่านที่อดทนพอ ในศตวรรษใดก็ตาม ไม่ต้องเข้าถึงตัว Euclid เลย ตรวจข้อเสนอใดใน Elements ก็ได้ด้วยการเดินโซ่เส้นนั้นซ้ำ หนังสือเล่มนี้จึงอยู่รอดเป็นตำราเรขาคณิตมาตรฐานของตะวันตกมากว่าสองพันปีโดยวิธีแทบไม่เปลี่ยน และคำว่า "Euclidean" ในหูของนักคณิตศาสตร์จึงยังหมายถึง ไม่ใช่แค่ "ว่าด้วยเรขาคณิตบนระนาบแบน" แต่ "สร้างขึ้นด้วยเครื่องจักรเชิงสัจพจน์"
เครื่องจักรแบบนี้มีต้นทุน: มันแคบลง เครื่องมือของ Euclid ตรึงตายตัว — ไม้บรรทัดไร้ขีดกับวงเวียน ไม่มีอย่างอื่น — โจทย์สามข้อที่โลกโบราณใส่ใจ (เพิ่มปริมาตรลูกบาศก์เป็นสองเท่า แบ่งมุมใดๆ ออกเป็นสามส่วน สร้างสี่เหลี่ยมจัตุรัสที่มีพื้นที่เท่าวงกลม) จึงต้านคำตอบภายในระบบของเขาอยู่สองพันปี มันแก้ไม่ได้ด้วยเครื่องมือชุดนั้น และข้อเท็จจริงนี้พิสูจน์ได้ก็ต่อเมื่อมีพีชคณิตของศตวรรษที่สิบเก้า การแคบลงไม่ใช่ข้อบกพร่อง มันคือการออกแบบ: วิธีหนึ่งได้อำนาจ*รับประกัน*ความถูกต้องมา ด้วยการพูดให้ชัดว่าตัวเองจะยอมทำอะไรและไม่ทำอะไร บทที่ 06 กลับมาที่ประเด็นนี้ในรูปที่แรงที่สุด ตอนที่แรงผลักเดียวกัน — ระบุให้แม่นว่าอะไรอนุญาตและอะไรไม่อนุญาต — ผลิตคณิตศาสตร์ของความเป็นไปไม่ได้ที่พิสูจน์ได้ออกมา
Archimedes สองคน
Archimedes แห่ง Syracuse ทิ้งบันทึกไว้สองชุดว่านักคณิตศาสตร์*หา*ของเจอได้อย่างไรจริงๆ และสองชุดนั้นต่างกันคนละขั้ว เรื่องเกิดบนเกาะ Sicily หนึ่งศตวรรษหลัง Euclid ช่องว่างระหว่างสองบันทึกคือหนึ่งในช่องว่างที่สอนอะไรได้มากที่สุดในหนังสือเล่มนี้
บันทึกชุดแรกไม่ได้มาจาก Archimedes เลย มันมาจาก Vitruvius สถาปนิกและวิศวกรชาวโรมัน เขียนไว้ในคำนำเล่ม IX ของตำรา On Architecture ช่วงใดช่วงหนึ่งในศตวรรษแรกก่อนคริสตกาล — ราวสองร้อยปีหลังการตายของ Archimedes (Vitruvius, De Architectura IX, Perseus) เรื่องเล่าว่ากษัตริย์ Hiero แห่ง Syracuse สั่งทำมงกุฎทองคำ สงสัยว่าช่างทองเจือเงินลงไป จึงขอให้ Archimedes หาความจริงโดยไม่ทำมงกุฎเสียหาย พอก้าวลงอ่างอาบน้ำแล้วเห็นน้ำเอ่อขึ้นตามปริมาตรของร่างที่จมลงไป Archimedes ก็ฉุกคิดได้ — ตามเรื่องเล่า — ว่าเทียบปริมาตรของมงกุฎ (จากน้ำที่ล้น) กับน้ำหนักของมันได้ จับการโกงได้ แล้วด้วยความตื่นเต้นก็วิ่งแก้ผ้าไปตามถนนใน Syracuse ตะโกน "Eureka" — "ข้าหามันเจอแล้ว" เรื่องนี้เห็นภาพชัด ยกไปเล่าต่อง่าย และแทบแน่ว่าแต่งเติมกันมา Vitruvius คือแหล่งเก่าสุดที่ยังเหลืออยู่ เขียนหลังเหตุการณ์นานมาก นักวิจารณ์สมัยใหม่ชี้ว่าวิธีวัดน้ำล้นอย่างที่บรรยายไว้หยาบเกินไปสำหรับเทคโนโลยีการวัดของยุคนั้น จับปริมาณเงินเพียงเล็กน้อยที่ช่างทองจะเจือลงไปได้จริงไม่ไหว (Scientific American, "Fact or Fiction?") จะเกิดขึ้นตามที่เล่าหรือไม่ก็ตาม เรื่องนี้อยู่รอดเพราะมันจับสิ่งที่คนอยากให้การค้นพบเป็นไว้ได้: ฉับพลัน เกิดกับเนื้อตัว ห้ามไม่อยู่ — อ่างอาบน้ำ ไม่ใช่บทพิสูจน์
บันทึกชุดที่สองเป็นของ Archimedes เอง และมันบรรยายวินัยสองจังหวะที่จงใจ แทบตรงข้ามกับการหยั่งเห็นวาบเดียวในอ่างน้ำ ตำราชื่อ The Method of Mechanical Theorems เขียนเป็นจดหมายถึง Eratosthenes — ปราชญ์รอบด้านผู้ดูแลหอสมุดแห่ง Alexandria คำตอบของเขาเองจะปรากฏในบทที่ 07 — ในจดหมายนั้น Archimedes เปิดเผยเทคนิคที่เก็บไว้กึ่งส่วนตัวมาตลอด จะหาพื้นที่หรือปริมาตรของรูปทรงหนึ่ง (ส่วนของพาราโบลา ทรงกลม ทรงกระบอก) เขาไม่เริ่มจากบทพิสูจน์เชิงเรขาคณิตที่เคร่งครัด เขาเริ่มจากจินตนาการว่าซอยรูปทรงนั้นเป็นแผ่นบางจำนวนอนันต์ แล้ว*ชั่งน้ำหนัก*แผ่นเหล่านั้นในใจ เทียบกับแผ่นของรูปทรงที่เขาเข้าใจอยู่แล้ว บนคานงัดในจินตนาการ ด้วยกฎคานงัดจากงานกลศาสตร์ของเขาเอง (The Method of Mechanical Theorems, Wikipedia) ขั้นตอนนี้ไม่เคร่งครัดตามมาตรฐานเรขาคณิตกรีก — มันปฏิบัติต่อพื้นที่ราวกับประกอบขึ้นจากกองเส้นมิติเดียวจำนวนอนันต์จริงๆ ท่านี้จะรบกวนใจนักคณิตศาสตร์ไปจนกว่าจะมีการคิดค้นแคลคูลัสอีกสองพันปีให้หลัง แต่มันใช้ได้ มันบอก Archimedes ได้เร็วและเชื่อถือได้ว่า*คำตอบ*คืออะไร จากนั้นเท่านั้นเขาจึงย้อนกลับไปสร้างบทพิสูจน์ที่เคร่งครัดเต็มรูปของผลลัพธ์เดียวกัน ด้วยวิธีไล่ให้หมด (method of exhaustion) ที่ยอมรับกัน คือข้อโต้แย้งแบบขัดแย้งสองชั้นอันหนักหน่วงที่ธรรมเนียมของ Euclid เรียกร้อง เขาเขียนถึง Eratosthenes ด้วยถ้อยคำของตัวเองว่าส่งผลลัพธ์มาก่อนโดยไม่มีบทพิสูจน์ ก็เพราะการหาบทพิสูจน์ของผลลัพธ์ที่รู้อยู่แล้วว่าจริง ง่ายกว่าการหาผลลัพธ์ที่จริงพร้อมบทพิสูจน์ของมันจากศูนย์ไปพร้อมกันมาก
Archimedes กำลังบอกเราด้วยลายมือของเขาเองว่า การค้นพบทางคณิตศาสตร์กับความเคร่งครัดทางคณิตศาสตร์เป็น*กิจกรรมสองอย่างที่แยกจากกัน* ทำสลับลำดับกันก็ได้ และการทำอย่างที่น่าเกลียด ไม่เคร่งครัด อาศัยกลไกช่วย ก่อน ไม่ใช่ทางลัดที่ต้องละอาย — มันคือยุทธศาสตร์การวิจัยที่ชอบธรรม นี่คือคำสารภาพเรื่องวิธีที่ต่างจากเรื่องอ่างอาบน้ำโดยสิ้นเชิง และเถียงได้ว่าถอนรากกว่า ตัว The Method เองสูญหายไปเกือบตลอดประวัติศาสตร์ รู้จักกันแค่ชื่อ จนปี 1906 นักวิชาการชาวเดนมาร์ก Johan Ludvig Heiberg ระบุมันได้ใต้หนังสือสวดมนต์ไบแซนไทน์ของศตวรรษที่สิบสาม — พาลิมป์เซสต์ (palimpsest) คือต้นฉบับที่ขูดออกแล้วเอากลับมาใช้ใหม่ — วันนี้รู้จักกันในชื่อ Archimedes Palimpsest เนื้อความส่วนใหญ่ยังอ่านไม่ออกจนมีการถ่ายภาพอีกรอบระหว่างปี 1998 ถึง 2008 ด้วยเทคนิคอัลตราไวโอเลต อินฟราเรด และเอกซเรย์ ที่สถานที่ซึ่งวันนี้คือ Walters Art Museum ในเมือง Baltimore จึงกู้ตัวบทที่ซ่อนอยู่ใต้รอยราและใต้ภาพวาดยุคกลางปลอม ที่นักปลอมแปลงในศตวรรษที่ยี่สิบเติมลงไปเพื่อดันราคาขายต่อของต้นฉบับ กลับคืนมาได้ (Archimedes Palimpsest project) พูดอีกอย่าง เรายังกู้บันทึกที่ Archimedes เขียนถึงวิธีของตัวเองอยู่ สิบแปดศตวรรษหลังจากที่ Vitruvius จดเรื่องอ่างอาบน้ำที่สนุกกว่าแต่เชื่อถือได้น้อยกว่าเอาไว้
ห้องของ Ibn al-Haytham
หนึ่งพันปีหลัง Archimedes ที่ Cairo นักปราชญ์ชื่อ Abu Ali al-Hasan ibn al-Haytham — ฉบับแปลละตินเรียกว่า Alhazen — ถูกกักอยู่แต่ในบ้านของตัวเองราวหนึ่งทศวรรษ ตั้งแต่ราวปี 1011 ถึง 1021 ตามบันทึกส่วนใหญ่ เหตุผลที่นักประวัติศาสตร์หลายคนให้ไว้ลงตัวเกินไปจนน่าสงสัย: เขาเผลอทูลกาหลิบฟาติมิดผู้อารมณ์ร้าย al-Hakim ว่าคุมน้ำท่วมประจำปีของแม่น้ำไนล์ได้ด้วยเขื่อน กาหลิบส่งเขาไปสำรวจพื้นที่ใกล้เมือง Aswan ปัจจุบัน พอไปถึงเขาสรุปว่าโครงการเป็นไปไม่ได้ด้วยวิศวกรรมของยุคนั้น เขากลัวถูกประหารเพราะความล้มเหลว — ราชสำนักของ al-Hakim มีบันทึกการลงโทษโหดร้ายต่อความผิดที่เล็กกว่านั้นมาก — ว่ากันว่า Ibn al-Haytham จึงแกล้งเป็นบ้าเพื่อเอาตัวรอด และลงเอยด้วยการกักบริเวณในบ้านแทน จนกาหลิบสิ้นพระชนม์ในปี 1021 เขาจึงได้รับการปล่อยตัว เพราะไม่ต้องรับผิดตามกฎหมายต่อคำสัญญาที่ให้ไว้ตอน "วิกลจริต" อีกต่อไป (Physics World, "The Scholar and the Caliph" — พึงสังเกตว่าแหล่งนี้เองก็ระบุว่าเรื่องนี้ประกอบขึ้นใหม่จากบันทึกที่ไม่ครบ และเรียกมันเพียงว่า "น่าจะเป็นเช่นนั้น") สิ่งที่มีหลักฐานหนักแน่นกว่ามากคือสิ่งที่เขาทำกับสิบปีนั้น: ตำราเจ็ดเล่มชื่อ Kitab al-Manazir ที่ตะวันตกรู้จักในชื่อ Book of Optics (UNESCO Courier; Book of Optics, Wikipedia)
Book of Optics จัดการกับคำถามที่ชาวกรีกโบราณไม่เคยยุติได้: ตามองเห็นด้วยการยิงรังสีออกไปหาวัตถุ (ทฤษฎี "extramission" ที่ผูกอยู่กับงานด้านทัศนศาสตร์ของ Euclid เอง) หรือด้วยการรับแสงที่เดินทางจากวัตถุเข้ามาในตา ("intromission") Ibn al-Haytham ไม่ได้เพียงเถียงเข้าข้าง intromission — เขาสร้างอุปกรณ์จริงขึ้นมาทดสอบ และบรรยายเครื่องมือกับขั้นตอนไว้เป็นรูปธรรม ทำซ้ำได้ มากพอที่ผู้อ่านซึ่งไม่มีทางเข้าถึงตัวเขาจะตั้งการทดลองเดียวกันขึ้นเองได้ อุปกรณ์ที่ดังที่สุดของเขาเป็นบรรพบุรุษของกล้องรูเข็ม: ช่องเล็กบนฉากกั้นระหว่างเทียนชุดหนึ่งกับผนังที่ใช้ดู เขาแสดงว่าแสงจากเทียนแต่ละเล่มทอดจุดเดียว คมชัด กลับหัว ลงบนผนังฝั่งตรงข้าม ตรงกับเส้นตรงที่ลากจากเทียนเล่มนั้นผ่านรู — หลักฐานว่าแสงเคลื่อนจากวัตถุมาหาผู้สังเกตตามเส้นทางตรงที่แน่นอน ไม่ใช่ทางกลับกัน (UNESCO Courier; Book of Optics, Wikipedia)
การเรียก Ibn al-Haytham ว่าเป็น "บิดาแห่งวิธีการทางวิทยาศาสตร์" แต่ผู้เดียว — ฉลากที่บทความทั่วไปติดให้เขาบ่อยๆ — พูดเกินจริง ประวัติศาสตร์จริงค่อยเป็นค่อยไปและกระจายตัวกว่านั้น รวมนักทดลองกรีกรุ่นก่อนและนักทดลองยุโรปรุ่นหลังไว้ด้วย และนักประวัติศาสตร์วิทยาศาสตร์บางคนค้านฉบับที่เรียบร้อยเกินจริงนี้อย่างแรง (The Renaissance Mathematicus, "Ibn al-Haytham did not invent the Scientific Method") หนังสือเล่มนี้ใช้ความระมัดระวังแบบเดียวกันในที่อื่น และใช้ที่นี่ด้วย สิ่งที่ไม่มีข้อโต้แย้งแคบกว่า และสำคัญกว่าสำหรับจุดประสงค์ของหนังสือเล่มนี้: Book of Optics คือบันทึกลายลักษณ์ของ*ขั้นตอนวิธี*เชิงการทดลอง — อุปกรณ์ การตั้งค่า คำทำนาย ผลลัพธ์ — แม่นยำพอที่คนซึ่งไม่เคยพบผู้เขียนจะหยิบไปรันซ้ำได้ แปลเป็นละตินราวปี 1200 ในชื่อ De Aspectibus มันหล่อหลอมทัศนศาสตร์ของ Roger Bacon, Witelo และในที่สุดคือ Kepler หลายศตวรรษหลังผู้เขียนตายไปแล้ว มันอยู่ยืนกว่าเขาด้วยกลไกที่บทนี้วนกลับมาพูดถึงตลอด: เขาเขียนเส้นทางลงไว้ชัดพอจนมันไม่ต้องพึ่งเขาอีกเลยเพื่อจะทำงานต่อไป
เครื่องจักรที่ยังไม่เสร็จของ Descartes
René Descartes ทหารฝรั่งเศสที่ผันตัวเป็นนักปรัชญา เห็นสิ่งเดียวกับที่บทนี้เถียงมาตลอด และเข้าชนมันตรงๆ ในต้นศตวรรษที่สิบเจ็ด: ถ้าเรขาคณิตกลายเป็นเครื่องจักรได้ (Euclid) และถ้านักปราชญ์ที่ถูกกักอยู่ในบ้านตัวเองเปลี่ยนทัศนศาสตร์ให้เป็นขั้นตอนการทดลองที่ทำซ้ำได้ (Ibn al-Haytham) ทำไมจะไม่มีวิธีเดียว แจงไว้ครั้งเดียว แล้วใช้ค้นความจริงได้ในทุกสาขา — ฟิสิกส์ การแพทย์ จริยศาสตร์ คณิตศาสตร์ เหมือนกันหมด
Descartes ลงมือเขียนวิธีสากลนี้สองครั้ง และครั้งแรกไม่จบ ราวปี 1628 เขาเขียน Regulae ad Directionem Ingenii — กฎสำหรับกำกับปัญญา — แล้วค้างไว้ มันไม่ได้ตีพิมพ์ตอนเขายังอยู่ ฉบับพิมพ์เก่าสุดออกมาในปี 1701 กว่าห้าสิบปีหลังเขาตาย (Rules for the Direction of the Mind, Wikipedia) กฎข้อที่สี่บอกตรงๆ ว่า Descartes ไล่ล่าอะไร: mathesis universalis หรือ "คณิตศาสตร์สากล" ที่เขาบรรยายว่าเป็น "ศาสตร์ทั่วไปที่อธิบายทุกสิ่งที่สืบค้นได้เกี่ยวกับลำดับและการวัด โดยไม่จำกัดอยู่กับเนื้อหาเฉพาะเรื่องใด" (Mathesis universalis, Wikipedia; MacTutor, Descartes) นั่นคือความทะเยอทะยานขนาดใหญ่ที่พูดออกมาโต้งๆ: ไม่ใช่วิธีทำเรขาคณิตที่ดีกว่าเดิม แต่คือวิธีแม่บทที่รองอยู่ใต้เรขาคณิต พีชคณิต และวิทยาศาสตร์แม่นยำอื่นทุกแขนง — แบบแผนที่ Euclid สร้างไว้สำหรับวิชาเดียว ขยายไปคลุมทุกวิชาพร้อมกัน
Regulae หยุดกลางคัน ไม่จบ เดินไปได้แค่บางส่วนของสามภาคที่วางไว้ ความพยายามครั้งที่สองของ Descartes เก้าปีให้หลังดังกว่า ขอบเขตถ่อมกว่า แต่ทรงอิทธิพลกว่ามากในเชิงรูปแบบ: Discourse on the Method ปี 1637 เขียนเป็นภาษาฝรั่งเศสแทนภาษาละตินของวงวิชาการ วางกรอบให้ใกล้อัตชีวประวัติมากกว่าตำรา Descartes เล่าความไม่พอใจของตัวเองต่อทุกอย่างที่เคยเรียนมา แล้วกลั่นวิธีทำงานของเขาลงเหลือกฎสี่ข้อ: อย่ารับสิ่งใดว่าจริง เว้นแต่มันปรากฏชัดและแจ่มแจ้งจนไม่มีช่องให้สงสัย แบ่งความยากทุกอันเป็นส่วนย่อยให้มากเท่าที่จำเป็นจะคลี่มันได้ นำความคิดไปตามลำดับ เริ่มจากวัตถุที่ง่ายที่สุดแล้วไต่ทีละขั้นสู่สิ่งที่ซับซ้อนกว่า และตลอดทางนั้น แจงรายการให้ครบถ้วนและทบทวนให้กว้างขวางจนไม่มีอะไรตกหล่น (Discourse on the Method, Wikipedia)
พิกัดคือผลลัพธ์เชิงเทคนิคชิ้นเดียวที่สำคัญต่อข้อเสนอของหนังสือเล่มนี้มากจนได้พื้นที่ขยายเป็นของตัวเองในบทที่ 02 มันมาจาก La Géométrie หนึ่งในสามบทความวิทยาศาสตร์ที่ต่อท้าย Discourse เพื่อแสดงวิธีนี้ตอนทำงานจริง Descartes แสดงวิธีติดคู่ตัวเลขให้ทุกจุดบนระนาบ แล้วเขียนเส้นโค้งเรขาคณิตทุกเส้นใหม่ให้เป็นสมการพีชคณิต (La Géométrie, Britannica) บทนั้นจะใช้มันเป็นกรณีแม่บทของการเปลี่ยนรูปแบบการแทนปัญหา (representation) แทนที่จะแค่เดินตามขั้นตอนวิธีตายตัวอยู่ภายในกรอบเดิม ตอนนี้ให้สังเกตแค่รูปทรงของความทะเยอทะยานที่ผลิตมันขึ้นมา: Descartes อยากได้วิธีที่ทำให้การค้นพบเองเป็นเรื่องกลไก แบบเดียวกับที่ Euclid ทำให้บทพิสูจน์เรขาคณิตเป็นเรื่องกลไก เขาสร้างมันไม่เสร็จ — mathesis universalis ยังคงเป็นแผนงาน ไม่ใช่ระบบที่สมบูรณ์ ตามคำของเขาเอง และนักปรัชญายังเถียงกันอยู่ว่าเขาเชื่อจริงๆ แค่ไหนว่ามันทำสำเร็จได้ แต่ความฝันที่เขาทิ้งไว้ — ว่าการแก้ปัญหาโดยทั่วไปอาจทำให้เป็นระบบได้ ไม่ใช่แค่ฝึกทำเอา — คือความทะเยอทะยานที่ทุกบทถัดจากนี้ของหนังสือเล่มนี้พยายามทำให้เป็นจริง ด้วยศัพท์ของศตวรรษของตัวเอง
วิธีกลายเป็นวัตถุ
แบบแผนหนึ่งยืนอยู่ตลอดสี่พันปีที่บทนี้ครอบคลุม ทั้งในอียิปต์ บาบิโลน Alexandria, Cairo และห้องที่มีเตาผิงในเยอรมนีที่ Descartes อ้างว่าเขาเกิดการหยั่งเห็น (insight) ตั้งต้นขึ้นที่นั่น: ทุกกรณี มีใครสักคนหยิบวิธีแก้ปัญหาที่ก่อนหน้านั้นอยู่แต่ในหัวของคนเก่งคนเดียว — เล่ห์ของอาลักษณ์ การสร้างของนักเรขาคณิต การตั้งการทดลองของนักปรัชญาธรรมชาติ กฎความคิดส่วนตัวของนักปรัชญา — แล้วเขียนมันลงไว้ในฐานะวัตถุที่แยกจากปัญหาข้อใดข้อหนึ่งที่มันเคยใช้แก้
การเขียนนั้นคือการบีบอัด (compression) ชนิดแรกสุดและพื้นฐานที่สุดที่หนังสือเล่มนี้จะบรรยายถึง ไม่ใช่แค่การเก็บบันทึก วิธีที่อยู่แต่ในหัวคนเดียวใช้ได้แต่กับหัวนั้น กับปัญหาที่หัวนั้นบังเอิญเจอ ด้วยสิ่งที่หัวนั้นบังเอิญจำได้ถูกต้องในวันนั้น วิธีที่เขียนลงไว้แล้ว — มีชื่อ ขั้นตอนพูดออกมาชัด ข้อสมมติแจงไว้ ขอบเขตการใช้งานอย่างน้อยก็กำหนดไว้โดยนัย — กลายเป็นของที่คนอื่นส่องดู ทดสอบกับกรณีใหม่ วิจารณ์ และปรับปรุงได้ ไม่ต้องประกอบมันขึ้นใหม่จากศูนย์ ไม่ต้องไปถามผู้คิดค้น false position ของ Ahmes, ข้อตั้งของ Euclid, วิธีเดาอย่างมีหลัก (heuristic) แบบชั่งน้ำหนักบนคานงัดของ Archimedes, อุปกรณ์รูเข็มของ Ibn al-Haytham และกฎสี่ข้อของ Descartes คือคำตอบห้าแบบต่อคำถามการออกแบบข้อเดียวกันที่อยู่ข้างใต้ — เราแก้ปัญหาชั้นนี้โดยทั่วไปอย่างไร — และทุกคำตอบอยู่รอดมาในรูปใดรูปหนึ่ง จนถึงคณิตศาสตร์และวิทยาศาสตร์ที่ทำกันอยู่ทุกวันนี้
การเขียนเส้นทางลงไว้ แทนที่จะแค่ไปถึงคำตอบ คือสิ่งแรกที่ทำให้พื้นที่ปัญหา (problem space) มี*รูปทรง*ที่มองเห็นได้ แยกออกจากกรณีใดกรณีหนึ่งที่นั่งอยู่ข้างใน จะจงใจเปลี่ยนพื้นที่ที่ปัญหาหนึ่งอาศัยอยู่ — ท่าแม่บทที่หนังสือเล่มนี้ใช้บทที่เหลือทั้งหมดไล่ตาม — ต้องสังเกตเห็นเสียก่อนว่าพื้นที่นั้นมีรูปทรงที่ควรค่าแก่การตรวจดู งานพื้นฐานชุดนี้จึงทำให้ส่วนที่เหลือของหนังสือเล่มนี้เป็นไปได้
ท่าประจำบท
Move 01 — เปลี่ยนวิธีให้เป็นวัตถุ
- เขียนเส้นทาง ไม่ใช่แค่คำตอบ เวลาแก้อะไรได้ ตัวเลขหรือผลลัพธ์มักเป็นของที่มีค่าน้อยที่สุดในบรรดาสิ่งที่ผลิตออกมา ลำดับท่าที่พาไปถึงตรงนั้นต่างหาก — แจงไว้ชัดพอที่คนอื่นจะเดินตามได้โดยไม่ต้องมีเจ้าตัวอยู่ในห้อง — คือสินทรัพย์ที่ใช้ซ้ำได้
- ตั้งชื่อให้มัน เพื่อให้คนที่ไม่ใช่เจ้าตัวปรับปรุงมันได้ เทคนิคที่ไม่มีชื่อเกิดและตายไปพร้อมความทรงจำของผู้คิดค้น ขั้นตอนวิธีที่มีชื่อและเขียนไว้ — "false position" "วิธีเชิงสัจพจน์" "กฎสี่ข้อ" — กลายเป็นเป้าที่คนอื่นวิจารณ์ ทดสอบ และลับให้คมได้
- แยกการหาออกจากการพิสูจน์ จดหมายของ Archimedes ถึง Eratosthenes คือใบอนุญาตชัดๆ อายุยี่สิบสองศตวรรษ ให้แก้ปัญหาด้วยวิธีน่าเกลียด กลไกจ๋า กึ่งเคร่งครัด อะไรก็ได้ที่พาไปถึงคำตอบที่ถูกเร็วที่สุด — แล้วค่อยย้อนกลับไปสร้างข้อโต้แย้งที่สะอาดทีหลัง การไล่ล่าความเคร่งครัดกับความแน่ใจไปพร้อมกันจากหน้ากระดาษเปล่า มักเป็นเส้นทางที่ช้ากว่าสำหรับทั้งสองอย่าง
- แจงข้อสมมติตั้งต้นก่อนจะสร้างอะไรทับลงไป ข้อตั้งของ Euclid กับกฎสี่ข้อของ Descartes ทำแบบนี้ทั้งคู่: มันบอกไว้ชัดและบอกไว้ล่วงหน้าว่ากำลังถืออะไรเป็นที่ตั้ง ทุกอย่างที่สร้างต่อจากนั้นจึงตรวจกลับไปที่ฐานรากที่ตรึงแน่และมองเห็นได้ ไม่ใช่ที่สัญชาตญาณที่ไม่เคยพูดออกมา
ต่อไป — บทที่ 02 · การเปลี่ยนกรอบ: ปริศนาข้ามสะพานที่กระจอกจน Euler เกือบไม่สนใจ ทางลัดของเด็กนักเรียนที่เรื่องจริงแปลกกว่าตำนานของมัน และนักกระโดดสูงที่แก้โจทย์ "กระโดดให้สูงขึ้น" ด้วยการไม่ยอมหันหน้าเข้าหาคาน พอวิธีเป็นวัตถุแล้ว ท่าถัดไปคือเปลี่ยนพื้นที่ที่วัตถุนั้นทำงานอยู่
บทถัดไป · 3 / 1202 · การเปลี่ยนกรอบ