But "liking" does not respect extensional equality. If I like a theorem proved using unary-ℕ, I may still dislike the proof using ternary-ℕ.
-
-
-
Stop sentence after word 5.
- 4 more replies
New conversation -
-
-
Unless untyped languages are your thing

-
Formally, perhaps. But I'd argue that C-H has an informal aspect identifying programming and proof as similar human activities.
- 2 more replies
New conversation -
-
-
There are more kinds of programming in the world than are dreamt of in your philosophy
-
There are more kinds of philosophy in the world than are dreamt of in anyone's philosophy.
End of conversation
New conversation -
-
-
Isn't it "I like math, but I hate math"?
-
What's the difference?
End of conversation
New conversation -
-
-
In practice this usually means "I like programming badly", of course.
-
"I like ignoring potential errors."
- 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.