The overall message is not really new technically, but its philosophical implications are somewhat surprising even for mathematicians. In general, looking at the same thing from different angles to helps to get acquire more thorough understanding even if it does not necessarily provide a clear short term benefit.
A few years ago, I chatted with a few very good mathematicians who were not aware (relatively straightforward) equivalence between the theorems of Turing and Goedel, but could see it within a few minutes and had no problem grasping the the inheren...
I expected the reaction with the countably infinite models, but I did not expect it to be the first. ;)
I wanted to get into that in the write up, but I had to stop at some point. The argument is that in order to have scientific theories, we need to have falsifiability, which means that this always necessarily deals with a discrete projection of the physical world. On the other hand so far every discrete manifestation of physical systems seemed to be able to be modelled by Turing machines. (This assumption is called the Church thesis.) If you add these two,...
The object of life is not to be on the side of the majority, but to escape finding oneself in the ranks of the insane.
Marcus Aurelius
I agree with you. I also think that there are several reasons for that:
First that competitive games are (intellectual or physical sports) easier to select and train for, since the objective function is much clearer.
The other reason is more cultural: if you train your child for something more useful like science or mathematics, then people will say: "Poor kid, do you try to make a freak out of him? Why can't he have a childhood like anyone else?" Traditionally, there is much less opposition against music, art or sport training. Perhaps they are vi...
I found the most condensed essence (also parody) of religious arguments for fatalism in Greg Egan's Permutation City:
Even though I know God makes no difference. And if God is the reason for everything, then God includes the urge to use the word God. So whenever I gain some strength, or comfort, or meaning, from that urge, then God is the source of that strength, that comfort, that meaning. And if God - while making no difference - helps me to accept what's going to happen to me, why should that make you sad?
Logically irrefutable, but utterly vacuous...
You should not take the statement too literally: Look it in a historical context. Probably the biggest problems at Russel's time were wars caused by nationalism and unfair resource allocation due to bad (idealistic/traditionalist) policies.. Average life expectancy was around 40-50 years. I don't think anyone considered e.g. a mortality a problem that can or should be solved. (Neither does over 95% of the people today). Population was much smaller. Earth was also in a much more pristine state than today.
Times have changed. We have more technical issues tod...
I just find it a bit circular that you want evidences for the assertion saying that assertions need evidences.
I'd prefer Sunday or Saturday (9/5 would work for me.)
Why? Do you agree with him? :)
Did you try GNU Go? That should be hard enough for most beginners.
The problem with GNUgo is that it teaches a style that would not be effective in beating humans. Generally, you have to build up moderately difficult situations, where you have a deep sequence of forcing moves. These kind of deep but simple to prune trees are very easily read by humans, but GNUgo sucks at them, especially if they are on the interaction boundary of bigger fights.
Still it can be valuable learning tool, but one will learn a different skill set to playing with humans.
Let me advertise my absolute favorite: an obscure Hungarian writer called Geza Csath. He was a doctor and journalist at beginning of the 20th century and he wrote the most beautiful and objective stories on self-deception and other human weaknesses. Highly accurately, without moralizing or romanticizing.
I've only read the originals, but I hope the translation is not too bad. (Unfortunately, in English, it is available only used: http://www.amazon.com/Magicians-Garden-Other-Stories/dp/0231047320/ref=sr_1_4?s=books&ie=UTF8&qid=1281569193&sr=1-4...
I think it is mostly hopeless trying to teach rationality to most people.
For example, both of my parents studied Math in university and still have a very firm grip of the fundamentals.
I just got a phone call yesterday from my father in Germany saying: "We saw in the news, that a German tourist couple got killed in a shooting in San Francisco. Will you avoid going out after dark?" When I tried to explain that I won't update my risk estimates based on any such singular event, he seemed to listen to and understand formally what I said. Anyhow, he was completely unimpressed, finishing the conversation in an even more worried tone: "I see, but you will take care, won't you?"
"don't worry - that sort of thing is so rare, when it happens, it makes the news!"
Your parents aren't saying "Please update your estimate of the probability of your violent death, based on this important new evidence."
The are saying, "I love you."
This has nothing to do with how rational or irrational they are.
He he, poor WW2 veterans miss the deadline by just one year:
2044 - The last veterans of WW2 are passing away
2045 - Humans are becoming intimately merged with machines
2031 – Web 4.0 is transforming the Internet landscape
Could be funny, if it was a joke... :(
That's true.
But the parallel was a bit more specific: "Good sense of humor" (which he concretely brought up as the most typical example) is an attribute one can easily claim to have as it is impossible to measure.
You missed my point. (Which you would not have, if you had read The Upside of Irrationality by Dan Ariely, an excellent book.)
This sounds like "I am not very good looking, but have a great sense of humor." ;)
... and different to almost any other unproven technology (for the exact same reason).
There are a lot of alternatives to fusion energy and since energy production is a widely recognized societal issue, making individual bets on that is not an immediate matter of life and death on a personal level.
I agree with you, though, that a sufficiently high probability estimate on the workability of cryonics is necessary to rationally spend money on it.
However, if you give 1% chance for both fusion and cryonics to work, it could still make sense to bet on the latter but not on the first.
I think one of the reasons this self-esteem seeding works is that identifying your core values makes other issues look less important.
On the other hand, if you e.g. independently expressed that God is an important element of your identity and belief in him is one of your treasured values, then it may backfire and you will be even harder to move you away from that. (Of course I am not sure: I have never seen any scientific data on that. This is purely a wild guess.)
In my reading, the assessment was funny exactly because it was emotional and therefore biased. That's what use of "son of a bitch" suggested as well.
I am stunned by the relatively high mod-points of this exchange.
I agree that the quotes are moderately funny. (Albeit the M.S. quote was much more funny in the specific context within the game, but even there it was his white-wash response to an action that earned Shepard renegade points.)
Still, I can't see, how all this is related to the "art of human rationality"...
I think, the quote is useless and in rooted in a fundamental misunderstanding of IT.
E.g. experimental mathematics would not exist without computers. Computer simulation is fantastic way to empirically produce and check hypotheses.
Why do you care? You should not follow it anyways. ;)
This is already exploited on cell phones to some extent.
We don't need anyone to tell us what to do. Not Savonarola, not the Medici. We are free to follow our own path. There are those who will take that freedom from us, and too many of you gladly give it. But it is our ability to choose- whatever you think is true- that makes us human...There is no book or teacher to give you the answers, to show you the way. Choose your own way! Do not follow me, or anyone else.
(Assassin's Creed II, Ezio Auditore's speech)
Rationalists should win
I hate to see this clever statement to be taken out of context and being reinterpreted as a moralizing slogan.
If you trace it back, this was originally a desideratum on rational thinking, not some general moral imperative.
It plainly says that if your supposedly "rational" strategy leads to a demonstrably inferior solution or gets beaten by some stupider looking agent, then the strategy must be reevaluated as you have no right to call it rational anymore.
In my reading it means, that there are already actual implementations for all probability inference operations that the authors consider in the book.
This has been probably a true statement, even in the 60'ies. It does not mean that the robot as a whole is resource-wise feasible.
An analogy: It is not hard to implement all (non-probabilistic) logical derivation rules. It is also straightforward to use them to generate all true mathematical theorems (e.g. within ZFC). However this does not imply that we have an practical (i.e. efficient) general purpose math...
Sorry for the confusion. I was very superficial. Of course, your are correct about being able to simplify out those values.
Fascinating talk (Highly LW-relevant)
http://www.ted.com/talks/michael_shermer_the_pattern_behind_self_deception.html
Actually, solving SAT problems is just the simplest case. Even so, if you have only certain variables (with either 0 or 1 plausibility), it's still NP-complete, you can't just simplify them in polynomial time. [EDIT: This is wrong as Jonathan pointed it out.]
In extreme case, since we also have the rule that "robot" has to use all the available information to the fullest extent, it means that the "robot" must be insanely powerful. For example if the calculation of some plausibility value depends for example the correctness of an algorith...
Yes, I've read that (pretty good) book quite a while ago and it is also referenced in the TED talk I mentioned.
This was one of the reasons I was surprised that there is still such a huge disagreement about the figures even among experts.
Sorry, I never tried to imply that an AI built on the Bayesian principles is impossible or even a bad idea. (Probably, using Bayesian inference is a fundamentally good idea.)
I just tried to point out that easy looking principles don't necessarily translate to practical implementations in a straightforward manner.
I think it is impossible to decide this based on Chapter 1 alone, for the second criterion (qualitative correspondence with common sense) is not yet specified formally.
If you look into Chapter 2, the derivation of the product rule, he uses this rubber-assumption to get the results he aims for (very similarly to you).
I think one should not take some statements of the author like ("... our search for desiderata is at an end... ") too seriously.
In some sense this informative approach is defensible, from another perspective it definitely looks quite pretentious.
These are perfectly valid arguments and I admit that I share your skepticism concerning the economic competitiveness of the fusion technology. I admit, if I had a decision to make about buying some security, the payout of which would depend on the amount of energy produced by fusion power within 30 years, I would not hurry to place any bet.
What I lack is your apparent confidence in ruling out the technology based on the technological difficulties we face at this point in time.
I am always surprised how the opinion of so called experts diverges when it comes...
Funny, I've been entertaining the same idea for a few weeks.
Every time I read statements like "... and then I update the probabilities, based on this evidence ...", I think to myself: "I wish I had the time (or processing power) he thinks he has. ;)"
Imagine what people must have thought in 1910 about the feasibility of getting to the Moon or generating energy by artificially splitting atoms (especially within the 20th century).
Speaking of Chapter 1, it seems essential to point out another point that may be unclear on superficial reading.
The author introduces the notion of a reasoning "robot" that maintains a consistent set of "plausibility" values (probabilities) according to a small set of rules.
To a modern reader, it may make the impression that the author here suggests some practical algorithm or implementation of some artificial intelligence that uses Bayesian inference as a reasoning process.
I think, this misses the point completely. First: it is clear t...
Your numbers seem to be off: (e.g. 4.26e9 J/sec would be truly minsiscule) You probably meant 4.29e29 J/sec, but then 5.74e5 years are wrong. According to wikipedia, the Sun's energy output is: 1.2e34 J/s which is still at odd with both of your numbers.
I think one should learn on different levels at the same time:
If you only do what's convenient, your progress stops.
If you don't revisit the basics from time to time, you build on sand.
It is necessary to challenge oneself and at the same time work on the fundamentals. It is both inspiring and necessary to strike the right balance between the two extremes: A constant back and forth between them proved to be both the most productive and most entertaining for me personally.
This is the reason I am also interested in this study group: For me, it is revisiting ...
I think some interactive discussion would definitely help to keep up the spirit.
I'd definitely be interested in joining a real time discussion if there is enough substance for an clear agenda. Using IRC with pidgin-latex sounds good to me.
It is also not strictly necessary that everybody participates at the same time: we could have two meetings, for two different time zones discussing the same topic.
I think this could be a fun project.
Besides IRL (which is hard to organize) I think other real time communication could be tried out as well. What do you think about the following options:
Does anyone know a good IRC infrastructure that allows for quickly entering and displaying TeX formulas?
I've already read the book (the published paper version) without solving the exercises.
I'd be interested in participating in a technical discussion. Maybe (but not very probably) even IRL (Bay Area).
I can attest the being Christian itself does not seem to make a negative difference. :D
For me, the eye opener was this outstanding paper by E.T. Jaynes:
http://bayes.wustl.edu/etj/articles/well.pdf
IMO this describes the essence of the difference between the Bayesian and frequentist philosophy way better than any amount of colorful polygons. ;)
I think the only reasonable interpretation of the text is clear since otherwise other standard problems would be ambiguous as well:
"What is probability that a person's random coin toss is tails?"
It does not matter whether you get the information from an experimenter by asking "Tell me the result of your flip!" or "Did you get tails?". You just have to stick to the original text (tails) when you evaluate the answer in either case.
[[EDIT] I think I misinterpreted your comment. I agree that Daniel's introduction was ambiguous for...
There are optimization problems where a bottom-up approach works well, but sometimes top-down or in most cases not so easily labeled methods are necessary.
If mathematical optimization is a proper analogy (or even framework) for solving social/ethics etc. problems, then the logical conclusion would be: The approach must depend heavily on the nature of the problem at hand.
Locality has its very important place, but I can't see how one could address planet-wide "tragedy of the commons"-type issues by purely local methods.
We already have these buttons on LessWrong... ;)
First: sorry for the bad grammar! Let me start with rephrasing the first sentence a bit more clearly:
"In order to define semantics, we need to define a map between the logic to the model ...."
It is correct that this description constrains semantics to maps between symbolically checkable systems. Physicists may not agree with this view and could say: "For me, semantics is a mapping from a formal system to a physi... (read more)