opinion claim
The speaker preferred higher-order logic because it has a simpler foundation and is much easier to implement.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“I want to use higher-order logic. It's a simpler foundation, much easier to implement. And for many software verification tasks, it's enough, right?”19:46Report a misattribution
0.95how strongly it was put, not whether it is true
0.65importance to the conversation
0.99confidence the claim was read correctly