Mark Dominus (陶敏修)
12 recent entries
A public service announcement about contracts / Examples of contracts you should not sign / Rectangles with equal area and perimeter / An ounce of theory is worth a pound of search / Why my book can be downloaded for free / Impostor syndrome / Within this instrument, resides the Universe / When do n and 2n have the same digits? / Similarity analysis of quilt blocks / On uninhabited types and inconsistent logics / Guess what this does (solution) / Guess what this does
On the consistency of PA
A monk asked Li Fu, "Master, how do we know that the Peano axioms are
Li Fu said, "The axioms are consistent because they have a model."
[Other articles in category /math]