Solomon Feferman is a mathematician and philosopher at Stanford University. He works mostly in mathematical logic.
He was the winner of the 2003 Schock Prize in Logic and Philosophy
