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”
Stanford University
“for his works on the arithmetization of metamathematics, transfinite progressions of theories, and predicativity”