Sample text 123
CMU’s Wilfried Sieg delivers John Patrick Crecine Distinguished Lecture in Social Sciences
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…
