Skip to main content

Is Intuitionistic Logic relevant for Computer Science?

Thorsten Altenkirch ( Nottingham )

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: