2003 in philosophy
From Wikipedia, the free encyclopedia
- Solomon Feferman was awarded the Rolf Schock Prize in Logic and Philosophy "for his works on the arithmetization of metamathematics, transfinite progressions of theories, and predicativity".[1]