람다 미적분은 왜 "미적분"입니까?

11

내가 아는 "미적분학"의 유일한 정의는 분석에서 한계, 미분, 적분 등에 대한 연구입니다. 람다 미적분학 (또는 미적분학과 같은 것)은 어떤 의미에서 "미적분학"입니까? 분석에서 미적분학과 어떤 관련이 있습니까?

terminology lambda-calculus

— 알렉
소스

5

미적분학 또는 분석과 관련이 많지 않은 미적분학은 기호를 조작하는 명확한 규칙이 있다는 의미에서 의미가 있습니다. 독일어에서는 "Kalkül"라는 단어가 이러한 조작 규칙 시스템을 지칭하는 "Lambda Kalkül"이라고하며, 미적분학은 "분석"이라고 불립니다. 따라서 명명시 이러한 간섭은 없습니다.

— StefanH

5

내 사전은 "미적분학 : 특정 계산 방법이나 추론 시스템 또는 시스템"이라고 말합니다.

— Sasho Nikolov

17

미적분학은 단지 추론 시스템 일뿐입니다. 하나의 특정 미적분학 (실제로 두 개의 밀접하게 관련된 미적분학 : 미분 미적분학과 적분 미적분학)은 너무나 널리 퍼져서 마치 미적분학처럼 유일하게 미적분학으로 알려져 있습니다. 그러나 관찰했듯이 람다 미적분학, 뮤 미적분학, pi 미적분학, 명제 미적분학, 술어 미적분학, 후속 미적분학 및 미적분학과 같은 다른 미적분학이 있습니다.

— 데이비드 리처 비
소스

7

미적분학은 대수 표기법의 특수 시스템, 일반적으로 계산 방법으로 문제를 처리하는 체계적인 방법을 말합니다.

— 야 니스 닐 라스
소스

모든 대수학은 미적분입니까? 모든 미적분학이 대수학입니까? 그렇지 않다면, 차이점은 무엇입니까? 하나는 다른 것과 어떻게 차별화됩니까?

— 코드 샷