iCHSTM 2013 Programme • Version 5.3.6, 27 July 2013 • ONLINE (includes late changes)
Index | Paper sessions timetable | Lunch and evening timetable | Main site
Edgar Daylight
Independent Scholar, Belgium
Personal identity number: 12253
Postal address
Rijn 79A2440 Geel
Email: egdaylightdijkstrascry.com
Web: www.dijkstrascry.com
Twitter: @EGDaylight
Paper presentation
Edsger W. Dijkstra in the 1980s: proving theorems by programming an ideal, non-existing, machine
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