Boolean satisfiability problem
哲学以外では、パトナムは数学や計算機科学の領域でも業績がある。マーチン・デービスとともに、ブール代数の充足可能性問題を解決するためにデービス・パトナムのアルゴリズムを開発し、ヒルベルトのいわゆる第10問題が解決不能であることが証明される一助となった。