[paulsutter]

I love this example the most. It's the exception that proves the rule.

If you need to dig this hard to find something interesting with a probability of 1, that's pretty good evidence that the vast majority of interesting statements are not of the true/false variety.

Although I don't find it interesting, I am open-minded enough to ... embrace.. the .. uh.. diversity of the world, that allows some people, to find that interesting.

[kazga]

Pythagorean Theorem is "digging hard" and "not interesting"? Mind explaining?

The language that contains all Turing Machines that halt on all inputs is not decidable.

Or

e^(iy) = sin(y) + i * cos(y)

Are those uninteresting trivialities to you?