blog.weirdx.io
람다 기초 - 이상한모임
알론도 처지(Alonzo Church)가 1930년대에 발표한 추론 또는 계산 모델의 일종이다. 람다 대수는 결정문제(decision problem)를 해결하기 위해, 계산가능성(computability) 혹은 계산가능한 함수(computable function)가 무엇인지를 명확히 정의하는데 사용한다.