A Mathematical Language
Speaker: Thomas Hales, Univ. of Pittsburgh Dept. of Mathematics Title: A Mathematical Language Abstract: A controlled natural language for mathematics is an artificial language that is designed in an […]
1 event found.
During 2026–27, the CMSA will host a seminar on New Technologies in Mathematics, organized by Michael Douglas and Luca Pesce. This seminar will take place on Wednesdays from 2:00 pm–3:00 pm (Eastern Time). The meetings will take place in Room G10 at the CMSA, 20 Garden Street, Cambridge MA 02138, and some meetings will take place virtually on Zoom or be held in hybrid formats. To learn how to attend, join the seminar mailing list or contact Michael Douglas (mdouglas@cmsa.fas.harvard.edu).
The schedule will be updated as talks are confirmed.
Seminar videos can be found at the CMSA Youtube site: New Technologies in Mathematics Playlist