The beginning of this thread was Eliezer making a comment to the effect that symbolic logic is something computers can do so it must not be what makes humans more special than chimps.
One thing people do that neither chimps nor computers have managed is invent symbolic logic.[1]
Maybe it’s in the sequences somewhere, but what does it take to notice gaps in one’s models and oddities that might be systematizable?
[1] If I’m going to avoid P=0, then I’ll say it’s slightly more likely that chimps have done significant intellectual invention than computers.
My apologies—I should have caught that—the quote didn’t seem to be an accurate match for what you said, but I was having too much fun bouncing off the misquote to track that aspect.
My point was that some of the most interesting things people do aren’t obviously algorithmic.
It’s impressive that programs beat chess grandmasters. It would be more impressive (and more evidential that self-optimization is possible) if a computer could invent a popular game.
Snagged from a thread that’s gone under a fold:
One thing people do that neither chimps nor computers have managed is invent symbolic logic.[1]
Maybe it’s in the sequences somewhere, but what does it take to notice gaps in one’s models and oddities that might be systematizable?
[1] If I’m going to avoid P=0, then I’ll say it’s slightly more likely that chimps have done significant intellectual invention than computers.
The quote is wrong.
My apologies—I should have caught that—the quote didn’t seem to be an accurate match for what you said, but I was having too much fun bouncing off the misquote to track that aspect.
Link to the replied-to comment.
Also lipstick. Don’t forget lipstick.
(Your comment isn’t very clear, so I’m not sure what you intended to say by the statement I cited.)
Thanks for posting the link.
My point was that some of the most interesting things people do aren’t obviously algorithmic.
It’s impressive that programs beat chess grandmasters. It would be more impressive (and more evidential that self-optimization is possible) if a computer could invent a popular game.
What is this statement intended as an argument for?
(What do you mean by “algorithmic”? It’s a human category, just like “interesting”. )