람다 대수

Lambda calculus. 모든 것을 함수로 생각하는 계산 모델. "모든 것"이라는 건 말 그대로 모든 것으로, 심지어 숫자(처치 숫자를 보시라)나 집합 등도 그에 대응하는 함수로 생각하는 최소주의적인 접근을 취한다. 그런데도 이 계산 모델은 튜링 기계와 동치이다!

엄밀히 말해서 람다 대수는 크게 두 종류로 나눌 수 있다.


도쿠위키DokuWiki-custom(rev 9085d92e02)을 씁니다.
마지막 수정 2011-05-30 18:25 | 외부 편집기