Stephanie Dick

Assistant Professor, History and Sociology of Science, University of Pennsylvania

Stephanie Dick is an Assistant Professor of History and Sociology of Science at the University of Pennsylvania. She received her PhD in History of Science from Harvard University in 2015 and was a Junior Fellow at the Harvard Society of Fellows prior to joining the faculty at Penn. Her work sits at the intersection of mathematics and computing, primarily in the 20th century United States. She is currently in the process of completing her first book – a history of automated mathematical theorem proving, with an eye to how the concepts of mathematical reasoning and knowledge were fashioned in that field. Her second project tracks the early introduction of computing to American policing in the 1960s, including early facial recognition software and centralized, digitized police databases and identification algorithms.

Participant In These Roundtable Discussions

Sat
Oct 5th
2019
  Watch
View roundtable details

Mechanization of Math

This roundtable explores the nature of mathematical proof and the growing role of computers and AI in verifying and potentially producing proofs. It considers whether mathematics is a human practice with intrinsic value or a process that can ultimately be automated and entrusted to machines.