What were some specific ideas you had for "solving debates"? I was hoping Arbital would take the debate around a given topic and organize it into a tree. You start with an assertion that branches into supporting and opposing arguments, then those branch into rebuttals, then those branch into counter-rebuttals, etc.
This post is not evidence for that lesson. When OP's puzzle is stated as intended it indeed has a wonderful and strange answer. The meta-puzzle: "Are these two puzzles essentially the same?" referring to the puzzle as intended and as presented also has a wonderful and strange answer; in fact, John Baez and maybe all of his commenters have been getting it wrong for several years. Our intuition is imperfect, and whether the puzzles you come across tend to use this fact or just trick you with sneaky framing depends on where you get your puzzles.
Also, since cars are now quite integrated with computers this person might have lots of fun stealing them. And if ze watches Breaking Bad there's a whole lot of inspiration there for intellectuals looking to turn to a life of blue-collar crime.
Maybe I should be steel-manning Locaha's argument but my point is I don't think the limits of this sort of self-mod are well understood, so it's premature to declare which mods are or aren't "real world".
Done. I hate to get karma without posting something insightful, so here's a song about how we didn't land on the moon.
Maybe, since arguments have component parts that can be individually right or wrong; or maybe not, since chains of reasoning rely on every single link; or maybe, since my argument improves (along with my beliefs) as I toss out and replace the old one.
Come to think of it, if "trees grow roots most strongly when wind blows through them" because the trees with weak roots can't survive in those conditions then this would make a very bad metaphor for people.
Come to think of it, if "trees grow roots most strongly when wind blows through them" because the trees with weak roots can't survive in those conditions then this would make a very bad metaphor for people.
No, it's probably accurate as stated. I don't know about trees as such, but if you try to start vegetable seedlings indoors and then transfer them outside, they'll often die in the first major wind; the solution is to get the air around them moving while they're still indoors (as with a fan), which causes them to devote resources to growing stronger root systems and stems.
Elayne blinked in shock. “You would have actually done it? Just… left us alone? To fight?”
"Some argued for it," Haman said.
“I myself took that position,” the woman said. “I made the argument, though I did not truly believe it was right.”
“What?” Loial asked [...] “But why did you-“
“An argument must have opposition if it is to prove itself, my son,” she said. “One who argues truly learns the depth of his commitment through adversity. Did you not learn that trees grow roots most strongly when wind blows through them?”
Covril, The Wheel of Time
it seems to me that almost every "The AI is an unfriendly failure" story begin with "The Humans are wasting too many resources, which I can more efficiently use for something else."
Really? I think the one I see most is "I am supposed to make humans happy, but they fight with each other and make themselves unhappy, so I must kill/enslave all of them". At least in Hollywood. You may be looking in more interesting places.
Per your AI, does it have an obvious incentive to help people below the median energy level?
Here is some verse about steelmanning I wrote to the tune of Keelhauled. Compliments, complaints, and improvements are welcome.
*dun-dun-dun-dun
Steelman that shoddy argument
Mend its faults so they can't be seen
Help that bastard make more sense
A reformulation to see what they mean
Steven Landsburg at TBQ has posted a seemingly elementary probability puzzle that has us all scratching our heads! I'll be ignominiously giving Eliezer's explanation of Bayes' Theorem another read, and in the mean time I invite all you Bayes-warriors to come and leave your comments.
I like the premise. Last month's Douglas Hofstadter quote comes to mind. Some problems:
At some point, a young person asks you how some simple loops of electrical signals can engender music and conversations... you insist that your science is about to crack that problem at any moment.
Why would I insist this? I don't even know how the electrical signals (the what?!) change the volume. I just know how to make the wires change the volume, and I know how to make them change the music too.
...You would conclude that somehow the right configuration of wires eng
based upon the expectation set upon the observance of subsequent facts, at some later date, ~A could also end up being evidence for B
Here's a contradiction with A and ~A both being evidence for the same thing. You could tell your spouse "Go up and check if little Timmy went to bed". Before ze comes back you already have an estimate of how likely Timmy is to go to bed on time (your prior belief). But then your spouse, who was too tired to climb the stairs, comes back and tells you "Little Timmy may or may not have gone to bed". Now, i...
Or, if one of the kids is Eliezer Yudkowsky, you can write Maxwell's equations and say "simple", then write a program simulating Thor and say "not simple".
Finally, Lucas implicitly assumes that if the mind is a formal systems, then our “seeing” a statement to be true involves the statement being proved in that formal system.
To me this seems like the crux of the issue (in fact, I perceive it to be the crux of the issue, so QED). Of course there are LW posts like Your Intuitions are not Magic, but surely a computer could output something like "arithmetic is probably consistent for the following reasons..." instead of a formal proof attempt if asked the right question.
Although it's late, I'd like to say that XiXiDu's approach deserves more credit and I think it would have helped me back when I didn't understand this problem. Eliezer's Bayes' Theorem post cites the percentage of doctors who get the breast cancer problem right when it's presented in different but mathematically equivalent forms. The doctors (and I) had an easier time when the problem was presented with quantities (100 out of 10,000 women) than with explicit probabilities (1% of women).
Likewise, thinking about a large number of trials can make the notion o...
Suppose I believe strongly that violent crime rates are soaring in my country (Canada), largely because I hear people talking about "crime being on the rise" all the time, and because I hear about murders on the news. I did not reason myself into this position, in other words.
It looks to me like you arrived at this position via weighing the available evidence. In other words, you reasoned yourself into it. Upon second reading I see you don't have a base rate for the amount of violent crime on the news in peaceful countries, and you derived a h...
Eliezer (who appears to only have a single name, like Prince or Jesus)
Mr. Jesus H. Christ is a bad example. Also there's this.
Good question. I didn't have an answer right away. I think it's useful because it gives structure to the act of updating beliefs. When I encounter evidence for some H I immediately know to estimate P(E|H) and P(E|~H) and I know that this ratio alone determines the direction and degree of the update. Even if the numbers are vague and ad hoc this structure precludes a lot of clever arguing I could be doing, leads to productive lines of inquiry, and is immensely helpful for modeling my disagreement with others. Before reading LW I could have told you, if aske... (read more)