Get the latest tech news

Set theory with types

[ AUTOMATH NG de Bruijn type theory set theory type classes Principia Mathematica ] Archive of Formal Proofs It is known that mathematics is heavily reliant on set theory, but no one can agree on what set theory is. Many people today understand that we have a choice between set theory and type theory, but they don’t know what type theory is either.

None

Get the Android app