Lógica matemática - pág.5

Indice General | Enciclopedia de Matemáticas

Página 5 de 6

Estos últimos se caracterizan por su comportamiento no plenamente determinado mediante una cadena causal, ni tampoco por el azar puro. Los sistemas abiertos tienden a mantenerse en el estado en que se adecuan mejor a posibles perturbaciones. Esta tendencia a la estabilidad les permite alcanzar un estado final característico a partir de estados iniciales distintos y caminos diferentes. La actuación o comportamiento de cada subsistema o componente de un sistema se difunde a través del sistema entero, en un principio conocido como "pervasividad". Los sistemas se representan formalmente mediante modelos, y se denomina simulación a la generación de posibles estados del sistema por el modelo que representa. Conceptos de lógica matemática Las matemáticas tienen la exigencia de ser deductivamente rigurosas. El modelo tradicional de un sistema consiste en la presentación de los asertos principales en forma de teoremas, como ya lo hiciera Euclides en la antigua Grecia. Formalmente, una proposición probada se denomina teorema. Así, los axiomas, que se definen como primeros teoremas y se admiten sin demostración, pertenecen a una categoría lógica diferente. Los teoremas se prueban a partir de otros teoremas mediante procedimientos de deducción o inferencia, en los que se encadenan consecuencias lógicas. La axiomática de las matemáticas, y de las ciencias en general, constituye el punto básico de deducción de teoremas derivados y su elección adecuada representa uno de los puntos más delicados en la elaboración de los modelos de cualquier sistema.