개발자 노트

개요 이번 글에서는 Formal System에 대해서 말씀드리겠습니다. 허허; 분명 lambda calculus를 본격적으로 말씀드린다고 했는데, 막상 공부해보니 이 개념을 대충 넘어가면 안되겠더군요. lambda caclulus를 한 번 쭉 보고나서 느낀 점은 "도대체 내가 뭘 배운거지?"라는 생각이 들었습니다. 기호를 정의하고, 규칙을 정의하고, 정리를 도출하고.. 이게 lambda caclulus와 어떤 관련이 있는가? 궁금했었죠. 하하; 결론을 말씀드리자면 lambda calculus는 Formal System이기 때문에, 위 자체가 람다에 대한 Formal System을 배우는 거였습니다. 따라서 이번 글에서는 Formal System이 무엇인가?에 대해서 알아보도록 하겠습니다. 본문 정의 en..