【1月14日】Methodological frames: mathematical structuralism and proof theory——逻辑与数学基础系列讲座第23讲
About the speaker:
Wilfried Sieg is the Patrick Suppes Professor of Logic & Philosophy at Carnegie Mellon University and a Fellow of the American Academy of Arts and Sciences. He received his Ph.D. from Stanford University in 1977. From 1977 to 1985, he was Assistant and Associate Professor at Columbia University. He joined the Carnegie Mellon Faculty in 1985 as a founding member of the University’s Philosophy Department and served as its Head from 1994 to 2005.
He is internationally known for mathematical work in proof theory, historical work on the emergence of modern mathematics and logic, analyses of the concept of computability, and philosophical essays on the nature of mathematics. Over the last three decades he has also developed novel methods for human-centered automated proof search. These methods have been implemented in two web-based courses to support the individual learning of proof construction in logic and elementary set theory.