I was refuting a claim of a necessary condition by showing numerous counterexamp...

Confusion on July 31, 2012 | parent | context | favorite | on: Does category theory make you a better programmer?

I was refuting a claim of a necessary condition by showing numerous counterexamples. In case of your crazy belief, coming up with such a list would be an attempt to prove a necessary condition by showing numerous examples. That is not logically valid. A list of counterexamples is.

DanWaterworth on July 31, 2012 [–]

The claim isn't that, "CT is necessary", it's "CT is beneficial".