descriptive claim
Dependent type theory is powerful and expressive.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“So the thing about dependent type theory is that it's very powerful, um, and very expressive. Um, but I like to quote, um, from, you know, the Spider-Man franchise, you know, with great power comes great responsibility.”22:49Report a misattribution
0.95how strongly it was put, not whether it is true
0.75importance to the conversation
0.98confidence the claim was read correctly