🚀 go-pugleaf

In article <t1d8um33fr.fsf@lugn.ling.uu.se>,
Sten Thaning  <sten@lugn.ling.uu.se> wrote:
>fleck@dirk (Pat Fleckenstein (x58885)) writes:
>
>>     I always thought "DAMN, THAT'S COOL!" about things that feel abitrarily
>>     assigned or limited:
>> 	* the four-color map theorem
>> 
>>     For all of these, both the *fact that they are true* and the *reason
>>     that they are true* are in the "DAMN, THAT'S COOL!" category.
>
>I hope you don't include the proof for the four-colour map theorem
>in your DTC category. It isn't.

    Hmmm... I was suppose there was "better" reason for the four color
    theorem than the proof demonstrates.  To me, the DTC on the reasoning
    there is just the -- "that's the way connectivity works out".  Not a
    very "rigorous" thing, true... but neither is "DAMN, THAT'S COOL!".
    8^).

    I hadn't even thought that my statements might be implying that the
    four-color map theorem is "COOL", because I've always operated under
    the assumption that the four-color map theorem is _objectively_ not
    "COOL".  Sorta like Wiles' FLT proof.  Wheeee....

    Oh, well....
    alter,
    pat

-- 
I live in another Dimension, But I Have a Summer Home in Reality