A Computational Solution to the Problem of Reference

点击翻译按钮获取中文摘要

This project will attack the core problem of philosophy of language by developing and applying tools from the theory of algorithmic complexity. Groundbreaking pure research at the intersection of logic, language, information and computation is the lifeblood of commercial research and development in information technology and telecommunications. The project will foster a cross-fertilisation of ideas between philosophy, computer science, mathematics, linguistics and psychology, and will provide students with skills and analytic techniques that will be valuable in future pure and applied research.