Our readingWhat is a korrent?
The more a language, format or tool is able to do, the fewer things it guarantees.
Drawn from what Hillel Wayne said
What Hillel Wayne actually said
- Hillel Wayne Writer and consultant on formal methods
This is the ability-guarantee tradeoff: the more things a language or format or tool is able to do, the fewer things it guarantees us.
Where this was said
↗A Crash Course in Predicate Logichillelwayne.com
All 2 korrents from this piecethis one is 2nd
Added to korrents 24 Oct 2026 · How quotes work · Something wrong? Tell us
Do you hold this korrent?Do you also believe this?
I hold this tooRelated korrents
Not worked out yet — this claim is newer than the last pass. Every hour, each claim that is new or has changed is compared with every other one in the archive; the last pass () came before this claim was recorded. The next is due , and this claim will be in it.