Logic & Proofs: Computer-Supported Learning and the Philosophy of Mathematics
Wilfried Sieg arrived at Carnegie Mellon University in 1985 to help found the CMU Philosophy Department. He was its head from 1994 to 2005. Today, Sieg remains a central figure in the department and is one of the world’s foremost experts in areas ranging from proof theory and computer-assisted education to the history and philosophy of mathematics. He was elected as a Fellow of the American Academy of Arts and Sciences in 2007.