![Loading Events](https://cmsa.fas.harvard.edu/wp-content/plugins/the-events-calendar/src/resources/images/tribe-loading.gif)
- This event has passed.
A Mathematical Language
February 24, 2021 @ 3:00 pm - 4:00 pm
![2/24/2021 New Technologies in Mathematics](https://cmsa.fas.harvard.edu/media/CMSA-New-Technologies-in-Mathematics-02.24.21.png)
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 explicit way with precise computer-readable syntax and semantics. It is based on a single natural language (which for us is English) and can be broadly understood by mathematically literate English speakers. This talk will describe the design of a controlled natural language for mathematics that has been influenced by the Lean theorem prover, by TeX, and by earlier controlled natural languages. The semantics are provided by dependent type theory.