Putnam has contributed to scientific fields not directly related to his work in philosophy [REF].
In computer science, Putnam is known for the Davis-Putnam algorithm for the Boolean satisfiability problem (SAT), developed with Martin Davis in 1960 [REF].