Wilfried Sieg, Patrick Suppes Professor of Philosophy at CMU, spoke to CMU-Q about the move from mathematical thinking to computing and back to thinking, an evolution which has uncovered a refined proof search procedure. This in turn has been used as the basis for dynamic intelligent tutoring to support students’ efforts to learn logical and mathematical argumentation.

Sieg’s address was a John Patrick Crecine Distinguished Lecture in Social Sciences, named in honor of the dean of the College of Humanities and Social Sciences at CMU from 1976 to 1983.