Solomon Feferman

Stanford University

Rolf Schock Prize - Logic and Philosophy 2003

Citation

“for his works on the arithmetization of metamathematics, transfinite progressions of theories, and predicativity”

Press release