![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Monday 15 November 2010, 12:45-14:00
A Language for Mathematics
- 👤 Speaker: Mohan Ganesalingam (University of Cambridge)
- 📅 Date & Time: Monday 15 November 2010, 12:45 - 14:00
- 📍 Venue: Room FW26, Computer Laboratory, William Gates Building
Abstract
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.
Series This talk is part of the Semantics Lunch (Computer Laboratory) series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- 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
- Martin's interesting talks
- ndk22's list
- NLIP Seminar Series
- ob366-ai4er
- PMRFPS's
- Room FW26, Computer Laboratory, William Gates Building
- rp587
- School of Technology
- Semantics Lunch (Computer Laboratory)
- Simon Baker's List
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.