Review of Mathematical Background

1. Gödel's Completeness Theorem
   1. Wikipedia’s page

1. Gödel's Incompleteness Theorem
   1. Gödel's paper, “On Formally Undecidable Propositions in Principia Mathematica and Related Systems I”, originally published in German in 1931. This translation by Martin Hirzel published in 2000.

1. Warshall’s Algorithm
   1. One straightforward presentation, including C code

1. Proof Techniques
   1. Mersenne Numbers
      1. Mathworld’s page on Mersenne numbers
      2. The Great Internet Mersenne Prime Search