b. 1945
Wilfried Sieg is a philosopher and logician at Carnegie Mellon University whose work bridges proof theory, computability, and the philosophy of mathematics. He is best known for his contributions to Hilbert's program, natural deduction systems, and the conceptual foundations of computation. His research examines how formal proof and mechanical computation relate to the epistemology of logic and mathematics.
Advanced the neo-Hilbertian program, rehabilitating Hilbert's foundational project in light of Gödel's incompleteness results
Developed AProS (Automated Proof Search), a natural deduction proof assistant used in logic education
Analyzed the conceptual roots of computability, tracing the Church-Turing thesis through Hilbert, Ackermann, and Gödel
Edited and translated Hilbert's foundational writings, making primary sources accessible to modern audiences
Challenged the strict a priori status of logical knowledge by connecting it to computational and cognitive constraints