Reduction for Problem Solving

1. Nim
   1. Archimedes’ Lab page with an applet for playing the game
   2. Play Nim Skulls

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