Reduction for Problem Solving

1. Nim
   1. An introduction to the history of Nim
   2. Archimedes’ Lab page with an applet for playing the game
   3. Play Nim Skulls
   4. Why Does the Reduction Work?

2. Trisecting an Angle
1. A Tutorial Introduction to Galois Theory
2. Wikipedia’s article on Galois Theory
3. Origami trisection of an angle

Reduction for Undecidability

Rice’s Theorem

The Impact of Undecidability on Program Analysis and Verification