Re: "there is nothing you can't prove" T/F

From: The Ghost In The Machine (ewill_at_sirius.athghost7038suus.net)
Date: 02/06/05 

Date: Sun, 06 Feb 2005 16:10:11 GMT

In sci.logic, |-|erc
<h@r.c>
 wrote
on Sun, 6 Feb 2005 15:22:21 +1000
<36lo44F50go3dU1@individual.net>:
> "The Ghost In The Machine" <ewill@sirius.athghost7038suus.net> wrote
>> >> >> > Discussion topic,
>> >> >> >
>> >> >> > the truth value of "There is nothing you cannot prove!".
>> >> >>
>> >> >> Prove that the moon is green, then.
>> >> >>
>> >> >> [.sigsnip]
>> >> >>
>> >> >
>> >> > it's not something.
>> >>
>> >> Moon: 7.35 * 10^22 kg chunk of rock orbiting 3.85 * 10^8 km
>> >> around the Earth.
>> >> Green: Any of a number of wavelengths from 490 to 560 nm.
>> >>
>> >> The Moon, among other things, influences tides. Green
>> >> is easily measurable, even by the Mark I Eyeball.
>> >>
>> >> The proposition "the moon is green" therefore is readily
>> >> verifiable.
>> >>
>> >> Can you prove it?
>> >
>> > no.
>> > green moons = {} *
>> >
>> > I cannot prove green moons.
>> > I cannot prove nothing
>> > ....supports the conjecture
>> > There is nothing I cannot prove.
>> >
>> > Proof is a 'positive form' only predicate, that's
>> > why NO_PROOF gets you biting your tails.
>>
>> Ah, but I have now proven that you cannot prove everything true.
>
> no you haven't. what THING can't I prove?

You can't prove the moon is green. You can prove the moon is
*not* green, but that's a different theorem.

>
> "if it bleeds, we can kill it" Predator
>
> Herc
>
>
> 

-- 
#191, ewill3@earthlink.net
It's still legal to go .sigless.