iCHSTM 2013 Programme • Version 5.3.6, 27 July 2013 • ONLINE (includes late changes)
Index | Paper sessions timetable | Lunch and evening timetable | Main site
Stephanie Dick
Harvard University, United States
Personal identity number: 12276
Postal address
Department of History of Science
1 Oxford Street
Science Center 371
Cambridge, MA
USA 02138
Email: sadickfas.harvard.edu
Web: people.fas.harvard.edu/~sadick
Twitter: @math_sci_tech
Paper presentation
Reformalism: automated theorem proving and the materials of mathematics
Part of S005-D. Programming mathematics on digital computers
Fri 26 July, 16:10–17:40
In Symposium S005. Mathematics and machines: explorations of machine-assisted mathematics since 1800