descriptive claim
Higher-order logic is insufficient for doing abstract mathematics.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“But for doing abstract mathematics, it's not.”19:58Report a misattribution
0.95how strongly it was put, not whether it is true
0.75importance to the conversation
0.99confidence the claim was read correctly