알론조 처치(Alonzo Church) – 람다 계산법 발표

   

   

알론조 처치(Alonzo Church)

• 1903년 6월 14일 - 1995년 8월 11일
• 미국의 수학자이자 논리학자
• 전산학의 이론적 기초를 세운 사람 중의 한 명
• 프로그래밍에서 사용하는 람다식은 알론조 처치가 1936년에 발표한 람다 계산법(Lambda Calculus)에서 사용하는 식

   

   

   

람다 계산법(Lambda Calculus)

• 알론조 처치(Alonzo Church)라는 수학자가 1936년에 발표한 람다 계산법(Lambda Calculus)에서 사용하는 식
• 분명하고 간결한 방법으로 함수 묘사가 가능
• 람다 계산법은 크게 함수의 정의와 변수, 함수의 적용으로 이루어지며 모든 요소가 함수

   

   

람다(Lambda)

• Λ, λ 그리스 문자중 11번째 글자
• 로마 자 L이 이 글자에서 비롯되어 있습니다.
• 이 문자를 함수를 표기하기 위한 기로호 사용
• 원래 λ 기호가 아니라 Λ였는데 당시에는 Λ를 인쇄하기 어려워서 λ기호를 대신 사용한 것입니다.

   

   

Alonzo Church - Wiki

https://ko.wikipedia.org/wiki/%EC%95%8C%EB%A1%A0%EC%A1%B0_%EC%B2%98%EC%B9%98

https://en.wikipedia.org/wiki/Alonzo_Church