Re: Results of Poll by Email No. 27

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