The mathematician and Fields medalist Vladimir Voevodsky on using automated proof assistants in mathematics:

[Following the discovery of some errors in his earlier work:] I think it was at this moment that I largely stopped doing what is called “curiosity driven research” and started to think seriously about the future.

[...]

A technical argument by a trusted author, which is hard to check and looks similar to arguments known to be correct, is hardly ever checked in detail.

[...]

It soon became clear that the only real long-term solution to the problems that I encountered is to start using computers in the verification of mathematical reasoning.

[...]

Among mathematicians computer proof verification was almost a forbidden subject. A conversation started about the need for computer proof assistants would invariably drift to the Goedel Incompleteness Theorem (which has nothing to do with the actual problem) or to one or two cases of verification of already existing proofs, which were used only to demonstrate how impractical the whole idea was.

[...]

I now do my mathematics with a proof assistant and do not have to worry all the time about mistakes in my arguments or about ho

"It is one thing for you to say, ‘Let the world burn.' It is another to say, ‘Let Molly burn.' The difference is all in the name."

-- Uriel, Ghost Story, Jim Butcher

It is easier to fight for one's principles than to live up to them.

-- Alfred Adler

ADDED: Source: http://en.wikiquote.org/wiki/Alfred_Adler

Quoted in: Phyllis Bottome, Alfred Adler: Apostle of Freedom (1939), ch. 5

Problems of Neurosis: A Book of Case Histories (1929)

Slartibartfast: Perhaps I'm old and tired, but I think that the chances of finding out what's actually going on are so absurdly remote that the only thing to do is to say, "Hang the sense of it," and keep yourself busy. I'd much rather be happy than right any day.

Arthur Dent: And are you?

Slartibartfast: Well... no. That's where it all falls down, of course.

Douglas Adams, Hitchhiker's Guide to the Galaxy

Now, one basic principle in all of science is GIGO: garbage in, garbage out. This principle is particularly important in statistical meta-analysis: because if you have a bunch of methodologically poor studies, each with small sample size, and then subject them to meta-analysis, what can happen is that the systematic biases in each study — if they mostly point in the same direction — can reach statistical significance when the studies are pooled. And this possibility is particularly relevant here, because meta-analyses of homeopathy invariably find an inverse correlation between the methodological quality of the study and the observed effectiveness of homeopathy: that is, the sloppiest studies find the strongest evidence in favor of homeopathy. When one restricts attention only to methodologically sound studies — those that include adequate randomization and double-blinding, predefined outcome measures, and clear accounting for drop-outs — the meta-analyses find no statistically significant effect (whether positive or negative) of homeopathy compared to placebo.

• Alan Sokal, What Is Science

It is, in fact, a very good rule to be especially suspicious of work that says what you want to hear, precisely because the will to believe is a natural human tendency that must be fought.

- Paul Krugman

"Throughout the day, Stargirl had been dropping money. She was the Johnny Appleseed of loose change: a penny here, a nickel there. Tossed to the sidewalk, laid on a shelf or bench. Even quarters.

"I hate change," she said. "It's so . . . jangly."

"Do you realize how much you must throw away in a year?" I said.

"Did you ever see a little kid's face when he spots a penny on a sidewalk?”

Jerry Spinelli, Stargirl

Specifically, [these recent books that deal with parallel universes] argue that if some scientific theory X has enough experimental support for us to take it seriously, then we must take seriously also all its predictions Y, even if these predictions are themselves untestable (involving parallel universes, for example).

As a warm-up example, let's consider Einstein's theory of General Relativity. It's widely considered a scientific theory worthy of taking seriously, because it has made countless correct predictions -- from the gravitational bending of light to the time dilation measured by our GPS phones. This means that we must also take seriously its prediction for what happens inside black holes, even though this is something we can never observe and report on in Scientific American. If someone doesn't like these black hole predictions, they can't simply opt out of them and dismiss them as unscientific: instead, they need to come up with a different mathematical theory that matches every single successful prediction that general relativity has made -- yet doesn't give the disagreeable black hole predictions.

-- Max Tegmark, Scientific American guest blog, 2014-02-04

How much of a disaster is this? Well, it’s never a disaster to learn that a statement you wanted to go one way in fact goes the other way. It may be disappointing, but it’s much better to know the truth than to waste time chasing a fantasy. Also, there can be far more to it than that. The effect of discovering that your hopes are dashed is often that you readjust your hopes. If you had a subgoal that you now realize is unachievable, but you still believe that the main goal might be achievable, then your options have been narrowed down in a potentially useful way.

-Timothy Gowers, on finding out a method he’d hoped would work, in fact would not.

Richard Feynmann claimed that he wasn't exceptionally intelligent, but that he focused all his energies on one thing. Of course he was exceptionally intelligent, but he makes a good point.

I think one way to improve your intelligence is to actually try to understand things in a very fundamental way. Rather than just accepting the kind of trite explanations that most people accept - for instance, that electricity is electrons moving along a wire - try to really find out and understand what is actually happening, and you'll begin to find that the world is very different from what you have been taught and you'll be able to make more intelligent observations about it.

http://www.reddit.com/r/askscience/comments/e3yjg/is_there_any_way_to_improve_intelligence_or_are/c153p8w

reddit user jjbcn on trying to improve your intelligence

If you're not a student of physics, The Feynman Lectures on Physics is probably really useful for this purpose. It's free for download!

http://www.feynmanlectures.caltech.edu/

It seems like the Feynman lectures were a bit like the Sequences for those Caltech students:

The intervening years might have glazed their memories with a euphoric tint, but about 80 perce