계산의 증거와 문명 전체에 대한 추측 사이에 선을 긋는다

그림에서 무엇을 볼까요?

현존 파피루스의 계산 예가 두 배와 행 선택의 사용을 뒷받침하지만 모든 이집트인의 보편적 관행, 현대 이진수 이론의 소유, 잃어버린 원본의 전체 내용까지는 입증하지 못함을 나눈 논증도

린드 파피루스는 특정 필경사가 남긴 문서이며, 살아남은 수학 파피루스는 매우 적습니다. 그래서 한 문서의 예를 ‘모든 시대의 모든 이집트인이 늘 같은 방식으로 계산했다’는 결론으로 넓힐 수 없습니다. 확인할 수 있는 것은 여러 문제의 풀이에서 두 배·열 배·행 선택과 합산이 사용되었다는 범위입니다.

또한 절차를 수행한 사실과 그 절차의 일반 정리를 글로 증명한 사실은 다릅니다. 파피루스는 계산 예와 확인 단계를 보여 주지만, 오늘 우리가 쓰는 분배법칙의 기호나 이진 표현의 유일성 정리를 적어 놓은 문서는 아닙니다. 예가 반복되어 구조를 드러내는 것과 추상 명제를 명시적으로 증명하는 것을 구분해야 합니다.