Hacker News 2026.05.19 69

좋은 보조정리 하나가 정리 천 개보다 낫다: 수학자의 통찰에서 배우는 추상화의 기술

오래된 글인데 왜 지금 다시 회자될까요?

2007년에 Rutgers 대학의 수학자 Doron Zeilberger 교수가 쓴 짧은 에세이 "A Good Lemma Is Worth a Thousand Theorems"가 다시 화제에 올랐어요. 제목 그대로 "좋은 보조정리 하나가 정리 천 개의 가치가 있다"는 주장인데요, 이게 수학자들만의 이야기가 아니라 소프트웨어 엔지니어에게도 정말 와닿는 통찰을 줍니다.

보조정리(Lemma)가 뭐냐면, 큰 정리(Theorem)를 증명하기 위해 중간에 쓰는 "작은 사실" 같은 거예요. 마치 큰 함수를 만들기 위해 쪼개 놓은 유틸리티 함수랑 비슷하죠. Zeilberger의 주장은 단순합니다. 사람들은 화려한 결과(정리)에 박수를 보내지만, 실제로 수학을 앞으로 나아가게 하는 건 재사용 가능한 보조정리들이라는 거예요.

핵심 주장이 뭐냐면

Zeilberger는 수학 논문 문화의 모순을 꼬집어요. 학계는 "큰 정리를 증명한 사람"에게 명예를 주고, 그 정리를 가능하게 한 보조정리는 그저 도구로 여기고 묻어버린다는 거죠. 하지만 진짜 수학적 진보는 "이 보조정리는 다른 문제에도 쓸 수 있겠는데?" 하는 순간에 일어난다고 그는 말합니다.

예를 들어 어떤 보조정리가 있는데, 원래는 특정 정리를 증명하려고 만들었지만 알고 보니 전혀 다른 분야의 문제에도 적용된다면? 그 보조정리는 사실상 수백 개의 정리를 만들어낼 수 있는 "엔진"이 되는 거예요. 반면 화려해 보이는 정리는 그 자체로 끝나버리는 경우가 많죠.

개발자에게는 이게 무슨 이야기냐면

이 통찰을 코드로 옮기면 정확히 "좋은 라이브러리 함수 하나가 거대한 애플리케이션 천 개보다 가치 있다" 가 됩니다. 우리가 매일 쓰는 map, filter, reduce 같은 함수들을 생각해보세요. 이게 처음 만들어졌을 땐 그저 작은 도우미였지만, 지금은 전 세계 프로그래머가 매일 수십억 번 쓰는 도구예요. 반면 한때 화려했던 어떤 "완성된 제품"들은 시간이 지나면 사라지죠.

실무에서도 비슷해요. 멋진 기능을 만든 사람보다, 팀이 매일 쓰는 작은 유틸리티 — 로깅 헬퍼, 에러 처리 패턴, 공통 훅 — 를 잘 설계한 사람이 장기적으로 훨씬 큰 영향을 줍니다. 다만 인정은 잘 못 받죠. 마치 수학계에서 보조정리가 묻히는 것처럼요.

추상화의 기술과 연결되는 지점

Zeilberger의 주장은 Donald Knuth가 강조한 "문해적 프로그래밍(Literate Programming)" 이나, Sandi Metz가 말하는 "작고 재사용 가능한 객체" 의 철학과도 맞닿아 있어요. 좋은 추상화는 한 문제만 푸는 게 아니라, 여러 문제의 공통된 형태를 잡아내는 것이라는 점에서요.

그런데 여기서 조심할 것도 있어요. 너무 일찍 추상화하면 오히려 독이 됩니다. 이걸 영어권에선 AHA(Avoid Hasty Abstractions)나 WET/DRY 논쟁으로 부르는데요, 핵심은 "같은 패턴을 세 번 이상 본 다음에 보조정리로 뽑아내라" 는 거예요. Zeilberger도 모든 보조정리가 가치 있다고 한 게 아니라, 여러 곳에 쓰이는 좋은 보조정리의 가치를 말한 거죠.

한국 개발자에게 주는 시사점

한국 개발 문화는 종종 "눈에 보이는 결과"에 가중치를 많이 둬요. 새 기능 출시, 성공한 프로젝트, 멋진 데모 같은 것들이요. 하지만 시니어로 갈수록 점점 더 중요해지는 건 팀의 생산성을 끌어올리는 작은 도구들입니다. 모두가 쓰는 컴포넌트 라이브러리, 공통 에러 처리 규약, 잘 만든 CI 스크립트 같은 것들이요.

이런 일은 자기 KPI에 잘 안 잡혀요. 그래서 더 의식적으로 해야 합니다. "이 코드, 다른 팀원이 비슷한 걸 만들고 있지 않을까?"라는 질문을 평소에 던지는 습관이 곧 좋은 보조정리를 발견하는 안목으로 이어져요.