무엇이 '계산'을 정의하는가: 람다 대수와 함수형 언어의 수학적 구조
Mathematical Structure Vol. 42 무엇이 '계산'을 정의하는가: 람다 대수와 함수형 언어의 수학적 구조 "선생님, 우리가 컴퓨터에 명령을 내릴 때 쓰는 언어들도 결국 수학인가요? 수식 하나가 어떻게 프로그램이 되죠?" 아이들의 이 근본적인 질문은 현대 컴퓨터 과학의 뿌리인 람다 대수(Lambda Calculus) 로 이어집니다. 10년 차 몬이 샘은 아이들에게 늘 말합니다. 컴퓨터는 단순히 전기를 먹는 기계가 아니라, 함수라는 수학적 질서를 현실로 구현한 논리의 집합체라고요. 오늘은 0과 1의 세계보다 더 깊은 곳에 있는, '계산' 그 자체의 뼈대를 파헤쳐 보겠습니다. 포스팅 핵심 목차 1. 알론조 처치의 혁명: 모든 것을 함수로 표현하는 법 2. 람다의 문법: 추상화(Abstraction)와 적용(Application) 3. 계산의 실행: 베타 리덕션(Beta Reduction)의 구조 [심화] 하스켈에서 자바스크립트까지, 함수형 프로그래밍의 부활 4. 궁금증 해결! 람다 대수 자주 묻는 질문(FAQ) 5. 결론: 가장 순수한 논리가 만드는 가장 강력한 도구 01 알론조 처치의 혁명: 모든 것을 함수로 표현하는 법 1930년대, 수학자 알론조 처치는 '계산 가능한 것이란 무엇인가?'라는 난제에 답하기 위해 람다 대수를 제안했습니다. 앨런 튜링이 '튜링 머신...