May 9th at 17:30, in ILLC Seminar Room (F1.15)
Mathematical language, the language mathematicians use when doing mathematics, is a peculiar mix of informal language use, formal statements and semiformal combinations of the two. While usually regarded as easy to disambiguate, it has many of the semantic problems that occur in natural language, e.g., lexial ambiguities or presupposition projection. In this talk, I will give examples of where mathematical language admits the same semantic issues as natural language, and where the two differ. In the end, I will present two systems that solve these problems in different ways: The Mizar System and the Naproche Project.