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 <[EMAIL PROTECTED]>:
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 <[EMAIL PROTECTED]>:
>
> 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
=========================================================================

Responder a