terça-feira, julho 29, 2008

Domínios

Na nomenclatura dos domínios a situação está mesmo enleada. A realidade é que foi o Codd que lhes chamou domínios quando lançou as bases do modelo relacional. Ainda hoje se chamam domínios. Alguns elementos da escola francesa vincam bem a diferença entre relação, em que nem todos os elementos do domínio têm imagem, e aplicação, em que todos têm imagem.

Vários autores, em várias épocas/áreas chamaram pela mesma palavra coisas distintas. Esse é uma dos impedimentos no caminho para a regularização léxica. Por exemplo, as relações, no modelo relacional de Codd, admitem produtos cartesianos COMUTATIVOS! Um outro exemplo, ainda mais estranho, pois a época é a mesma e todos se revêm no mesmo sistema de axiomas (ZFC): O produto cartesiano é associativo (Algebra - Grillet), não é associativo (Set theory - Jech), ou o autor não se pronuncia (Set Theory - Suppes). Braumann, 87 reconhece o problema, mas torneia-o declarando que para os fins em vista o produto cartesiano pode ser sempre considerado associativo.

Claro que a questão é importante. Na matemática uma coisa é uma coisa, não é outra coisa. Acho deplorável esta dispersão léxico-conceptual que dificulta o diálogo interáreas.

1 comentário:

Anónimo disse...

porque matemáticos só comunicam Matemática com outros matemáticos.
Como a linguagem matemática se ensina e aprende depende dos contextos da sua utilização. Mas a Matemática como ciência é o produto da sua evolução ou história dos que a ela se dedicaram e a transformaram numa ferramenta de trabalho científico e de poder.