ทำไมแลมบ์ดาแคลคูลัสจึงเป็น“ แคลคูลัส”?

11

คำจำกัดความเพียงอย่างเดียวของ "แคลคูลัส" ที่ฉันรู้คือการศึกษาข้อ จำกัด อนุพันธ์อินทิกรัล ฯลฯ ในการวิเคราะห์ แลมบ์ดาแคลคูลัส (หรือแคลคูลัส mu) เป็น "แคลคูลัส" ในแง่ใด มันเกี่ยวข้องกับแคลคูลัสในการวิเคราะห์อย่างไร

terminology lambda-calculus

— อเล็กซ์
แหล่งที่มา

5

ไม่มีอะไรเกี่ยวข้องกับแคลคูลัสหรือการวิเคราะห์แคลคูลัสมีความหมายที่นี่ในแง่ที่ว่าคุณมีกฎที่แน่นอนที่คุณใช้สัญลักษณ์ ในภาษาเยอรมันเรียกว่า "Lambda Kalkül" โดยที่คำว่า "Kalkül" หมายถึงระบบของกฎของการยักย้ายถ่ายเทและแคลคูลัสนั้นเรียกว่า "การวิเคราะห์" ดังนั้นจึงไม่มีการแทรกแซงในการตั้งชื่อ

— StefanH

5

พจนานุกรมของฉันบอกว่า "แคลคูลัส: วิธีการเฉพาะหรือระบบการคำนวณหรือการใช้เหตุผล"

— Sasho Nikolov

17

แคลคูลัสเป็นเพียงระบบการให้เหตุผล แคลคูลัสหนึ่ง (ดีจริง ๆ แล้วสองคนที่เกี่ยวข้องกับแคลคูลัส: แคลคูลัสและแคลคูลัสครบถ้วน) กลายเป็นที่แพร่หลายจนกลายเป็นที่รู้จักกันในนาม "แคลคูลัส" ราวกับว่ามันเป็นเพียงคนเดียว แต่อย่างที่คุณสังเกตมีแคลคูลัสอื่น ๆ เช่นแคลคูลัสแลมบ์ดา, แคลคูลัส mu, แคลคูลัส pi, แคลคูลัสเชิงประพจน์, แคลคูลัสเชิงแคลคูลัส, แคลคูลัสภาคต่อ, และแคลคูลัสภาคต่อ

— David Richerby
แหล่งที่มา

7

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

— Yannis Ntallas
แหล่งที่มา

algebras คำนวณทั้งหมดหรือไม่? แคลคูลัสทั้งหมดเป็นจีบราส์หรือไม่? ถ้าไม่ใช่ความแตกต่างหรือความเชี่ยวชาญพิเศษกับอีกอันหนึ่งเป็นอย่างไร

— codehot