Pulse
Clubs
Papers
People
Datasets
Codes
Clubs  
Papers  
People  
Datasets
Codes

Should Type Theory replace Set Theory as the Foundation of Mathematics

lightbulb_outline bookmark_border
Thorsten Altenkirch

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

picture_as_pdf flag

Knowledge Graph

arrow_drop_up
Relationships
Nodes

Comments

Sign up or login to leave a comment