Mark Dominus (陶敏修)
12 recent entries
Moonpig: a billing system that doesn't suck / Things do get better / Conspiracy theories about Cory Doctorow / The shittiest project I ever worked on / PIGS in SPACE!!! / In which I revisit the pastimes of my misspent youth / Overlapping intervals / Cobblestones / How I got four errors into a one-line program / Rewriting published history in Git / On the consistency of PA / More about ZF's asymmetry between union and intersection
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]