อลอนโซ เชิร์ช: สถาปนิกแห่งปัญญาประดิษฐ์คอมพิวเตอร์

อลอนโซ เชิร์ช: สถาปนิกผู้ถูกลืมของปัญญาคอมพิวเตอร์

• ผู้เสนอคำตอบต่อ Entscheidungsproblem

  • อลอนโซ เชิร์ชเป็นบุคคลที่มีอิทธิพลอย่างมากต่อการพัฒนาวิทยาการคอมพิวเตอร์และปัญญาประดิษฐ์ และมีบทบาทสำคัญอย่างยิ่งต่องานของอลัน ทัวริง
  • เขามีส่วนช่วยต่อการพัฒนา Turing test และหากปราศจากงานวิจัยของเขา แนวคิดและวิธีการประเมินปัญญาประดิษฐ์ในปัจจุบันคงแตกต่างไปอย่างมาก

• ชีวิตช่วงต้นและภูมิหลังทางวิชาการของเชิร์ช

  • เชิร์ชเกิดเมื่อปี 1903 ที่กรุงวอชิงตัน ดี.ซี. เป็นนักตรรกศาสตร์ที่เงียบขรึมและอ่อนโยน แต่สร้างอิทธิพลอย่างมหาศาลต่อคณิตศาสตร์และการคอมพิวต์
  • หลังจากได้รับปริญญาเอกจากมหาวิทยาลัยพรินซ์ตัน เขาได้ทำวิจัยที่ฮาร์วาร์ดและในต่างประเทศ ก่อนจะกลับมาที่พรินซ์ตันและสร้างมรดกทางวิชาการของตน

• λ-calculus และสมมติฐานเชิร์ช-ทัวริง

  • ผลงานสำคัญที่สุดของเชิร์ชคือ λ-calculus ซึ่งวางรากฐานให้กับวิทยาการคอมพิวเตอร์
  • ในปี 1936 เขาได้เสนอสมมติฐานเชิร์ช-ทัวริง ซึ่งสถาปนาแนวคิดว่าฟังก์ชันทุกชนิดที่คำนวณได้อย่างมีประสิทธิผลสามารถคำนวณได้ด้วยเครื่องทัวริง
  • สมมติฐานนี้เน้นย้ำข้อจำกัดของอัลกอริทึม และสำรวจว่าเครื่องจักรสามารถเลียนแบบความคิดของมนุษย์ได้มากน้อยเพียงใด

• ปัญหาการตัดสินใจและทฤษฎีบทของเชิร์ช

  • เชิร์ชให้คำตอบในเชิงปฏิเสธต่อปัญหาการตัดสินใจที่ฮิลแบร์ทเสนอไว้ โดยพิสูจน์ว่าไม่มีอัลกอริทึมที่สามารถตัดสินข้อความทางคณิตศาสตร์ทุกข้อได้
  • สิ่งนี้ส่งอิทธิพลอย่างมากต่อทฤษฎีการตัดสินใจ และตอกย้ำข้อจำกัดของการคำนวณ

• เชิร์ชในฐานะเมนเทอร์

  • เชิร์ชเป็นเมนเทอร์ให้แก่นักตรรกศาสตร์และนักวิทยาการคอมพิวเตอร์ที่มีชื่อเสียงมากมาย เช่น Stephen Kleene, J. Barkley Rosser และอลัน ทัวริง
  • การสอนของเขาที่พรินซ์ตันมีอิทธิพลอย่างมากต่อนักศึกษา และแนวทางการสอนของเขาก็สร้างความประทับใจอย่างลึกซึ้งให้แก่ผู้เรียน

• มรดกและอิทธิพลของเชิร์ช

  • แม้เชิร์ชจะไม่ได้มีชื่อเสียงเท่าทัวริง ฟอน นอยมันน์ หรือเกอเดล แต่งานของเขาได้หล่อหลอมรากฐานทางทฤษฎีของวิทยาการคอมพิวเตอร์
  • โปรแกรมที่ทำงานบนสมาร์ตโฟนในปัจจุบันมีรากฐานอยู่ในตรรกะของ λ-calculus และผลงานของเขาก็เป็นสิ่งจำเป็นต่อโครงสร้างของคอมไพเลอร์และอินเทอร์พรีเตอร์สมัยใหม่

• เหตุใดเราจึงควรรู้จักอลอนโซ เชิร์ช

  • อัจฉริยภาพของเชิร์ชอยู่ในส่วนที่มองไม่เห็น และผลงานของเขาได้สร้างรากฐานทางทฤษฎีให้กับปฏิสัมพันธ์ดิจิทัลที่เรามองว่าเป็นเรื่องปกติ
  • เมื่อปัญญาประดิษฐ์พัฒนาไปมากขึ้น การรู้จักและยกย่องบุคคลรากฐานอย่างเชิร์ชให้มากขึ้นก็ยิ่งมีความสำคัญ

[GN⁺]

ความคิดเห็นบน Hacker News

• ใน Paradigms of Artificial Intelligence Programming มีการกล่าวถึงข้อเท็จจริงทางประวัติศาสตร์ที่น่าสนใจเกี่ยวกับที่มาของแลมบ์ดา โดยแลมบ์ดามาจากสัญลักษณ์ฟังก์ชันของ Alonzo Church และ Lisp ก็ได้นำสัญลักษณ์นี้มาใช้

• lambda calculus ของ Church และเครื่องทัวริงมีความสามารถในการคำนวณเทียบเท่ากัน แต่เครื่องทัวริงใช้สถานะที่เปลี่ยนแปลงได้ ซึ่งนำไปสู่ความแตกต่างระหว่างภาษาการเขียนโปรแกรมเชิงฟังก์ชันกับภาษาการเขียนโปรแกรมเชิงคำสั่ง

• หากอยากอ่านเรื่องราวน่าสนใจเกี่ยวกับ Church ขอแนะนำบันทึกความทรงจำของ Rota

• ภาษาโปรแกรม Alonzo ที่ตั้งชื่อตาม Alonzo Church แทบถูกลืมไปแล้ว

• อยากให้หลีกเลี่ยงการใช้ภาพประกอบที่สร้างด้วย AI ในบล็อกโพสต์ มีภาพถ่ายจริงของ Church ที่เป็นสาธารณสมบัติอยู่แล้ว และภาพประกอบ AI ก็ไม่ได้หน้าตาเหมือนเขา

• ความท้าทายที่แท้จริงของ lambda calculus คือการทำความเข้าใจความเรียบง่ายของมัน ซึ่งไม่ได้ช่วยให้เข้าใจว่ามันเทียบเท่ากับการคำนวณทุกแบบ

• ในบริบทของ AI ทัวริงมุ่งเน้นไปที่ความบริสุทธิ์ เงื่อนไขขั้นต่ำ และนามธรรม ขณะที่ Church มุ่งเน้นไปที่วิธีที่เราสามารถคิดได้จริง

• ปรัชญาของ Church ว่าด้วยตรรกะและความหมาย/การอ้างอิงนั้นส่วนใหญ่ถูกลืมไปแล้ว และงานเขียนจำนวนมากของเขาก็ไม่ได้ถูกพูดถึงใน Wikipedia เป็นต้น

• วลี "อย่ากินเหยื่อ" คล้ายกับ "อย่าให้อาหารโทรลล์" แม้จะลบคำยั่วออกจากชื่อเรื่องแล้ว แต่ก็มีคอมเมนต์จำนวนมากตอบสนองต่อมันไปแล้ว ซึ่งไม่ค่อยดีต่อเธรด HN