The primary statement of trivialism, as I understand it:
"(X and ¬X) for any possible value of X
Therefore, P(X|A) = P(¬X|A) = 1.
Therefore, for any evidence A, Value of Information = 0."
Personally, I think they have successfully found the ideal philosophy of perfect emptiness. [Insert disdainful status signal]
Also:
¬(P(X|A) = P(¬X|A) = 1)
Therefore, for any evidence A, Value of information > 0.
Contradictions are not failure conditions in trivialsim.
Straight from Wikipedia.
I just had to stare at this a while. We can have papers published about this, we really ought to be able to get papers published about Friendly AI subproblems.
My favorite part is at the very end.
Trivialism is the theory that every proposition is true. A consequence of trivialism is that all statements, including all contradictions of the form "p and not p" (that something both 'is' and 'isn't' at the same time), are true.[1]
[edit]See also
[edit]References
[edit]Further reading