วิสัยทัศน์หนึ่งของข้อ จำกัด ของการคำนวณอย่างธรรมดาที่ฉันชอบคือมุมการคำนวณ ในแคลคูลัสที่พิมพ์ตามปกติอย่างยิ่งเช่นแกนแคลคูลัสแลมบ์ดาที่พิมพ์ได้อย่างง่ายๆระบบ F หรือแคลคูลัสของสิ่งก่อสร้างคุณมีหลักฐานว่าในที่สุดเงื่อนไขทั้งหมดสิ้นสุดลงในที่สุด
หากการพิสูจน์นี้เป็นสิ่งที่สร้างสรรค์คุณจะได้รับอัลกอริทึมคงที่เพื่อประเมินคำศัพท์ทั้งหมดด้วยขอบเขตบนที่รับประกันได้ในเวลาการคำนวณ หรือคุณสามารถศึกษาการพิสูจน์ (ไม่จำเป็นต้องสร้างสรรค์) และดึงขอบเขตบนออกมา - ซึ่งมีแนวโน้มว่าจะมีขนาดใหญ่มากเนื่องจากแคลคูลัสเหล่านั้นแสดงออก
ขอบเขตนี้ให้ตัวอย่างของฟังก์ชัน "ธรรมชาติ" ที่ไม่สามารถพิมพ์ได้ในแลมบ์ดา - แคลคูลัสนี้: ฟังก์ชั่นทางคณิตศาสตร์ทั้งหมดที่เหนือกว่าขอบเขตนี้
ถ้าฉันจำได้อย่างถูกต้องคำที่พิมพ์ในแลมบ์ดาแคลคูลัสที่พิมพ์ง่ายสามารถประเมินได้ในหอคอยแห่งเอ็กซ์โปเนนเชียล: O(2^(2^(...(2^n)..)
; ฟังก์ชั่นที่เติบโตเร็วกว่าหอคอยทุกแห่งจะไม่สามารถแสดงให้เห็นได้ในแคลคูลัส System F สอดคล้องกับตรรกะลำดับที่สองของสัญชาตญาณดังนั้นพลังในการคำนวณจึงมีมหาศาล ในการยึดความสามารถในการคำนวณของทฤษฎีที่ทรงพลังยิ่งกว่านั้นเรามักจะให้เหตุผลในแง่ของทฤษฎีเซตและทฤษฎีแบบจำลอง