Mark Dominus (陶敏修)
12 recent entries
Placeholder texts / Proof by contradiction / 2banner, which tells you when someone else is looking at the same web page / The perfect machine / Everything needs an ID / Why I like Java / Twingler, a generic data structure munger / Notes on a system for abbreviating SQL queries / DateTime::Moonpig, a saner interface to DateTime / Cauchy and the continuum / Good advice / Two reasons I don't like DateTime's "floating" time zone
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]