Sweet Reason
Chapter Twelve
Chapter One
Chapter Two
Chapter Three
Chapter Four
Chapter Five
Chapter Six
Chapter Seven
Chapter Eight
Chapter Nine
Chapter Ten
Chapter Eleven
Extras
XKCD on Godel Brown Sharpie on GodelSpikedMath on GodelXKCD; on the Halting Problem
The Busy Beaver is not computable Undecidable Sets
The Semantics of Natural Language
White Light
LSAT: Rules and Disputes
Ordinal Multiplication The Hydra Set Theory Undecidable Sets
Paraconsistent Quantification
The Family Reunion II: the Women
God and Infinity
Newman's photograph
Contents