University of Cambridge > Talks.cam > Semantics Lunch (Computer Laboratory) > A Language for Mathematics

A Language for Mathematics

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Sam Staton.

The language used by mathematicians is a distinctive hybrid, sharing features with both natural languages and formal languages. In this talk I’ll outline its nature and the difficulties one faces in analysing it. This will involve both material from computational linguistics (such as Discourse Representation Theory and Montague Grammar) and theoretical computer science (such as type and the lambda calculus). I hope to convince you that the techniques from these two different areas fit together surprisingly well. At the end of the talk, I’ll briefly outline how we are using all of this theory to build a compiler that takes in something very close to normal mathematical language and outputs its content in a logical representation.

This talk is based on joint work with Thomas Barnet-Lamb.

This talk is part of the Semantics Lunch (Computer Laboratory) series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity