¿Las matemáticas finitas evolucionan como una nueva rama de las matemáticas?

El concepto de conjunto es bastante antiguo ahora. Sin embargo, en Matemáticas, la definición o noción de un conjunto es muy abstracta. Hoy en día, con la llegada de las computadoras y el software, podemos definir específicamente un conjunto finito y ordenado de una manera mucho más concreta (ver Cálculo – Conjunto). Como sin duda sabe, los conjuntos forman la base o la base de las matemáticas. Por lo tanto, los conjuntos finitos y ordenados forman la base o la base de una nueva y evolutiva rama de las matemáticas: las matemáticas finitas.

En este nuevo campo de Matemáticas finitas, tenemos una nueva definición para el concepto de un conjunto finito y desordenado (ver Cálculo – Conjunto de hash). El concepto de un conjunto desordenado (o conjunto hash) se basa en comparadores de hash e igualdad. Es decir, para definir un conjunto desordenado necesitamos un mapeo funcional del tipo de datos a los enteros y otro método que compara dos tipos de igualdad. Esta noción de un conjunto desordenado es muy precisa y bastante nueva. Forma parte de la definición de las nuevas matemáticas finitas.

La organización interna detallada de los conjuntos ordenados y no ordenados debe atribuirse a Addel’son-Velski y Landis (AVL Trees). Son ellos los que descubrieron los fundamentos de la nueva y evolutiva rama de las matemáticas.

La matemática finita persistente es la solución general a la teoría de bases de datos.