มีความสัมพันธ์ระหว่างทัวริงจักรกับแคลคูลัสแลมบ์ดาหรือว่าเกิดขึ้นในเวลาเดียวกันหรือไม่?
มีความสัมพันธ์ระหว่างทัวริงจักรกับแคลคูลัสแลมบ์ดาหรือว่าเกิดขึ้นในเวลาเดียวกันหรือไม่?
คำตอบ:
แคลคูลัสแลมบ์ดานั้นมีอายุมากกว่าโมเดลเครื่องจักรของทัวริงซึ่งดูเหมือนว่าสืบมาจากช่วงปี ค.ศ. 1928-1929 (Seldin 2006) และได้รับการคิดค้นขึ้นเพื่อสรุปความคิดของฟังก์ชันแผนผังที่คริสตจักรต้องการสำหรับตรรกะพื้นฐานที่เขาวางแผน มันไม่ได้คิดค้นในการจับความคิดทั่วไปของฟังก์ชั่นคำนวณและแน่นอนรุ่นพิมพ์ที่อ่อนแอจะได้ทำหน้าที่วัตถุประสงค์ของเขาดีขึ้น
ดูเหมือนว่าจะมีความขัดแย้งกับวัตถุประสงค์ของการที่โบสถ์แคลคูลัสคิดค้นกลายเป็นทัวริงสมบูรณ์แม้ว่าภายหลังโบสถ์ใช้แลมบ์ดาแคลคูลัสเป็นรากฐานของเขาสำหรับสิ่งที่เขาเรียกว่าฟังก์ชันคำนวณได้อย่างมีประสิทธิภาพ (1936) ซึ่งทัวริงหันไป .
ทฤษฎีประเภทง่ายๆของคริสตจักร (1940) ให้ทฤษฎีฟังก์ชันที่มีความพิมพ์ปานกลางซึ่งพอเพียงในการแสดงไวยากรณ์ของตรรกะระดับสูง แต่ไม่ได้ทำหน้าที่เรียกซ้ำทั้งหมด ทฤษฎีนี้สามารถเห็นได้ว่าสอดคล้องกับแรงจูงใจดั้งเดิมของศาสนจักรมากขึ้น
หมายเหตุคำตอบนี้ได้รับการแก้ไขอย่างมากเนื่องจากคำคัดค้านของ Kaveh และ Sasho ผมขอแนะนำให้ระยะเวลาที่วิกิพีเดีย Kaveh แนะนำประวัติของวิทยานิพนธ์โบสถ์ทัวริงซึ่งมีคำพูดทางเลือกบางส่วนจากบทความน้ำเชื้อ
ฉันอยากจะชี้ให้เห็นว่าในขณะที่แลมบ์ดาแคลคูลัสและทัวริงเครื่องจักรคำนวณทั้งฟังก์ชั่นตัวเลขเชิงทฤษฎีในระดับเดียวกันพวกเขาไม่ได้เทียบเท่ากันอย่างแม่นยำในทุกวิถีทางเท่าที่จะเป็นไปได้ ยกตัวอย่างเช่นในทฤษฎี realizability มีข้อความที่สามารถรับรู้ได้โดยเครื่องจักรทัวริง แต่ไม่ใช่แลมบ์ดาแคลคูลัส คำกล่าวหนึ่งดังกล่าวเป็นวิทยานิพนธ์อย่างเป็นทางการของศาสนจักรซึ่งกล่าวว่า:
. สิ่งนี้ไม่สามารถทำได้ (ฉันสามารถอธิบายได้ว่าทำไมหากคุณถามเป็นคำถามแยกต่างหาก)
พวกเขามีความเกี่ยวข้องทั้งทางคณิตศาสตร์และประวัติศาสตร์
แคลคูลัสแลมบ์ดาได้รับการพัฒนาในปี 2471 - 2472 โดยโบสถ์อลองโซ (ตีพิมพ์ในปี 2475)
เครื่องทัวริงได้รับการพัฒนาในปี 1935 - 1937 โดย Alan Turing (ตีพิมพ์ในปี 1937)
Alan Turing เป็น Ph.D. ของโบสถ์ Alonzo นักศึกษาที่ปรินซ์ตันตั้งแต่ปี 2479 - 2481
เครื่องทัวริงและแคลคูลัสแลมบ์ดานั้นเทียบเท่ากันในกำลังการคำนวณ: แต่ละเครื่องจำลองได้อย่างมีประสิทธิภาพ
Entscheidungsproblemเป็นหนึ่งใน 23 ปัญหาที่มีชื่อเสียงที่เสนอโดยนักคณิตศาสตร์ David Hilbert
ในปีค. ศ. 1936 และ 1937 Alonzo Church และ Alan Turing ตามลำดับเอกสารอิสระที่เผยแพร่แล้วแสดงให้เห็นว่าเป็นไปไม่ได้ที่จะตัดสินใจว่าอัลกอริทึมในการคำนวณทางคณิตศาสตร์เป็นจริงหรือเท็จ
สิ่งนี้กระทำโดย Alonzo Church ในปี 1936 ด้วยแนวคิดของ "การคำนวณที่มีประสิทธิภาพ" ตาม based แคลคูลัสของเขาและโดย Alan Turing ในปีเดียวกันกับแนวคิดของเครื่องจักรทัวริง ภายหลังได้รับการยอมรับว่าเป็นแบบจำลองการคำนวณที่เทียบเท่ากัน - วิกิพีเดีย
ดังนั้นแลมบ์ดาแคลคูลัสและทัวริงจักรไม่เพียงเกี่ยวข้องอย่างใกล้ชิด แต่เป็นแบบจำลองการคำนวณที่เทียบเท่ากัน
คุณอาจจะยังชอบ Tor อ่าน ข้อเขียนทัวริง: เป็นไกด์ทัวร์ผ่านอลันทัวริงประวัติศาสตร์กระดาษ Computability และเครื่องทัวริงโดย Charles Petzold หนังสือเล่มนี้รวบรวมข้อมูลที่น่าสนใจเกี่ยวกับหัวข้อ
เครื่องจักรทัวริงและแลมบ์ดาแคลคูลัสเป็นสองโมเดลที่จับความคิดของอัลกอริทึม (การคำนวณเชิงกล) คริสตจักรแลมบ์ดาถูกคิดค้นโดยคริสตจักรเพื่อทำการคำนวณด้วยฟังก์ชั่น มันเป็นพื้นฐานของภาษาโปรแกรมการทำงาน โดยทั่วไปปัญหาทุกอย่างที่คำนวณได้ (ถอดรหัสได้) โดยเครื่องทัวริงก็คำนวณได้โดยใช้แคลคูลัสแลมบ์ดา ดังนั้นพวกเขาจึงเป็นแบบจำลองการคำนวณสองแบบที่เทียบเท่ากัน (ขึ้นอยู่กับปัจจัยพหุนาม) และทั้งสองพยายามจับพลังของการคำนวณเชิงกลใด ๆ