Apprenticeship

By -
Yesterday, I also got to watch my tutor figure out how to prove something that he had, perhaps, been shown long ago, but had long since forgotten. Proofs have often puzzled me: given a statement like "Prove that x is a Y if z(x) is prime" (I'm making that up but it's the right flavor) I would have no idea where to start.

What I saw yesterday is you really don't have to have any idea how the proof itself will start: you start by just writing down everything you know about the problem, and then begin "messing around" with the equations you have. Sooner or later, you (hopefully) will see the "finish line," as my tutor put it, and you will have your proof. Then you can clean things up, and get the concise, knee proves one finds published.

No book has ever indicated to me that proofs are done that way! And this is a very Oakeshottian point (or Polanyian, if you like your case for apprenticeship from a scientist).

Comments

  1. Keshav Srinivasan3:28 PM

    I find it more helpful to work from both ends: start from the givens and work forward and start from the finish line and work backwards, and hope you meet somewhere in the middle. Working backwards is often more valuable than working forward when it comes to proofs, especially when they're of the less straightforward variety (i.e. there are too many ways that one could work forward, so you're unlikely to get to the finish line like that).

    As far as books that discuss strategies like this, I recommend George Polya's short book "How to Solve It". There's also a great series of books called "The Art of Problem Solving", although those are more focused on proofs encountered in math tournaments.

    ReplyDelete

Post a Comment

Popular posts from this blog

Libertarians, My Libertarians!

By -
Cruel to be kind means that I love you . Because, while I think you are mistaken, your hearts are in the right place -- yes, even you, Silas --  unlike some people . This Breitbart fellow (discussed in the link above), by all appearances, deliberately doctored a video of Shirley Sherrod to make her remarks appear virulently racist, when they had, in fact, the opposite import. I heard that at a recent Austrian conference, some folks were talking about "Callahan's conservative turn." While that description is not entirely inaccurate, I must say that a lot of these people who today call themselves conservative give me the heebie-jeebies.
Read more

"Machine Learning"

By -
 The name is a misnomer. And a harmful one, because it interferes with understanding the process that is really occuring. What is really occurring is a search of a constrained program space. Let's say you want to be able to identify images of hot dogs . You begin with a plausible program for doing so, that is able to also search the space of nearby programs that might get better results on the problem. You then (in "supervised learning") provide scores that indicate how well one of these possible programs has done on solving the problem. After doing this for some time you settle upon a program that solves the problem "well enough." This is a great technique that can produce truly impressive results on a wide class of problems, such as identifying images of hot dogs. But notice that, except for the phrase in scare quotes, there is no "learning" in the description. Calling this "learning" is importing ideological baggage that just obscures what
Read more

"Pre-Galilean" Foolishness

By -
 I am currently reading The Master and His Emissary , which appears to be an excellent book. ("Appears" because I don't know the neuroscience literature well enough to say for sure, yet.) But then on page 186 I find: "Asking cognition, however, to give a perspective on the relationship between cognition and affect is like asking astronomer in the pre-Galilean geocentric world, whether, in his opinion, the sun moves round the earth of the earth around the sun. To ask a question alone would be enough to label one as mad." OK, this is garbage. First of all, it should be pre-Copernican, not pre-Galilean. But much worse is that people have seriously been considering heliocentrism for many centuries before Copernicus. Aristarchus had proposed a heliocentric model in the 4th-century BC. It had generally been considered wrong, but not "mad." (And wrong for scientific reasons: Why, for instance, did we not observe stellar parallax?) And when Copernicus propose
Read more