Theiling Online    Sitemap    Conlang Mailing List HQ   

Re: Results of Poll by Email No. 27

From:John Cowan <jcowan@...>
Date:Tuesday, April 8, 2003, 15:08
Christophe Grandsire scripsit:

> > Apparently the guy who came up with this set, whose name I've > > forgotten, went off to write a _Principia Mathematica_ and took a lot of > > pages to prove that 1+1=2, > > LOL. According to a quick Google, the authors of the Principia Mathematica were > Bertrand Russel and Alfred North Whitehead, and the proof that 1+1=2 appears > only at the 362nd page of the book!
The point was not to prove it, but to prove it using only first-order logic and the primitive relationship "is a member of". -- John Cowan http://www.ccil.org/~cowan jcowan@reutershealth.com Be yourself. Especially do not feign a working knowledge of RDF where no such knowledge exists. Neither be cynical about RELAX NG; for in the face of all aridity and disenchantment in the world of markup, James Clark is as perennial as the grass. --DeXiderata, Sean McGrath