Re: N�mero

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxx>]

On Sun, 29 Aug 1999, Dopelg�nger wrote:

> > > > � exatamente isso. E
> > > > 
> > > > 2 = {{},{{}}}
> > > > 3 = {{},{{}},{{},{{}}}}
> > > > 4 = {{},{{}},{{},{{}}},{{},{{}},{{},{{}}}}}
> > > 
> > > Que demais! Tudo definido em cima do vazio!
> > 
> > Super budista.
> 
> E como fica definida a opera��o de "+"??

Define-se recursivamente por

n + 0 = n
n + 1 = n U {n}
n + ( m + 1 ) = ( n + m ) + 1

e a multiplica��o por

n * 0 = 0
n * ( m + 1) = ( n * m ) + n

[]s, N.
http://www.mat.puc-rio.br/~nicolau