Should Type Theory replace Set Theory as the Foundation of Mathematics

11/11/2021
by   Thorsten Altenkirch, et al.
0

We discuss why Type Theory is preferable as foundation of Mathematics compared to set theory.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

05/12/2020

MathZero, The Classification Problem, and Set-Theoretic Type Theory

AlphaZero learns to play go, chess and shogi at a superhuman level throu...
04/20/2018

Formalising Mathematics In Simple Type Theory

Despite the considerable interest in new dependent type theories, simple...
05/03/2019

Game Semantics of Martin-Löf Type Theory

We present game semantics of Martin-Löf type theory (MLTT), which solves...
05/28/2020

Adding an Abstraction Barrier to ZF Set Theory

Much mathematical writing exists that is, explicitly or implicitly, base...
07/05/2005

Complexity Science for Simpletons

In this article, we shall describe some of the most interesting topics i...
02/11/2004

A Numerical Example on the Principles of Stochastic Discrimination

Studies on ensemble methods for classification suffer from the difficult...
10/31/2019

An Implementation of Homotopy Type Theory in Isabelle/Pure

In this Masters thesis we present an implementation of a fragment of "bo...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.