소프트웨어 개발자에게 '수학'은 종종 대학 교양 과정의 미적분이나 선형대수처럼 실무와 동떨어진 것으로 여겨진다. 그러나 정형 기법(formal methods)과 분산 시스템을 전문으로 하는 저자가 쓴 『Logic for Programmers』는 이런 통념을 뒤집는다. 이 책은 프로그래머가 매일 다루는 불리언 논리, 즉 AND·OR·NOT의 확장만으로도 소프트웨어를 더 잘 설계하고 검증하며 추론할 수 있다고 주장한다. 227쪽 분량에 약 5만 단어로 구성되었고, PDF와 EPUB 전자책은 DRM이 없으며 인쇄본은 아마존에서 판매된다.
수학 배경 없이 논리만으로
이 책의 핵심 전제는 '별도의 수학 배경이 필요 없다'는 것이다. 프로그래머가 일상적으로 체득하는 불리언 연산 정도만 알면 나머지 필요한 수학은 책이 직접 설명한다. 다만 수학 지식과 별개로 프로그래밍 경험은 요구된다. 루프, 버전 관리, 테스트 같은 보편적 주제를 아는 중급 이상의 개발자를 대상으로 하며, 일부 장은 SQL이나 API 설계 같은 구체적 지식을 전제한다. 각 장이 독립적으로 구성되어 있어 필요 없는 부분은 건너뛰어도 무방하다는 점은 실무서로서 실용적인 배려다.
저자가 논리학 기호를 다루는 방식도 진입 장벽을 낮추는 데 초점이 맞춰져 있다. 논리학에서 '모든 것에 대해'와 '존재한다'를 뜻하는 ∀와 ∃ 기호 대신, 이 책은 영어 단어를 사용한다. 예를 들어 '모두가 좋아하는 색이 있다'는 명제를 기호로 쓰면 난해하지만, 책에서는 all p in People: (some c in Color: IsFavoriteColor(p, c))처럼 읽고 검색하기 쉬운 형태로 표현한다. 낯선 기호에 막혀 개념 자체를 포기하는 일을 줄이려는 의도다.
조건문 단순화부터 경쟁 상태 탐지까지
책이 다루는 주제의 스펙트럼은 넓다. 초반부는 '조건문 단순화'나 'API 변경이 클라이언트를 깨뜨리지 않도록 보장하기'처럼 누구나 부딪히는 문제를 논리로 풀어낸다. 후반부로 갈수록 '가상의 소프트웨어 설계에서 경쟁 상태 찾기', '분산 작업의 벽시계 시간(wall clock time) 최소화'처럼 다소 난도 높은 주제로 옮겨간다. 저자 스스로 '모든 내용이 모든 사람에게 유용하지는 않을 것'이라고 밝히지만, 조건 로직의 검증이나 동시성 문제를 논리적 관점에서 다루는 접근은 테스트만으로 잡기 어려운 결함을 사고 단계에서 걸러내는 데 도움이 된다.
논리적 추론이 실제 코드 설계에 어떻게 개입하는지는 빈 리스트에 대한 all 함수 논의에서 잘 드러난다. 파이썬의 all([])는 왜 True를 반환할까? 두 리스트를 이어붙였을 때 all의 결과가 각 부분의 all의 논리곱과 같아야 한다는 성질을 유지하려면, 빈 리스트에 대한 값은 반드시 True여야 한다. 만약 False라면 어떤 리스트든 all이 False가 되어 성질이 깨진다. 이는 True가 && 연산의 항등원이기 때문이며, 같은 논리로 빈 리스트의 합이 0이고 any가 False인 이유도 설명된다. 언어 설계의 관례처럼 보이는 규칙이 사실은 논리적 필연임을 보여주는 대목이다.
실무자가 얻을 수 있는 것과 한계
저자는 NASA, 메타, 지멘스, 웨스턴디지털, 맥킨지 등을 대상으로 정형 검증과 교육을 수행했고 『Practical TLA+』를 집필한 이력이 있다. 그만큼 이 책은 학술적 논리학 교재가 아니라 현장 경험에서 추린 도구 모음에 가깝다. 모든 코드 예제는 깃허브에서 제공되며, 책에 담지 못한 상태 공간 크기 계산, 부분 순서(partial order) 이론 같은 주제는 별도의 '추가 학습' 저장소로 연결된다. 수학 표기법, 재작성 규칙, 고급 논리 주제를 다루는 부록도 포함되어 있다.
다만 이 책이 만능 해법은 아니라는 점은 분명히 해둘 필요가 있다. 장별 독립성은 체계적인 이론 학습을 원하는 독자에게는 오히려 산만하게 느껴질 수 있고, 후반부의 분산 시스템·경쟁 상태 주제는 관련 배경이 없으면 소화가 쉽지 않다. 저자 본인도 특정 주제가 맞지 않으면 건너뛰라고 권한다. 그럼에도 조건 로직을 다루다 실수를 반복하거나, 동시성·API 호환성 문제를 감으로 판단해 온 개발자라면, 불리언 논리를 조금 더 엄밀하게 벼려 사고 도구로 삼는 이 접근이 충분히 투자할 가치가 있다.