버드의 에라토스테네스의 체 증명 수정: 무한 리스트에 대한 증명
2025-02-08
이 논문은 리처드 버드의 저서 'Thinking Functionally with Haskell'에서 에라토스테네스의 체에 대한 잘못된 증명을 수정합니다. 버드는 순환적인 리스트 기반 구현을 제시하지만, 그 증명 힌트는 잘못되었습니다. 저자들은 새로운 보조정리를 도입하고 버트랜드의 가설을 약화시켜 완전한 정확성 증명을 제공합니다. 이 알고리즘과 데이비드 터너의 "전체 함수형 프로그래밍" 비전과의 관계도 탐구합니다.