Polya's four-phase method applied to mathematical problems, extended with Schoenfeld's control/monitoring layer. Covers understand, devise plan, carry out, look back. Includes heuristics specific to math (specialize, generalize, vary the problem, introduce auxiliary elements) and the metacognitive discipline that separates routine computation from genuine problem solving.
Mathematics is the original proving ground for problem-solving theory. Polya's How to Solve It introduced the four phases (understand, plan, execute, review) that every subsequent framework builds on. Schoenfeld showed that phases alone are insufficient: without active monitoring ("control"), novices spend 20 minutes on a dead end without noticing. This skill combines the two: Polya's phases as the scaffold, Schoenfeld's control as the supervisor.
Agent affinity: polya-ps (overall framing), schoenfeld (control and monitoring), simon (search structure)
Concept IDs: prob-problem-representation, prob-goal-decomposition, prob-pattern-recognition, prob-simplification, prob-systematic-listing
| Phase | Polya question | Schoenfeld control check |
|---|---|---|
| 1. Understand | What is the unknown? What is given? What is the condition? | Do I actually understand this, or am I about to solve the wrong problem? |
| 2. Plan | Do I know a related problem? Can I solve part of it? | Is this plan likely to work, and how much budget do I give it? |
| 3. Execute | Can I check each step? | Is this step still making progress, or have I wandered? |
| 4. Look back | Can I verify the result? Can I use it for another problem? | Does the answer actually answer the original question? |
Goal: Produce a clean problem representation. Most of this is already covered by problem-comprehension, but math adds specific operations.
Math-specific operations:
Control check: "Can I solve this problem without the original statement by looking only at my notation and figure?" If not, return to understanding.
Goal: Choose a method to connect the data to the unknown. Polya's heuristics are central here.
Polya heuristics:
Control check: "Does this plan connect the data to the unknown? What is my time budget for this plan? What is my fallback if it fails?"
Goal: Execute the plan carefully, checking each step.
Rules:
Schoenfeld's observation: Novices spend 90% of their time in this phase; experts allocate more to Phase 2 and return to Phase 2 when execution stalls. The boundary between phases is porous.
Control check (every few steps): "Is this still on the plan? Am I making progress? Should I reconsider the plan?"
Goal: Verify the answer, extract the lesson, build transfer.
Operations:
Control check: "Am I confident in this answer? On what basis?"
Schoenfeld's contribution is that the four phases are not enough. Novices skip Phase 1, short-circuit Phase 2, grind through Phase 3, and neglect Phase 4. The fix is control: a supervisor process that interrupts execution at regular intervals to ask whether the current activity is the right activity.
Control operations:
Without control, problem solving is a random walk through the strategy space. With control, it is a bounded search.
Prove: In any triangle, the sum of the interior angles is 180 degrees.
Phase 1 — Understand. Unknown: a proof. Data: any triangle (three vertices, three sides, three interior angles). Condition: the angles must sum to 180. Draw a figure: triangle ABC with angles alpha, beta, gamma.
Phase 2 — Plan. Related problem: parallel lines cut by a transversal produce equal alternate angles. Can we introduce a parallel line through one vertex? Yes — a line through A parallel to BC creates two transversals (AB and AC) producing angles equal to beta and gamma on the other side of A. Then alpha + beta + gamma = straight angle at A = 180.
Phase 3 — Execute. Draw line l through A parallel to BC. By alternate interior angles on transversal AB: the angle on the other side of A equal to beta. By alternate interior angles on transversal AC: the angle on the other side equal to gamma. The three angles at A (gamma, alpha, beta) form a straight line, so gamma + alpha + beta = 180.
Phase 4 — Look back. Check: does this use any assumption beyond Euclidean geometry? Yes — the parallel postulate. On a sphere, triangles sum to more than 180. The proof is correct for Euclidean geometry only. The auxiliary line (introduce a parallel through A) was the key move; this generalizes to many problems where a single auxiliary element unlocks the solution.