#logic

2 pages search “logic” ↳ all tags

Wiki 2

A Crash Course in Predicate Logic Hillel Wayne's free chapter of Logic for Programmers: predicates, implication, sets, quantifiers and rewrite rules in programmer syntax
Ability-guarantee tradeoff The more a language, format or tool can do, the fewer things it guarantees: Hillel Wayne's name for the tradeoff behind safe subsets