Alexander Enzmann wrote:

> > > Of course it takes Bertrand Russel a couple of hundred
How did he enumerate the pages before having numbers?

> > > pages in his Principles of Mathematics to get to the point that you can
> > > show that 1 + 1 = 2.

He did it the hard way :-)
With Church numerals, it gets quite short.

> > Does it serve any practical purpose or is it of purely philosophical value?
E.g. the proofs of commutativity, associativity and distributivity
of addition and multiplication of natural numbers become trivial.

> [Desparately thinking of a way to get this back to povray......  Ok I

Rewriting it (or at least it's macro language) in Haskell ?:-)

Ralf

Post a reply to this message