The sentence "assign a consistent classification" sounds an awful lot like computing something to me. If you have a different meaning in mind then please elaborate. "Caught by the bug-checker" seems to be what people have settled on elsewhere.
The liar's sentence isn't incomputable, it just never returns a value. My point is that you can't use a third variable to fix everything.
The sentence "assign a consistent classification" sounds an awful lot like computing something to me.
Something does get computed, but not the usual thing. It is possible to write a computer program that can use the symbol "pi." It is not possible to write computer program to tell you every digit of pi. But on the other hand, if it's as easy as writing "pi," there's not much point to thinking of it as a computer program.
The liar's sentence isn't incomputable, it just never returns a value.
If it was computable, it woul...
Graham Priest discusses The Liar's Paradox for a NY Times blog. It seems that one way of solving the Liar's Paradox is defining dialethei, a true contradiction. Less Wrong, can you do what modern philosophers have failed to do and solve or successfully dissolve the Liar's Paradox? This doesn't seem nearly as hard as solving free will.
This post is a practice problem for what may become a sequence on unsolved problems in philosophy.