2001 for his many fundamental contributions to mathematical logic and set theory, and their applications within other parts of mathematics.
Read More.