A Language for Mathematics

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

• Mohan Ganesalingam (University of Cambridge)
• Monday 15 November 2010, 12:45-14:00
• Room FW26, Computer Laboratory, William Gates Building.

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.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge Forum of Science and Humanities
• Cambridge Language Sciences
• Cambridge talks
• Chris Davis' list
• Computer Education Research
• Computing Education Research
• Department of Computer Science and Technology talks and seminars
• Graduate-Seminars
• Guy Emerson's list
• Interested Talks
• Language Sciences for Graduate Students
• NLIP Seminar Series
• PMRFPS's
• Room FW26, Computer Laboratory, William Gates Building
• School of Technology
• Semantics Lunch (Computer Laboratory)
• Simon Baker's List
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• ob366-ai4er
• rp587
• yk373's list

Note that ex-directory lists are not shown.