ทัวริงหมายถึงอะไรเมื่อพูดว่า“ เครื่องจักรไม่สามารถก่อให้เกิดความประหลาดใจได้” เกิดจากการเข้าใจผิด?


29

ฉันพบคำสั่งด้านล่างโดยAlan M. Turing ที่นี่ :

“ มุมมองที่ว่าเครื่องจักรไม่สามารถก่อให้เกิดความประหลาดใจได้เนื่องจากผมเชื่อว่าการเข้าใจผิดที่นักปรัชญาและนักคณิตศาสตร์เป็นเรื่องโดยเฉพาะนี่คือข้อสันนิษฐานว่าทันทีที่มีการนำเสนอข้อเท็จจริงในใจทันทีที่ความเป็นจริงเกิดขึ้น จิตใจพร้อมกันกับมันมันเป็นข้อสันนิษฐานที่มีประโยชน์มากในหลาย ๆ สถานการณ์

ฉันไม่ใช่คนพูดภาษาอังกฤษ มีใครอธิบายได้เป็นภาษาอังกฤษธรรมดาบ้างไหม


2
บางทีมันอาจจะเหมาะสำหรับพอร์ทัลปรัชญามากกว่าวิทยาศาสตร์หนักเช่น CS
Bulat

3
@Bulat ฉันกำลังจะพูดแบบเดียวกัน - และเปลี่ยนเส้นทางไปยังผู้เรียนภาษาอังกฤษ - แต่แล้วฉันก็ตระหนักว่ามีเนื้อหาที่เกี่ยวข้องกับ CS บางส่วนที่สามารถอธิบายได้ในคำตอบซึ่งอาจจะไม่ได้รับใน ส่วนอื่น ๆ ของ Stack Exchange
David Richerby

7
ตัวอย่างที่ดีคือการวนซ้ำของการแปลงz: = z² + cโดยที่zและcเป็นจำนวนเชิงซ้อน จะเกิดอะไรขึ้นถ้าฉันใช้จุดเริ่มต้นใด ๆ บนระนาบzและวนซ้ำ, เลขจะไปไม่มีที่สิ้นสุดหรือไม่? เพื่อนธรรมดาคนหนึ่งจะบอกว่าใช่นี่จะให้คุณสองภูมิภาคหรืออาจจะอีกไม่กี่ที่ค่าจะเป็นศูนย์และส่วนที่เหลือมันจะไม่มีที่สิ้นสุด ค่อนข้างแปลกใจ จากนั้นแมนเดลบอตจะเข้ามาและวางแผนพื้นที่บนเครื่องบินที่กำหนดโดย "เครื่องจักร" แบบนี้ เมื่อผลลัพธ์ออกมาจากเครื่องพิมพ์ dotmatrix "machine" ธรรมดานี้พิสูจน์ตัวเอง ... แปลก
David Tonhofer

Facebook และโซเชียลมีเดียอื่น ๆ เป็นตัวอย่างที่ดีของสิ่งนี้ ... ผลที่ตามมาของอัลกอริทึมของพวกเขาไม่ใช่สิ่งที่ผู้สร้างคาดหวัง (หรือใครก็ตาม)
aslum

บุคคลที่เล่นโวหารคนหนึ่งเมื่อถูกกล่าวถึงโดยใช้อุปมาอุปไมย: "ยิ่งคุณสร้างกองไฟแห่งความรู้มากเท่าใดความมืดก็ยิ่งถูกเปิดเผยต่อสายตาของคุณ"
JacobIRR

คำตอบ:


30

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

เขาบอกว่าระบบที่มีคำอธิบายง่าย ๆ จำกัด (เช่นเครื่องทัวริง) สามารถแสดงพฤติกรรมที่ซับซ้อนมากและสิ่งนี้ทำให้คนประหลาดใจ เราสามารถเข้าใจแนวคิดของเครื่องจักรทัวริงได้อย่างง่ายดาย แต่จากนั้นเราตระหนักว่าพวกเขามีผลกระทบที่ซับซ้อนเช่นความไม่แน่นอนของปัญหาการหยุดชะงักและอื่น ๆ ศัพท์เทคนิคที่นี่ก็คือ "ความรู้ไม่ได้ถูกปิดภายใต้การลดหย่อน" นั่นก็คือเราสามารถรู้ว่าบางจริง  แต่ไม่ทราบ  Bแม้ว่านัย  BABAB

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


22
ประวัติศาสตร์ต้นศตวรรษที่ 20 มีความเชื่อทางวิชาการที่แข็งแกร่งในการ "แก้ปัญหา" คณิตศาสตร์ เช่นโปรแกรมฮิลแบร์ตและไวท์เฮด + รัสเซลของPrincipia Mathematica งานของ Godel แก้ไขปัญหาการแสวงหาในเชิงลบ แต่ฉันคิดว่ามันต้องใช้เวลาพอสมควรสำหรับนักวิชาการที่จะยอมรับความคิดนี้อย่างเต็มที่ แม้จะยอมรับความถูกต้องครบถ้วนของ Godel ผู้คนก็ยังคงจดจำความคิดที่ยิ่งใหญ่ของ Hilbert ได้ ฉันคิดว่าทัวริงเขียนเพียงสองทศวรรษหลังจาก Godel จะพูดกับผู้ฟังด้วยบริบทในใจ
BurnsBA

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

4
@alephzero นั่นไม่ใช่สิ่งที่ฉันพูด! ฉันบอกว่านักคณิตศาสตร์ทั่วไปในวันนี้รู้เกี่ยวกับตรรกะทางคณิตศาสตร์มากกว่านักคณิตศาสตร์ทั่วไปในช่วงเวลาของทัวริง
David Richerby

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

มันคือการขาดของการปิด epistemic
Dan D.

19

เป็นเพียงตัวอย่าง - ตามกฎหมากรุกทุกคนควรคิดกลยุทธ์ที่ดีที่สุดในการเล่นหมากรุกในทันที

แน่นอนมันไม่ทำงาน แม้แต่ผู้คนก็ไม่เท่ากันและคอมพิวเตอร์อาจมีประสิทธิภาพเหนือกว่าเราเนื่องจากความสามารถที่ดีกว่าในการสรุปจากข้อเท็จจริง


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

1
ประเด็นของฉันไม่เพียง แต่ผู้คนจะแตกต่างกัน แต่คอมพิวเตอร์ก็แตกต่างกันดังนั้นคอมพิวเตอร์ที่โง่ในยุคทัวริงไม่ได้หมายความว่าพวกเขาจะโง่เสมอ คุณอาจจำเป็นต้องรู้ว่าทัวริงเสียชีวิตนานก่อนที่คอมพิวเตอร์จะเริ่มเล่นหมากรุก
Bulat

1
ฉันคิดว่านี่เป็นตัวอย่างที่ดีและรวบรวมสาระสำคัญของย่อหน้าของทัวริง
copper

@leftaroundabout ดังนั้น ... หมากรุกคือการจับเมื่อเล่นอย่างเหมาะสมที่สุดหรือชนะด้วยสีขาวหรือดำ? อีกประเด็น: การค้นพบเมื่อไม่นานมานี้ที่เกม endgames ที่ยาวมากอาจนำไปสู่การแก้ไขกฎ 50-move-draw - การค้นพบนี้จะนับว่าเป็น "เซอร์ไพรส์" ในราคาที่อ้างถึง
Hagen von Eitzen

12

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

อีกประการหนึ่งที่น่าสนใจของการสาธิตพฤติกรรมฉุกเฉินเป็นเกมคอนเวย์ของชีวิต กฎของเกมนั้นง่ายมาก แต่สามารถนำไปสู่ผลลัพธ์ที่น่าสนใจมาก

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


2
ขอบคุณสำหรับการกล่าวถึงการเกิดขึ้น คุณสามารถเพิ่มมองในแง่ดีบางอย่างที่จะมองในแง่ร้ายของฉันเกี่ยวกับAI ผ่านการคำนวณ
smwikipedia

9

ผู้คนอาจคิดว่าถ้าฉันเขียนโปรแกรมและฉันเข้าใจอัลกอริธึมอย่างสมบูรณ์และไม่มีข้อบกพร่องฉันควรรู้ว่าผลลัพธ์ของโปรแกรมนั้นคืออะไรและมันไม่ควรแปลกใจเลย

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


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