These applets accompany the textbook, Discrete Mathematics: Mathematical Reasoning and Proof with Puzzles, Patterns and Games, by Doug Ensley and Winston Crawley, published by John Wiley and Sons. The development of some...

Excerpts/quotes explaining Gödel's Incompleteness Theorem: any logical system contains a true statement that cannot be proven using that system's rules.