Search
share
Search
Facebook Twitter Rss
Intuitionistic Type Theory
Intuitionistic Type Theory

Date

source
Philosophy News

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…

Post Views: 2

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

Hume on Religion

Hume on Religion

[Revised entry by Paul Russell and Anders Kraal on November 15, 2024. Changes to: Main text, Bibliography] David Hume’s various...