|
![](/i/fill.gif) |
clipka wrote:
> Darren New schrieb:
>> Ramsey's Theorem in almost english at the start, that might explain
>> why you might care:
>
> Well, I think the emphasis here should be on /might/ :-P
Well, my intent was the take-away that there's actually things like graph
problems where you color the edges of something, that trigger godel, rather
than just a big long artificially-constructed string that nobody otherwise
cares about.
Sort of the difference between the halting problem and some of the actual
useful stuff (like the printing problem, etc) that falls out of it.
I can imagine there's a use for solutions of colored graphs. I can't imagine
there's a use for a Godel string outside of Godel proofs.
--
Darren New, San Diego CA, USA (PST)
Understanding the structure of the universe
via religion is like understanding the
structure of computers via Tron.
Post a reply to this message
|
![](/i/fill.gif) |