Search
Search
Intuitionistic Type Theory
Intuitionistic Type Theory

Date

source

share

[Revised entry by Peter Dybjer and Erik Palmgren on September 23, 2024.
Changes to: Main text, Bibliography]
Intuitionistic type theory (also constructive type theory or Martin-Lof type theory) is a formal logical system and philosophical foundation for constructive mathematics. It is a full-scale system which aims to play a similar role for constructive mathematics as Zermelo-Fraenkel Set Theory does for classical mathematics. It is based on the…

Read the full article which is published on Stanford Encyclopedia of Philosophy (external link)

More
articles

More
news

What is Disagreement?

What is Disagreement?

This is Part 1 of a 4-part series on the academic, and specifically philosophical study of disagreement. In this series...

Recently Published Book Spotlight: Trans Philosophy

APA Member Interview, Peter Alward

Peter Alward is a Professor of Philosophy at the University of Saskatchewan. Originally from Halifax, Nova Scotia, he received his...

Recently Published Book Spotlight: Trans Philosophy

Science and the Public

I was awarded my Ph.D. in Philosophy in 2007. Early in my Ph.D. program, I mentioned to a more senior...