# 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.