licence to "believe"

Rob Harris (
Fri, 26 Nov 1999 17:08:07 -0000

>Suppose the existence of objective morality is Turing unprovable, that
>it exists so you'll never find a counterexample to show it doesn't but it
>means you'll never find a proof (a demonstration in a finite number of
>to show that it does.

Is the "existence" of "Turing Unprovable" concepts a possibility because there is a real reason to think that this is so, or that this would provide satisfaction to your rational mind, allowing your desire to have certain things be true run riot without bound?