Is Intuitionistic Logic relevant for Computer Science?
Thorsten Altenkirch ( Nottingham )
- 14:00 29th February 2008 ( week 7, Hilary Term 2008 )
Thorsten Altenkirch: Modern Mathematics is based classical logic and Zermelo-Fraenkel set theory. In this talk I'll discuss why an intuitionistic approach, such as Martin-Loef's Type Theory, may be more appropriate for Computer Science.
Share this:
