"It follows naturally from the rule: (∃ T . F⟨T⟩) → R ≃ ∀ T . (F⟨T⟩ → R)" — Yup; that's about as natural as it gets.
-
-
@Gankro It's kind of like choosing English as the lingua franca; any choice like that is going to exclude someone.
-
My point was around the amusing math tendency to apply words that ascribe "easiness" to something that isn't.
- 2 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.