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: 109

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

Scriptum in Metaphysicam

Scriptum in Metaphysicam

2025.04.2 : View this Review Online | View Recent NDPR Reviews Richard Rufus of Cornwall. Scriptum in Metaphysicam, Rega Wood,...

Propositions: Ontology and Logic

Propositions: Ontology and Logic

2025.04.1 : View this Review Online | View Recent NDPR Reviews Robert Stalnaker, Propositions: Ontology and Logic, Oxford University Press,...