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

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

Models in Science

Models in Science

[Revised entry by Roman Frigg and Stephan Hartmann on April 2, 2025. Changes to: Main text, Bibliography] Models are of...

Quine’s New Foundations

Quine’s New Foundations

[Revised entry by Thomas Forster on April 2, 2025. Changes to: Main text, Bibliography] Quine’s system of axiomatic set theory,...

Philosophy and Race, Cody Gomez

Philosophy and Race, Cody Gomez

This “Philosophy and Race” course began somewhat accidentally due to my being a teaching assistant, then instructor, for a similar...