The Universe of Discourse
   


Mark Dominus (陶敏修)
mjd@plover.com


RSS Atom

12 recent entries
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 / The non-duality of open and closed sets / The weird ethics of life insurance / My Git Habits / Why can't Git resolve all conflicted merges? / It came from... the HOLD SPACE / Insane calculations in bash / I abandon my abusive relationship with Facebook / Testing for exceptions

Archive:
2012: JFMAMJ
 JASOND
2011: JFMAMJ
 JASOND
2010: JFMAMJ
 JASOND
2009: JFMAMJ
 JASOND
2008: JFMAMJ
 JASOND
2007: JFMAMJ
 JASOND
2006: JFMAMJ
  JASOND
2005: OND

Higher-Order Perl Blosxom

Comments disabled

        
Sat, 25 Aug 2012

On the consistency of PA
A monk asked Li Fu, "Master, how do we know that the Peano axioms are consistent?"

Li Fu said, "The axioms are consistent because they have a model."


[Other articles in category /math] permanent link