On Fri, 01 Feb 2008 16:28:23 +0000, Invisible wrote:

> Heh. With so many people telling me all the ways I suck at life, I
> thought it was like people taking time out of there day to yell at kids
> "hey, get off my lawn!"

That's the minutemen.  <g>

Lewis Black suggested that the way we could protect the US/Mexico border 
from illegal immigrants was to put retired guys down there - they do such 
a good job of keeping the kids off their lawns, after all.

(Note, this doesn't reflect my views on immigration, was just a funny 
joke I saw <g>)

> Would be nice to think a few people like me though...
> 
>>> *makes mental note* "Jim Henderson"...
>> 
>> It's about time.
> 
> Hmm. ASL?

American Sign Language?  Yeah, I know a bit of it. :-)

Jim

Post a reply to this message

Darren New wrote:
> andrel wrote:
>> Darren New wrote:
>>> andrel wrote:
>>>> There will always be statements that can not be proven within a set 
>>>> of axioms and theories.
>>>
>>> The one part of this I've never figured out is...

>>>
>> IIRC it is one of those proofs where you assume something is possible.
> 
> No, you actually construct the string that the formalism can't prove. 
> The string consists of essentially saying "this cannot be proven." If 
> you can prove it, then it's false. If you can't prove it, then it's true 
> but unprovable.
> 
> I understand it at that level, but it would seem to need a 
> jump-out-of-the-system kind of analysis. I.e., that you *know* it "says" 
> this cannot be proven.
> 
I stand corrected.

Post a reply to this message