All Questions
Tagged with set-theory teaching
1 question with no upvoted or accepted answers
3
votes
0
answers
165
views
Suitability of formal type theory for mathematical thinking (vs. traditional set theory)
Type theory has advantages over set theory for the (computer) formalisation of mathematics, but has anybody who does mathematics with pen and paper found proof assistants or automated theorem provers, ...
