Olá Tony e demais,
Bem, uma forçação de barra para conseguir algo comutativo seria
exatamente fazer o
produto das cardinalidades dos ordinais, ou mesmo a soma.
Assim, a soma e o produto ficariam comutativos, mas de maneira não
natural, porque aí a operação que estaria sendo feita, no fundo no
fundo, seria a cardinal, não a ordinal...
(Observo ainda que, dados cardinais kappa e lambda, o produto cardinal
de kappa por lambda nada mais é do que a cardinalidade do produto
ordinal de kappa por lambda... Analogamente para soma.)
Até,
[]s Samuel
----------------------------------------------------------------
Universidade Federal da Bahia - http://www.portal.ufba.br
_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
