Re: The Meaning of Life

From: Bruno Marchal <marchal.domain.name.hidden>
Date: Wed, 28 Mar 2007 12:57:25 +0200

Le 07-févr.-07, à 05:55, Brent Meeker a écrit (some time ago)

>
> Stathis Papaioannou wrote:
>> Sorry, I thought I was replying to what you said. It's possible of
>> course to be right about one thing and wrong about another, and people
>> do keep different beliefs differently compartmentalized in their head,
>> like your brother-in-law. However, this is *inconsistent*, and
>> inconsistent is even worse than wrong.
>>
>> Stathis Papaioannou
>
> I'm not sure I agree with that last. Being consistent means you're
> either all right or all wrong. :-)


I don't think so. By Godel II, [Peano Arithmetic + the axiom that Peano
Arithmetic is inconsistent] is consistent. But is wrong (because PA
*is* consistent), but not all wrong, because PA + PA is inconsistent
does correctly prove that 1+1=2.

You can be wrong, and consistent. It is due to the gap between truth
and provability. Stathis is right, you (and machine lobian) can be
right on something and wrong on another thing, still remaining
consistent.

Bruno




http://iridia.ulb.ac.be/~marchal/


--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Wed Mar 28 2007 - 07:03:56 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:13 PST