TheOtherDave comments on Rationality Quotes June 2012 - Less Wrong

4 Post author: OpenThreadGuy 02 June 2012 05:14PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (413)

You are viewing a single comment's thread. Show more comments above.

Comment author: Oscar_Cunningham 01 June 2012 02:31:58PM *  37 points [-]

Two very different attitudes toward the technical workings of mathematics are found in the literature. Already in 1761, Leonhard Euler complained about isolated results which "are not based on a systematic method" and therefore whose "inner grounds seem to be hidden." Yet in the 20'th Century, writers as diverse in viewpoint as Feller and de Finetti are agreed in considering computation of a result by direct application of the systematic rules of probability theory as dull and unimaginative, and revel in the finding of some isolated clever trick by which one can see the answer to a problem without any calculation.

[...]

Feller's perception was so keen that in virtually every problem he was able to see a clever trick; and then gave only the clever trick. So his readers get the impression that:

  • Probability theory has no systematic methods; it is a collection of isolated, unrelated clever tricks, each of which works on one problem but not on the next one.
  • Feller was possessed of superhuman cleverness.
  • Only a person with such cleverness can hope to find new useful results in probability theory.

Indeed, clever tricks do have an aesthetic quality that we all appreciate at once. But we doubt whether Feller, or anyone else, was able to see those tricks on first looking at the problem. We solve a problem for the first time by that (perhaps dull to some) direct calculation applying our systematic rules. After seeing the solution, we may contemplate it and see a clever trick that would have led us to the answer much more quickly. Then, of course, we have the opportunity for gamesmanship by showing others only the clever trick, scorning to mention the base means by which we first found.

E. T. Jaynes "Probability Theory, The Logic of Science"

Comment author: TheOtherDave 01 June 2012 03:12:50PM 36 points [-]

I recall a math teacher in high school explaining that often, in the course of doing a proof, one simply gets stuck and doesn't know where to go next, and a good thing to do at that point is to switch to working backwards from the conclusion in the general direction of the premise; sometimes the two paths can be made to meet in the middle. Usually this results in a step the two paths join involving doing something completely mystifying, like dividing both sides of an equation by the square root of .78pi.

"Of course, someone is bound to ask why you did that," he continued. "So you look at them completely deadpan and reply 'Isn't it obvious?'"

I have forgotten everything I learned in that class. I remember that anecdote, though.

Comment author: [deleted] 02 June 2012 06:10:39PM *  3 points [-]

IIRC there was an xkcd about that, but I don't remember enough of it to search for it.

EDIT: It was the alt test of 759.

Comment author: gjm 02 June 2012 10:39:04PM 17 points [-]

Note that xkcd 759 is about something subtly different: you work from both ends and then, when they don't meet in the middle, try to write the "solution" in such a way that whoever's marking it won't notice the jump.

I know someone who did that in an International Mathematical Olympiad. (He used an advanced variant of the technique, where you arrange for the jump to occur between two pages of your solution.) He got 6/7 for that solution, and the mark he lost was for something else. (Which was in fact correct, but you will appreciate that no one was inclined to complain about it.)

Comment author: JoshuaZ 02 June 2012 07:18:47PM *  2 points [-]

Is 759 the one you are thinking of? The alt-text seems to be relevant.

Comment author: [deleted] 02 June 2012 08:19:32PM 0 points [-]

Yes.

Comment author: pnrjulius 09 June 2012 01:18:54AM 1 point [-]

The standard proof of the Product Rule in calculus has this form. You add and subtract the same quantity, and then this allows you to regroup some things. But who would have thought to do that?

Comment author: gwern 09 June 2012 01:33:37AM 10 points [-]

One of the characteristics of successful scientists is having courage. Once you get your courage up and believe that you can do important problems, then you can. If you think you can't, almost surely you are not going to. Courage is one of the things that Shannon had supremely. You have only to think of his major theorem. He wants to create a method of coding, but he doesn't know what to do so he makes a random code. Then he is stuck. And then he asks the impossible question, ``What would the average random code do?'' He then proves that the average code is arbitrarily good, and that therefore there must be at least one good code. Who but a man of infinite courage could have dared to think those thoughts? That is the characteristic of great scientists; they have courage. They will go forward under incredible circumstances; they think and continue to think.

--Richard Hamming