[Haskell-cafe] Why is this strict in its arguments?
lrpalmer at gmail.com
Wed Dec 5 07:20:07 EST 2007
On Dec 5, 2007 11:56 AM, Andrew Coppin <andrewcoppin at btinternet.com> wrote:
> I was merely noting that questions of the form "is X decidable?" are
> usually undecidable. (It's as if God himself wants to tease us...)
I take issue with your definition of "usually" then.
Whenever "X is decidable" is undecidable, "'X is decidable' is decidable' is
decidable, namely false. So there are at least as many decidable sentences
of the form "X is decidable" as there are undecidable ones.
More information about the Haskell-Cafe