AI Chat AI Image Generator AI Video AI Music Generator

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

page 1

page 2

page 3

page 4

Related Research

research
∙ 05/09/2023

Pure Data Foundation of Mathematics and Computing

We propose an axiomatic foundation of mathematics based on the finite se...
0 Saul Youssef, et al. ∙
research
∙ 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...
1 David McAllester, et al. ∙
research
∙ 04/20/2018

Formalising Mathematics In Simple Type Theory

Despite the considerable interest in new dependent type theories, simple...
0 Lawrence C. Paulson, et al. ∙
research
∙ 08/26/2023

On Philomatics and Psychomatics for Combining Philosophy and Psychology with Mathematics

We propose the concepts of philomatics and psychomatics as hybrid combin...
0 Benyamin Ghojogh, et al. ∙
research
∙ 05/28/2020

Adding an Abstraction Barrier to ZF Set Theory

Much mathematical writing exists that is, explicitly or implicitly, base...
0 Ciarán Dunne, et al. ∙
research
∙ 06/24/2022

Ranks, copulas, and permutons

We review a recent development at the interface between discrete mathema...
0 Rudolf Grübel, et al. ∙
research
∙ 05/03/2019

Game Semantics of Martin-Löf Type Theory

We present game semantics of Martin-Löf type theory (MLTT), which solves...
0 Norihiro Yamada, et al. ∙

Please sign up or login with your details

Forgot password? Click here to reset

Out of credits

Refill your membership to continue using DeepAI

Stripe
Paypal