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: Mechanization of Math Saturday, October 5th, 2019 at 2:30pm Past Event Watch the video » Proof, in the form of step by step deduction, following the rules of logical reasoning, is the ultimate test of validity in mathematics. Some proofs, however, are so long or complex, or both, that they cannot be checked for errors by human experts. In response, a small but growing community of mathematicians, collaborating with computer… read more »
Mechanization of Math Saturday, October 5th, 2019 at 2:30pm Past Event Watch the video » Proof, in the form of step by step deduction, following the rules of logical reasoning, is the ultimate test of validity in mathematics. Some proofs, however, are so long or complex, or both, that they cannot be checked for errors by human experts. In response, a small but growing community of mathematicians, collaborating with computer… read more »