Re: [obm-l] Conjuntos

["Daniel S. Braz" <dsbraz@xxxxxxxxx>]

Humm, acho que é possível sim. Se não me engano o matemático G. Boole
provou isso.

2006/6/16, Johann Peter Gustav Lejeune Dirichlet <peterdirichlet2003@gmail.com>:
> Bem, podemos pensar em coisas assim, so precisa imaginacao.
>
> Por exemplo
> a+b=b+a traduz aUb=bUa
> a*b=b*a traduz aNb=bNa
>
> A distributiva,
>
> (a+b)c=ab+ac
> fica
> (aUb)Nc=(aNb)U(aNc)
>
> E da pra fazer tais analogias por ai...
>
>
> Se vc proivar que da pra mapear os axiomas das duas teorias, bingo!
>
> 2006/6/15, Iuri <iurisilvio@gmail.com>:
> >
> > Certa vez um professor meu comentou sobre existir isomorfismo entre (união
> e adição) e entre (intersecção e multiplicação), fazendo com que relações de
> conjuntos pudessem ser expressadas como expressões algebricas. Existe algo
> desse tipo ou é só um caso particular? Nunca vi demonstração disso...
> >
>
>
>
>
> --
> Ideas are bulletproof.
>
> V


-- 
"O modo mais provável do mundo ser destruído, como concordam a maioria
dos especialistas, é através de um acidente. É aí que nós entramos.
Somos profissionais da computação. Nós causamos acidentes" - Nathaniel
Borenstein

=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================